We present a scalable and precise context-sensitive points-to analysis with three key
properties:(1) filtering out of unrealizable paths,(2) a context-sensitive heap abstraction, and …

Object-oriented scripting languages like Javascript and Python are popular partly because
of their dynamic features. These include the runtime modification of objects and classes …

The PyPy project seeks to prove both on a research and a practical level the feasibility of
constructing a virtual machine (VM) for a dynamic language in a dynamic language-in this …

We present the results of an empirical study evaluating the precision of subset-based points-
to analysis with several variations of context sensitivity on Java benchmarks of significant …

We present Paddle, a framework of BDD-based context-sensitive points-to and call graph
analyses for Java, as well as client analyses that use their results. Paddle supports several …

The object-oriented style of programming facilitates program adaptation and enhances
program genericness, but at the expense of efficiency. We demonstrate experimentally that …

Code snippets are prevalent on websites such as Stack Overflow and are effective in
demonstrating API usages concisely. However they are usually difficult to be used directly …

Java 1.5 generics enable the creation of reusable container classes with compiler-enforced
type-safe usage. This eliminates the need for potentially unsafe down-casts when retrieving …

Type inference in the presence of first-class or “impredicative” second-order polymorphism à
la System F has been an active research area for several decades, with original works …

Object-oriented programming represents an original implementation issue due to its
philosophy of making the program behavior depend on the dynamic type of objects. This is …