ACM SIGPLAN International Workshop on the
State Of the Art in Java Program Analysis
(SOAP 2013)
Seattle, Washington, June 2013, Co-located with PLDI 2013
Back to main page


Welcome & Introduction
9:05 - 10:00 Invited Talk and Discussion
10:00-10:30 Break
10:30-12:00 Short Presentations - Session 1
12:00-13:30 Lunch
13:30-15:00 Short Presentations - Session 2
15:00-15:30 Break
15:30-16:30 Small-group discussions
16:30-17:00 Discussion summaries and closing

Invited talk by Manu Sridharan  - 9:05-10:00

ManuStatic Analysis and Reflection

Reflective code is the bane of static analyses. Under-approximate handling of reflection can cause an analysis to miss many feasible application behaviors, while over-approximate handling can destroy analysis scalability and precision. In this talk, I will discuss our exploration of different approaches to reflection handling over the past several years, as embodied in several analysis systems for Java and JavaScript. I will present the tradeoffs involved in the different approaches, and some ideas on how to make progress going forward. [slides]

Manu Sridharan has been a Research Staff Member at the IBM Thomas J. Watson Research Center since 2008. He has done research on various topics in static analysis, dynamic analysis, and software engineering. His current research is focused on static and dynamic analyses for JavaScript, including core program analyses, IDE tools, and race detection.

Session 1 - 10:30-12:00

Joogie: From Java through Jimple to Boogie [project webpage] (Stephan Arlt, Philipp Rümmer, and Martin Schäf)
OCSEGen: Open Components and Systems Environment Generator [project webpage] (Oksana Tkachuk)
DUA-Forensics: A Fine-Grained Dependence Analysis and Instrumentation Framework based on Soot [project webpage] (Raul Santelices, Yiji Zhang, Haipeng Cai, and Siyuan Jiang)

Session 2 - 13:30-15:00

Soot Class Loading in the ROOTBEER GPU Compiler [project webpage] (Philip C. Pratt-Szeliga, Marc-André Laverdière, Ettore Merlo, James W. Fawcett, and Roy D. Welch)
Numerical static analysis with Soot [project webpage] (Gianluca Amato, Simone Di Nardo Di Maio, and Francesca Scozzari)
Interprocedural Data Flow Analysis in Soot using Value Contexts [project webpage] (Rohan Padhye and Uday P. Khedker)

Proposed groups for small-group discussions - 15:30-17:00

In case you would like to add a topic, please let us know!