Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Fri 19 Jun 2020 16:40 - 17:00 at PLDI Research Papers live stream - Static Analysis Chair(s): Julian Dolby

Enterprise applications are a major success domain of Java, and Java is the default setting for much modern static
analysis research. It would stand to reason that high-quality static analysis of Java enterprise applications would
be commonplace, but this is far from true. Major analysis frameworks feature virtually no support for enterprise applications and offer analyses that are woefully incomplete and vastly imprecise, when at all scalable.

In this work, we present two techniques for drastically enhancing the completeness and precision of static analysis
for Java enterprise applications. The first technique identifies domain-specific concepts underlying all enterprise application frameworks, captures them in an extensible, declarative form, and achieves modeling of components and
entry points in a largely framework-independent way. The second technique offers precision and scalability via a sound-modulo-analysis modeling of standard data structures.

In realistic enterprise applications (an order of magnitude larger than prior benchmarks in the literature) our
techniques achieve high degrees of completeness (on average more than 4x higher than conventional techniques)
and speedups of about 6x compared to the most precise conventional analysis, with higher precision on multiple metrics.
The result is JackEE, an enterprise analysis framework that can offer precise, high-completeness static modeling of realistic enterprise applications.

Fri 19 Jun

Displayed time zone: Pacific Time (US & Canada) change

16:00 - 17:00
16:00
20m
Talk
Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs
PLDI Research Papers
Auguste Olivry Inria, France, Julien Langou University of Colorado at Denver, USA, Louis-Noël Pouchet Colorado State University, USA, Saday Sadayappan University of Utah, USA, Fabrice Rastello Inria, France
16:20
20m
Talk
Fast Graph Simplification for Interleaved Dyck-Reachability
PLDI Research Papers
Yuanbo Li Georgia Institute of Technology, USA, Qirun Zhang Georgia Institute of Technology, USA, Thomas Reps University of Wisconsin-Madison, USA
16:40
20m
Talk
Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room
PLDI Research Papers
Anastasios Antoniadis University of Athens, Greece, Nikos Filippakis CERN, Switzerland, Paddy Krishnan Oracle Labs, Australia, Raghavendra Ramesh ConsenSys, Australia, Nicholas Allen Oracle Labs, Australia, Yannis Smaragdakis University of Athens, Greece
Pre-print