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: