Beijing, China, June 14th 2012, Co-located with
PLDI 2012,
in room Conference 8
Program
The
program is available now.
Call for Papers
Soot has
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.
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.
For more information,
see the program page.
Important Dates
Paper submissions: |
March 28th, 2012
EXTENDED: April
4th, 2012
|
Notification of authors: |
April 28th, 2012 |
Submission of camera-ready copies: |
May 12th, 2012 |
Workshop date: |
June 14th, 2012
|
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.
Papers can now be submitted using
EasyChair.
Publication
Accepted publications will be published in the ACM Digital Library.
Organizing Committee
Program Committe
Previous workshops/tutorials
Sponsored
by: