State Of the Art in Java Program Analysis
Co-located with PLDI 2014, June 2014 in Edinburgh, UK. The workshop will take place on June 12th, the day right after the main conference.
The schedule will be pusblished here once the papers that will be presented at the workshop have been chosen.Here is the list of accepted papers:
You can also consult the tentative program.
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.
|Notification of authors:|
|Submission of camera-ready copies:||April 28th, 2014|
|Workshop date:||June 12th, 2014
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:
Submissions must be handed in as PDF
We anticipate that accepted publications will be published in the ACM Digital Library.