This Friday I will be demoing MOPBox, out new library for runtime verification at this year’s RV conference. We hope that some users will join our open-source project.
MOPBox Demo Friday at RV
Eric | September 28, 2011International Workshop on the State Of the Art in Java Program Analysis (SOAP 2012)
Eric | September 28, 2011Co-located with PLDI 2012 in Beijing…
Soot has enabled hundreds of users to carry out research in static analysis of Java. As Soot enters its second decade, the first SOAP workshop 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. 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) 2012 |
TamiFlex 2.0 is out
Eric | September 25, 2011I am happy to announce the availability of TamiFlex 2.0.
This new release includes a couple of bug fixes but also some important changes and new features.
The Play-Out Agent is now extensible: you can add your own instrumentation probes if you like. By default, the agent can now log many more reflective calls than before. The probes, as well as other options, are now configured through configuration files. Neither agent accepts command-line options any longer. We highly recommend reading out documentation on those files.
Also we make available, for the first time, an Eclipse Plugin that allows you to play-out and play-in directly from within Eclipse.
The Play-In Agent and Booster did not change much.
ASE Lecture to be held again in WS 2011/12
Eric | September 9, 2011I am happy to announce that I will be offering my lecture on Automated Software Engineering again in the upcoming winter semester. I have updated the topics slightly but the general structure will remain the same. Find more information here.
Several Calls for this year’s AOSD
Eric | September 8, 2011AOSD 2012 is still accepting paper submissions for its third and last submission deadline…
Abstracts: October 13 / Submission: October 17
In addition, you can participate in the Modularity Visions Track (deadline Sep. 23rd), propose a workshop (also Sep. 23rd) or Demo (Jan 9th).
