[Soot-list] CFP: SOAP 2013 -- Submission deadline extended to April 10, 2013

Elena Sherman elenasherman at boisestate.edu
Mon Apr 1 11:23:33 EDT 2013


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 10th, 2013 (Extended by one week)
*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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130401/3cbbdc14/attachment.html 


More information about the Soot-list mailing list