State Of the Art in Program Analysis
Co-located with PLDI 2016 in Santa Barbara, California. The workshop will take place on June 14th, the day right before the main conference.
The schedule will be published here once the papers that will be presented at the workshop have been chosen.
Static and dynamic analysis techniques and tools for Java and related programming languages 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 example, Soot, WALA, Chord, and Doop, 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), since 2012 in conjunction with PLDI. The presentations and discussions have helped share new developments and shape new innovations in program analysis. SOAP 2015 will enhance that positive experience with a broadened scope to also emphasize other analysis tools than Soot and other programming languages than Java.
For SOAP 2016, we invite contributions and inspirations from developers and researchers working with program analysis regarding exciting framework ideas, innovative designs, and analysis techniques, including preliminary results of work in progress. We will also focus on the state of the practice for program analysis by encouraging industrial participants. We would like to gather the minds behind the main code analysis frameworks (Soot, Wala, and Doop) for two primary purposes. The first is to discuss the lessons they have learned throughout the process of designing those frameworks. The second is to plan the future, as a community of users of these frameworks, by identifying our wishlist if we are about to design our ideal code analysis framework.
The workshop will take one day and will feature invited talks by leading members of the program analysis community, presentations of all accepted refereed papers, and time for discussion.
|Notification of authors:||April 15, 2016|
|Submission of camera-ready copies:||May 1, 2015|
|Workshop date:||June 14, 2015
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
Accepted papers will appear in the ACM Digital Library. At least one author of each accepted paper must register as a regular participant and present their paper in person.
Sorin Lerner (UCSD), Grammatech, and more to be added