ACM SIGPLAN International Workshop on the
State Of the Art in Java Program Analysis
(SOAP 2014)

Co-located with PLDI 2014, June 2014 in Edinburgh, UK. The workshop will take place on June 12th, the day right after the main conference.

Schedule

The schedule will be pusblished here once the papers that will be presented at the workshop have been chosen.

Here is the list of accepted papers:
  • TS4J: A Fluent Interface for Defining and Computing Typestate Analyses (Eric Bodden)
  • A Software Product Line for Static Analyses - The OPAL Framework (Michael Eichberg and Ben Hermann)
  • Dynamic Slicing with Soot (Arian Treffer and Matthias Uflacker)
  • Explicit and Symbolic Techniques for Fast and Scalable Points-to Analysis (Edgar Pek and Madhusudan Parthasarathy)
  • Android Taint Flow Analysis for App Sets (William Klieber, Lori Flynn, Amar Bhosale, Limin Jia and Lujo Bauer)

You can also consult the tentative program.

Call for Papers

Static and dynamic analysis techniques and tools for the Java language have received widespread attention for a long time. The application domains of these analyses range from core libraries to modern technologies such as web services and Android applications. Over time, analysis frameworks for Java such as Soot and WALA have been developed to better support techniques for optimizing programs, ensuring code quality, and assessing security and compliance.

Sponsored by ACM SIGPLAN, the Soot community brought together its members and other researchers by organizing the International Workshop on the State Of the Art in Java Program Analysis (SOAP) in 2012 and 2013 in conjunction with PLDI. The presentations and discussions helped share new developments and shape new innovations in Java analysis and frameworks with a focus on Soot. The workshops received very positive feedback from Soot contributors and users as well as other SOAP/PLDI attendees. SOAP '14 will enhance that positive experience with an increased emphasis on contributions from outside the Soot community.

For SOAP 2014, we enthusiastically invite contributions and inspirations from developers and researchers working with Soot or other analysis frameworks. We are particularly interested in exciting framework ideas, innovative designs, and extensions to related languages such as JavaScript (as a client-side complement of server-side Java). The workshop agenda will continue its tradition of lively discussion sessions on extensions to Soot and integrations and synergies between Soot and other frameworks.

Format

The workshop will take one day and will feature an invited talk by a leading member of the Java analysis community (regardless of relationship with Soot), presentations of all accepted refereed papers with plenty of time for discussion, and a lively concluding session for a discussion of the present and future of Soot as well as program analysis for Java in general.

Important Dates

Paper submissions: March 14th, 2014 March 26th, 2014
Notification of authors: April 14th, 2014 April 20th, 2014
Submission of camera-ready copies: April 28th, 2014
Workshop date: June 12th, 2014

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 a novel implementation of a program analysis, with a focus on technical details or optimizations, particularly discussing how Soot or some other program-analysis framework was used.
  • A report describing an innovative 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 program 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=soap2014

Publication

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

Organizing Committee

Program Committee

Previous workshops/tutorials


Pending sponsorship by:   
acmsigplan