Beijing, China, June 14th 2012, Co-located with PLDI 2012
, in room Conference 8
The program is available now
Call for Papers
enabled hundreds of users to carry out research in static analysis of
Java. As Soot enters its second decade, the first International
Workshop on the State Of the Art in Java Program Analysis (SOAP) will
bring together the thriving Soot community and help catalyze the future
development of the Soot framework. We anticipate that SOAP will help
spur discussions and collaborations between different groups using Soot
and other researchers working on program analysis. 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.
The one-day workshop will include an invited talk, presentations of
existing projects using Soot, and structured discussions about future
development directions for Soot.
For more information, see the program page.
||March 28th, 2012
|Notification of authors:
||April 28th, 2012
|Submission of camera-ready copies:
||May 12th, 2012
||June 14th, 2012
Submissions should be four to six-page papers
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
Papers can now be submitted using
Accepted publications will be published in the ACM Digital Library.