4th International Workshop on Academic Software Development Tools and Techniques

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