09:00-10:30

Session 1: Fraumünster. Chair: Michael Wahler

• Welcome address (Michael Wahler)
• 30-second introduction of each workshop participant
• Keynote: Software Repository Mining for Improving Software Upgrades (Martin Pinzger, Delft University of Technology)
  
  Abstract: Software repositories store a wealth of information about software projects including data about failures that get reported by testers and users after a system has been upgraded. One of the main themes of the mining software repositories research is to use this rich information to prevent failures, for instance by training models that check the current release of a system and point out potential bugs. In this talk, I present two examples of my research in mining software repositories to identify failure-prone source files of the Eclipse open source project and failure-prone binaries of the Microsoft Windows Vista project. While both models show promising results in pointing out failure-prone entities they leave room for many interpretations on what to do in order to prevent failures. Based on these examples and my observations I discuss several challenges of mining software repositories and potential applications of this research in the field of software upgrades.

10:30-11:00

Break

11:00-12:30

Session 2: Zürichsee. Chair: Danny Dig

• How To Have your Cake and Eat It Too: Dynamic Software Updating with Just in Time Overhead (Rida Bazzi, Bryan Topp, and Iulian Neamtiu)
• A Study of Dynamic Software Update Quiescence for Multithreaded Programs (Christopher Hayden, Karla Saur, Michael Hicks, and Jeffrey Foster)
• Towards Standardized Benchmarks for Dynamic Software Updating Systems (Edward K Smith, Michael Hicks and Jeffrey S Foster)

12:30-14:00

Lunch

14:00-15:30

Session 3: Üetliberg. Chair: Michael Hicks

• Safe and Automated State Transfer for Secure and Reliable Live Update (Cristiano Giuffrida and Andrew S. Tanenbaum)
• Atomic Dynamic Upgrades Using Software Transactional Memory (Luís Pina and João Cachopo)
• A Generic Approach for Deploying and Upgrading Mutable Software Components (Sander Van Der Burg)

15:30-16:00

Break

16:00-17:30

Session 4: Baden. Chair: Iulian Neamtiu

• Verification of Software Changes with ExpliSAT (Hana Chockler and Sitvanit Ruah)
• Multi-Version Software Updates (Cristian Cadar and Petr Hosek)
• Theseus: whole updates of Java server applications (Erwann Wernli)