ACM SIGPLAN International Workshop on the
State Of the Art in Java Program Analysis
(SOAP 2013)
Seattle, WA, June 20th 2013 in Capitol Hill room at Red Lion, Co-located with PLDI 2013 (registration)

Schedule

The one-day workshop will include an invited talk on static analysis of reflection by Manu Sridharan, presentations of existing projects using Soot, and structured discussions about future development directions for Soot.

Here is the list of accepted papers:

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)
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)

You can also consult the complete program.

Call for Papers

For more than a decade, the Soot analysis framework has enabled hundreds of users to carry out research in static analysis of Java applications. To help bring together the community, the Soot community organized a
first International Workshop on the State Of the Art in Java Program Analysis (SOAP) in 2012. As expected, discussions and presentations at this workshop helped catalyze future development of the Soot framework, spurring discussions and collaborations between different groups using Soot and other compiler frameworks. SOAP'13 will continue that positive experience. Although the focus of SOAP will be on the Soot framework, we warmly welcome influences and inspirations from other compilers and analysis frameworks. We are particularly interested in exciting framework ideas and innovative design approaches. The agenda for SOAP will also include discussions and work on integrating external contributions into the main Soot framework, as well as explorations of potential future extensions to Soot.

Important Dates

Paper submissions: April 3rd  April 10th, 2013
Notification of authors: May 4th, 2013
Submission of camera-ready copies: May 18th, 2013
Workshop date: June 20th, 2013

Submissions

Submissions should be four to six-page papers in ACM SIGPLAN proceedings style. Some possible types of submissions for this workshop include, but are not limited to:
  • A report on an implementation of a static analysis, with a focus on implementation details, particularly discussing how Soot or some other static analysis framework was used.
  • A report describing a tool built on top of Soot.
  • A compelling use case for a feature not yet supported by the current version of Soot. Such work should provide good examples and an informal design of the proposed feature.
  • An idea paper proposing the integration of two or more existing static analyses (which may or may not be based on Soot) to answer interesting novel questions about Java programs. Such papers should focus on the added benefit obtained by the combinations. For this category we explicitly encourage collaborative submissions by different research groups.
Submissions must be handed in as PDF using EasyChair:
https://www.easychair.org/conferences/?conf=soap2013

Publication

We anticipate that accepted publications will be published in the ACM Digital Library.

Organizing Committee

Program Committee

Previous workshops/tutorials


Sponsored by:   
acmsigplan