| Session 1 |
9:00-10:30 Opening and invited talk |
| 9:00 |
Welcome and Introduction by the organizers |
| 9:15 |
Invited talk by Pieter Van Gorp: Reviewing and Preserving Experimental Software Toolkits through SHARE |
| 10:00 |
Open discussion on the use of SHARE as a medium for sharing/publishing tools, and for EST in particular |
| Coffee Break |
10:30-11:00 |
| Session 2 |
11:00-12:30 Presentations with 5 minute demos |
| 11:00 |
Kamil Rybiński, Sławomir Blatkiewicz, Norbert Jarzebowski, Wiktor Nowakowski and Michal Smialek. TALE: Tool for Application Logic Extraction |
| 11:20 |
George Ganea, Ioana Verebi and Radu Marinescu. Continuous Quality Assessment with inCode |
| 11:40 |
Mark Hills and Paul Klint. Enabling PHP Software Engineering Research in Rascal |
| 12:00 |
Short Q&A Session on presented papers + discussion on the ideal EST tool paper |
| Lunch Break |
12:15-14:00 |
| Session 3 |
14:00-15:30 Presentations without demo and discussion |
| 14:00 |
Tim Felgentreff, Michael Perscheid and Robert Hirschfeld. Constraining Timing-dependent Communication for Debugging Non-deterministic Failures |
| 14:15 |
Sergio Castro, Kim Mens and Paulo Moura. JPC: A Library for Modularising Inter-Language Conversion Concerns between Java and Prolog |
| 14:30 |
Anya Helene Bagge. Facts, Resources, and the IDE/Compiler Mind-Meld |
| 14:45 |
Discussion on tool-building issues: how to evaluate academic research tools |
| Coffee Break |
15:30-16:00 |
| Session 4 |
16:00-17:30 Presentations without demo and discussion |
| 16:00 |
Harald Störrle. UML Model Analysis and Checking with MACH |
| 16:15 |
Silverio Martínez-Fernández, Xavier Franch and Jesus Bisbal. Verifying Predictive Services' Quality with Mercury |
| 16:30 |
Discussion on tool-building issues |
| 17:00 |
Wrapping up and harvesting |
| End of workshop |
17:15 |
