9h00

Keynote speech (Chair: Borzoo Bonakdarpour)

Assaf Schuster: Monitoring Big, Distributed, Streaming Data

10h00

Coffee break

10h30

Session 6 - Concurreny (Chair: Grigore Rosu)

• Jiannan Zhai, Nigamanth Sridhar and Jason Hallstrom: Supporting the Specification and Runtime Validation of Asynchronous Calling Patterns in Reactive Systems

• Laura Bozzelli and César Sánchez: Foundations of Boolean Stream Runtime Verification

• Erdal Mutlu, Vladimir Gajinov, Adrian Cristal, Serdar Tasiran and Osman Unsal: Dynamic Verification for Hybrid Concurrent Programming Models (short paper)

• Kuei Sun, Daniel Fryer, Ashvin Goel, Dai Qin and Angela Demke Brown: Robust Consistency Checking for Modern Filesystems (short paper)

12h00

Lunch break

14h00

Session 7 - Tracing (Chair: Eugen Zalinescu)

• Qingzhou Luo, Yi Zhang, Choonghwan Lee, Dongyun Jin, Patrick Meredith, Traian Serbanuta and Grigore Rosu: RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties

• Clemens Ballarin: Two Generalisations of Roşu and Chen's Trace Slicing Algorithm A

• Martin Hentschel, Richard Bubel and Reiner Hähnle: Symbolic Execution Debugger (SED) (Tool paper)

• Simon Varvaressos, Kim Lavoie, Sebastien Gaboury and Sylvain Hallé: Multiple Ways to Fail: Generalizing a Monitor's Verdict for the Classification of Execution Traces (Short paper)

15h30

Coffee break

16h00

Session 8 - Dynamic analysis- (Chair: Sylvain Halle)

• Ming Chai and Holger Schlingloff: Monitoring Systems with Extended Live Sequence Charts

• Maria Christakis, Patrick Emmisberger and Peter Müller: Dynamic Test Generation with Static Fields and Initializers

• Anand Yeolekar : Improving dynamic inference with variable dependence graph (Short paper)

• Emmanouil Koukoutos and Viktor Kuncak: Checking Data Structure Properties Orders of Magnitude Faster (Short paper)

17h30

Closing remarks