Monday, November 1 Tutorial day
8:30 -- 9:00
 Tutorial Introductions
9:00 -- 10:00 Tutorial 1 (part 1)
Cyrille Valentin Artho, (AIST - RCIS, Japan)
Run-time Verification of Networked Software 		Tutorial 2 (part 1)
Eric Bodden, (TUD, Germany)
Clara: Partially Evaluating Runtime Monitors at Compile Time
10:00 -- 10:30 Break
10:30 -- 11:30 Tutorial 1 (part 2)
Cyrille Valentin Artho, (AIST - RCIS, Japan)
Run-time Verification of Networked Software		 Tutorial 2 (part 2)
Eric Bodden, (TUD, Germany)
Clara: Partially Evaluating Runtime Monitors at Compile Time
11:30 -- 1:00 Lunch
1:00 -- 3:00 Tutorial 3
Ylies Falcone, (INRIA, France)
You should Better Enforce than Verify 		Tutorial 4
Axel Legay, (INRIA, France)
Statistical Model Checking: Present and Future
3:00 -- 3:30 Break
3:30 -- 5:30 Tutorial 5
Sylvain Hallé and Roger Villemaire, (UQAM, Canada)
Runtime Verification for the Web		 Tutorial 6
Patrick Meredith and Grigore Rosu, (UIUC, USA)
Runtime Verification with the RV System


Tuesday, November 2
 Day 2
8:30 -- 9:00
 Opening
9:00 -- 10:00
 Session 1: Invited presentation
Matthew Dwyer, University of Nebraska, USA
Optimizing Runtime Monitors : Combining Static and Dynamic Techniques
10:00 -- 10:30
 Break

Session 2: Regular papers
10:30 -- 11:00 Recovery Tasks: An Automated Approach to Failure Recovery
Brian Demsky, Jin Zhou and William Montaz
11:00 -- 11:30 Optimized Temporal Monitors for SystemC
Deian Tabakov and Moshe Vardi
11:30 -- 12:00 Copilot: A Hard Real-Time Runtime Monitor
Lee Pike, Alwyn Goodloe, Robin Morisset, and Sebastian Niller
12:00 -- 1:30 Lunch

Session 3: Invited presentation and regular paper
1:30 -- 2:30 Invited presentation
Mike Barnett, Microsoft Research, Redmond, WA, USA
Code Contracts for .NET: Runtime Verification and So Much More
2:30 -- 3:00 Causality Analysis in Contract Violation
Gregor Gossler, Daniel Le Metayer and Jean-Baptiste Raclet
3:00 -- 3:30
 Break

Session 4: Regular papers
3:30 -- 4:00 Efficient Data Race Detection for Async-Finish Parallelism
Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin Vechev and Eran Yahav
4:00 -- 4:30 Run-Time Verification of Optimistic Concurrency
Ali Sezgin, Serdar Tasiran, Shaz Qadeer and Kivanc Muslu
4:30 -- 5:00 Runtime Verification for Software Transactional Memories
Vasu Singh
5:00 -- 5:30 Interval Analysis for Concurrent Trace Programs using Transaction Sequence Graphs
Malay Ganai and Chao Wang


6:30 -- 10:30
 Trip and Dinner


Wenesday, November 3
 Day 3
9:00 -- 10:00
 Session 5: Invited presentation
Martin Odersky, EPFL, Switzerland
Contracts in Scala
10:00 -- 10:30
 Break

Session 6: Regular papers
10:30 -- 11:00 Clara: a Framework for Statically Evaluating Finite-state Runtime Monitors
Eric Bodden, Patrick Lam and Laurie Hendren
11:00 -- 11:30 Compensation-Aware Runtime Monitoring
Christian Colombo, Gordon J Pace and Patrick Abela
11:30 -- 12:00 Reducing Configurations to Monitor in a Software Product Line
Chang Hwan Peter Kim, Eric Bodden, Don Batory and Sarfraz Khurshid
12:00 -- 1:30 Lunch

Session 7: Invited presentation and regular paper
1:30 -- 2:30 Invited presentation
Rance Cleaveland, University of Maryland, USA
Automatic Requirements Extraction from Test Cases
2:30 -- 3:00 Trace Recording for Embedded Systems: Lessons Learned from Five Industrial Projects
Johan Kraft, Anders Wall and Holger Kienle
3:00 -- 3:30
 Break

Session 8: Short papers and tool demos
3:30 -- 3:50 (Short paper) Who Guards the Guardians? Toward V&V of  Health Management Software
Johann Schumann, Ashok Srivastava and Ole Mengshoel
3:50 -- 4:10 (Short paper) Formally Efficient Program Instrumentation
Boris Feigin and Alan Mycroft
4:10 -- 4:30 (Short paper) Runtime Verification of Stochastic, Faulty Systems
Cristina M Wilcox and Brian C Williams
4:30 -- 4:50 (Short paper) Failure Signatures for Better Deadlock Bug Reports
Cristian Zamfir and George Candea
4:50 -- 5:10 (Short paper) StealthWorks: Emulating Memory Errors
Musfiq Rahman, Bruce Childers and Sangyeun Cho
5:10 -- 5:30 (Tool demo) ESAT: A Tool for Animating Logic-based Specifications of Evolvable Component Systems
Djihed Afifi, David Rydeheard and Howard Barringer


7:30 -- 10:30
 Dinner


Thursday, November 4
 Day 4
9:00 -- 10:00
 Session 9: Invited presentation
Wim De Pauw, IBM T.J. Watson Research Center, USA
Visualizing Complex IT Systems
10:00 -- 10:30
 Break

Session 10: Regular papers
10:30 -- 11:00 A Meta Aspect Protocol for Developing Dynamic Analyses
Michael Achenbach and Klaus Ostermann
11:00 -- 11:30 Aspect-Oriented Instrumentation with GCC
Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A Smolka, Scott D Stoller and Erez Zadok
11:30 -- 12:00 Runtime Instrumentation for Precise Flow-Sensitive Type Analysis
Etienne Kneuss, Philippe Suter and Viktor Kuncak
12:00 -- 1:30 Lunch

Session 11: Invited presentation and regular paper
1:30 -- 2:30 Invited presentation
R. Sekar, Center for Cybersecurity, Stony Brook University, USA
Runtime Analysis and Instrumentation for Securing Software
2:30 -- 3:00 Behavior Abstraction in Malware Analysis
Philippe Beaucamps, Isabelle Gnaedig and Jean-Yves Marion
3:00 -- 3:30
 Break
3:30 -- 5:30
 Session 12: Regular papers and tool demos
3:30 -- 4:00 Checking the Correspondence Between UML models and Implementation
Selim Ciraci, Somayeh Malakuti, Shmuel Katz and Mehmet Aksit
4:00 -- 4:30 Verification of an AFDX Infrastructure using Simulations and  Probabilities
Axel Legay, Saddek Bensalem, Benoit Delahaye, Marius Bozga, Ananda Basu and Emmanuel Sifakis
4:30 -- 4:50 (Tool demo) LarvaStat: Monitoring of Statistical Properties
Christian Colombo, Andrew Gauci and Gordon Pace
4:50 -- 5:10 (Tool demo) A Tool for Improving Static Analysis by Mining Partial Execution Traces
Gianluca Amato, Maurizio Parton and Francesca Scozzari
5:10 -- 5:30 (Tool demo) WS-PSC Monitor: A tool chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart
Pengcheng Zhang, Zhiyong Su and Wenrui Li
5:30 -- 6:00
 Closing