[Soot-list] CFP: SOAP 2013 -- 2nd International Workshop on the State Of the Art in Java Program Analysis

[Elena Sherman]

2nd International Workshop on the State Of the Art in Java Program
Analysis (SOAP 2013) Co-located with PLDI 2013, June 2013 in Seattle
(http://www.sable.mcgill.ca/soap/)

WORKSHOP TOPIC
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, 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 sig-alternate
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
Accepted publications will be published in the ACM Digital Library.

ORGANIZING COMMITTEE
Patrick Lam, University of Waterloo
Elena Sherman, Boise State University

PROGRAM COMMITTEE
Eric Bodden, Technische Universität Darmstadt
Bruno Dufour, Université de Montréal
Laurie Hendren, McGill University
Jeff Huang, Hong Kong University of Science and Technology
Patrick Lam, University of Waterloo
Anders Møller, Aarhus University
Elena Sherman, Boise State University
Manu Sridharan, IBM Research
Rahul Purandare, University of Nebraska-Lincoln