Toward Full Elasticity in Distributed Static Analysis

[1]  Hridesh Rajan,et al.  Mining billions of AST nodes to study actual and potential usage of Java language features , 2014, ICSE.

[2]  Sergey Bykov,et al.  Orleans: Distributed Virtual Actors for Programmability and Scalability , 2014 .

[3]  Aws Albarghouthi,et al.  Parallelizing top-down interprocedural analyses , 2012, PLDI '12.

[4]  Ondrej Lhoták,et al.  Application-Only Call Graph Construction , 2012, ECOOP.

[5]  Ben Hardekopf,et al.  Flow-sensitive pointer analysis for millions of lines of code , 2011, International Symposium on Code Generation and Optimization (CGO 2011).

[6]  Ben Hardekopf,et al.  The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code , 2007, PLDI '07.

[7]  Benjamin Livshits,et al.  Context-sensitive program analysis as database queries , 2005, PODS.

[8]  Lars Ole Andersen,et al.  Program Analysis and Specialization for the C Programming Language , 2005 .

[9]  Ondrej Lhoták,et al.  Points-to analysis using BDDs , 2003, PLDI '03.

[10]  David Grove,et al.  A framework for call graph construction algorithms , 2001, TOPL.

[11]  Olivier Tardieu,et al.  Ultra-fast aliasing analysis using CLA: a million lines of C code in a second , 2001, PLDI '01.

[12]  Barbara G. Ryder,et al.  Complexity of Concrete Type-Inference in the Presence of Exceptions , 1998, ESOP.

[13]  David Grove,et al.  Call graph construction in object-oriented languages , 1997, OOPSLA '97.

[14]  David F. Bacon,et al.  Fast static analysis of C++ virtual function calls , 1996, OOPSLA '96.

[15]  Urs Hölzle,et al.  Type feedback vs. concrete type inference: a comparison of optimization techniques for object-oriented languages , 1995, OOPSLA.

[16]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.