ACM SIGPLAN International Workshop on the
State Of the Art in Java Program Analysis
(SOAP 2013)
Seattle, WA, June 20th 2013, Co-located with PLDI 2013 (registration, early registration deadline May 15th)

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.

Schedule

The one-day workshop will include an invited talk, presentations of existing projects using Soot, and structured discussions about future development directions for 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