Background Assessing and communicating software engineering research can be challenging. Design science is recognized as an appropriate research paradigm for applied …
The field of serverless computing has recently emerged in support of highly scalable, event- driven applications. A serverless application is a set of stateless functions, along with the …
Prior research exploited the repetitiveness of code changes to enable several tasks such as code completion, bug-fix recommendation, library adaption, etc. These and other novel …
A Di Franco, H Guo… - 2017 32nd IEEE/ACM …, 2017 - ieeexplore.ieee.org
Numerical software is used in a wide variety of applications including safety-critical systems, which have stringent correctness requirements, and whose failures have catastrophic …
Y Lin, C Radoi, D Dig - Proceedings of the 22nd ACM SIGSOFT …, 2014 - dl.acm.org
Running compute-intensive or blocking I/O operations in the UI event thread of smartphone apps can severely degrade responsiveness. Despite the fact that Android supports writing …
Y Lin, S Okur, D Dig - 2015 30th IEEE/ACM International …, 2015 - ieeexplore.ieee.org
To avoid unresponsiveness, a core part of mobile development is asynchronous programming. Android providesseveral async constructs that developers can use. However …
Previous algorithms for feedback-directed unit test generation iteratively create sequences of API calls by executing partial tests and by adding new API calls at the end of the test …
Many modern software systems are composed of multiple execution flows that run simultaneously, spanning from applications designed to exploit the power of modern multi …
M Goldberg, T Spencer - SIAM Journal on Computing, 1989 - SIAM
A new parallel algorithm for the maximal independent set problem is constructed. It runs in O(\log^4n) time when implemented on a linear number of EREW-processors. This is the first …