Malware has posed a major threat to the Android ecosystem. Existing malware detection
tools mainly rely on signature-or feature-based approaches, failing to provide detailed …

In this position paper, we describe our vision of the future of machine programming through
a categorical examination of three pillars of research. Those pillars are:(i) intention,(ii) …

Acknowledgements Thanks to Max Willsey, Gus Smith, and the anonymous reviewers for
their 26 helpful feedback on early drafts. This research was supported in part by the National …

We introduce DemoMatch, a tool for API discovery that allows the user to discover how to
implement functionality using a software framework by demonstrating the functionality in …

We investigate the problem of mining graph-based usage patterns for large, object-oriented
frameworks like Android—revisiting previous approaches based on graph-based object …

Software specifications are of great importance to improve the quality of software. To
automatically mine specifications from software systems, some specification mining …

Machine programming is an emerging research area that improves the software
development life cycle from design through deployment. We present a tutorial on machine …

Software specifications play an important role in improving the quality of software. In order to
mine software specifications, many automated technologies have been proposed based on …

Android has grown to be the most popular mobile operating system since its release in
2008. Due to its openness and ease of use, it attracts thousands of vendors and developers …

Testing and other unsound analyses are developer-friendly but cannot give guarantees that
programs are free of bugs. Verification and other extant sound approaches can give …