Third ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2014)
Sponsor: ACM SIGPLAN, co-located with PLDI 2014
When: June 12, 2014 in Edinburgh, UK
Publication: ACM Digital Library
Static and dynamic analysis techniques and tools for the Java language have received widespread attention for a long time. The application domains of these analyses range from core libraries to modern technologies such as web services and Android applications. Over time, analysis frameworks for Java such as Soot and WALA have been developed to better support techniques for optimizing programs, ensuring code quality, and assessing security and compliance.
Sponsored by ACM SIGPLAN, the Soot community brought together its members and other researchers by organizing the International Workshop on the State Of the Art in Java Program Analysis (SOAP) in 2012 and 2013 in conjunction with PLDI. The presentations and discussions helped share new developments and shape new innovations in Java analysis and frameworks with a focus on Soot. The workshops received very positive feedback from Soot contributors and users as well as other SOAP/PLDI attendees. SOAP ’14 will enhance that positive experience with an increased emphasis on contributions from outside the Soot community.
The workshop will take one day and will feature an invited talk by a leading member of the Java analysis community (regardless of relationship with Soot), presentations of all accepted refereed papers with plenty of time for discussion, and a lively concluding session for a discussion of the present and future of Soot as well as program analysis for Java in general.
Submissions should be four to six-page papers in ACM sig-alternate style. Possible submissions include, but are not limited to:
* A report on a novel implementation of a program analysis, with a focus on technical details or optimizations, particularly discussing how Soot or some other system was used
* A report describing an innovative tool built on top of Soot or a similar framework
* A compelling use case for a feature not yet supported by 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 program 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.
Accepted papers will appear in the ACM Digital Library. They will also be made available to participants by May 11, 2014.
At least one author of each accepted paper must register as a regular participant and present their paper in person.
Paper submissions: March 14, 2014
Notification of authors: April 14, 2014
Submission of camera-ready copies: April 28, 2014
Workshop date: June 12, 2014 (duration: 1 day)
Steven Arzt, European Center for Security and Privacy by Design, Darmstadt, Germany
Raul Santelices, University of Notre Dame, USA
Saswat Anand, Stanford University, USA
Alexandre Bartel, University of Luxembourg, Luxembourg
Eric Bodden, Technische Universität Darmstadt, Germany
Laurie Hendren, McGill University, Canada
Uday Khedker, Indian Institute of Technology – Bombay, India
Patrick Lam, University of Waterloo, Canada
Anders Møller, Aarhus University, Denmark
Rahul Purandare, Indraprastha Institute of Information Technology – Delhi, India
Elena Sherman, Boise State University, USA
Oksana Tkachuk, NASA Ames, USA
Dacong Yan, Ohio State University, USA