Frameworks and libraries offer reusable and customizable functionality through Application
Programming Interfaces (APIs). Correctly using large and sophisticated APIs can represent a …

We address the problem of synthesizing code completions for programs using APIs. Given a
program with holes, we synthesize completions for holes with the most likely sequences of …

To improve software productivity, when constructing new software systems, programmers
often reuse existing libraries or frameworks by invoking methods provided in their APIs …

The interplay of multiple objects in object-oriented programming often follows specific
protocols, for example certain orders of method calls and/or control structure constraints …

A significant challenge to the formal validation of software-based industrial control systems
is that system requirements are often imprecise, non-modular, evolving, or even simply …

To improve software reliability, many rule-based techniques have been proposed to infer
programming rules and detect violations of these rules as bugs. These rule-based …

Reusing existing library components is essential for reducing the cost of software
development and maintenance. When library components evolve to accommodate new …

This article addresses the challenge of sound typestate verification, with acceptable
precision, for real-world Java programs. We present a novel framework for verification of …

Fueled by an emerging underground economy, malware authors are exploiting
vulnerabilities at an alarming rate. To make matters worse, obfuscation tools are commonly …

The difference between a malicious and a benign Android application can often be
characterised by context and sequence in which certain permissions and APIs are used. We …