Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[aspectj-users] Call for Papers - SOAP 2012: 1st International Workshop on the State Of the Art in Java Program Analysis

1st International Workshop on the State Of the Art in Java Program
Analysis (SOAP 2012)
Co-located with PLDI 2012, June 2012 in Beijing
http://www.sable.mcgill.ca/soap/


WORKSHOP TOPIC
Soot and other analysis frameworks have 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 compiler
frameworks. Although the focus of this workshop will be on the Soot
framework, we warmly welcome cross-pollination from other compilers
and analysis frameworks, for instance in the form of ideas and design
discussions. 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: March 28th, 2012
Notification of authors: April 28th, 2012
Submission of camera-ready copies:       May 12th, 2012
Workshop date:   TBA (June 14th, 15th or 16th)

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=soap2012

PUBLICATION
Accepted publications will be published in the ACM Digital Library.

ORGANIZING COMMITTEE
Eric Bodden, Technische Universität Darmstadt
Laurie Hendren, McGill University
Patrick Lam, University of Waterloo
Elena Sherman, University of Nebraska

PROGRAM COMMITTEE
Eric Bodden, Technische Universität Darmstadt
Bruno Dufour, Université de Montréal
Laurie Hendren, McGill University
Patrick Lam, University of Waterloo
Elena Sherman, University of Nebraska
Manu Sridharan, IBM Research


Back to the top