Runtime Verification 2012 (RV’12)

Third International Conference on Runtime Verification RV 2012, September 25 – September 28, 2012 Istanbul, Turkey

Program

Tuesday, September 25, 2012 Day 1
8:30 am — 9:00 am Breakfast
9:00 am — 12:30 am Tutorial 1: Dynamic Analyses for Data-Race Detection 
John Erickson, Stephen N. Freund and Madan Musuvathi
12:30 pm — 2:00 pm Lunch
2:00 pm — 5:30 pm Tutorial 2: Symbolic execution 
Cristian Cadar and Koushik Sen
Wednesday, September 26, 2012 Day 2
8:15 am — 8:45 am Breakfast
8:45 am — 9:00 am Opening session
Session Chair: Stephen N. FreundSession 1: Concurrency analysis
9:00 am — 9:30 am Dynamic Livelock Analysis of Multi-threaded Programs 
Malay Ganai
9:30 am — 10:00 am Scalable Dynamic Partial Order Reduction 
Jiri Simsa, Randal Bryant, Garth Gibson and Jason Hickey
10:00 am – 10:15 am (Tool paper) ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level 
Jan Fiedor and Tomas Vojnar
10:15 am — 10:30 am (Tool paper) PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors
Ismail KuruHassan Salehe MatarAdrián CristalGokcen Kestor and Osman Unsal
10:30 am — 11:00 am Coffee break
11:00 am — 12:30 pm Invited presentation
Jim LarusPrincipal Researcher, Microsoft Research
It’s the End of the World as We Know It (And I Feel Fine)
12:30 pm — 2:00 pm Lunch
Session Chair: Sylvain HalléSession 2: New directions (I)
2:00 pm — 2:30 pm Detecting Unread Memory using Dynamic Binary Translation
Jon Eyolfson and Patrick Lam
2:30 pm — 3:00 pm Sparse Coding for Specification Mining and Error Localization 
Wenchao Li and Sanjit A. Seshia
3:00 pm — 3:15 pm (Short paper) Sliding between model checking and runtime verification
Martin Leucker
3:15 pm — 3:30 pm (Tool paper) Runtime Verification and Enforcement for Android Applications with RV-Droid 
Ylies Falcone, Sebastian Currea, and Mohamad Jaber
3:30 pm — 4:00 pm Coffee break
Session Chair: Oleg SokolskySession 3: Hardware and embedded systems
4:00 pm — 4:30 pm Temporal Monitors for TinyOS 
Doina Bucur
4:30 pm — 5:00 pm Real-Time Runtime Verification on Chip
Thomas ReinbacherMatthias Fuegger and Joerg Brauer
5:00 pm — 5:15 pm (Tool paper) A Collection of Transducers For Trace Validation
Aouatef Mrad, Samatar Ahmed, Éric Beaudet and Sylvain Hallé
5:15 pm — 5:30 pm (Short paper) Quantitative Trace Analysis using Extended Timing Diagrams 
Andreas Richter and Klaus Kabitzsch
Thursday, September 27, 2012 Day 3
8:30 am — 9:00 am Breakfast
Session Chair: Martin LeuckerSession 4: Foundations
9:00 am — 9:30 am Maximal Causal Models for Sequentially Consistent Systems
Traian Serbanuta, Feng Chen and Grigore Rosu
9:30 am — 10:00 am Monitoring Compliance Policies over Incomplete and Disagreeing Logs 
David Basin, Felix Klaedtke, Srdjan Marinovic and Eugen Zalinescu
10:00 am — 10:30 am Adaptive Runtime Verification 
Ezio BartocciRadu GrosuAtul KarmarkarScott SmolkaScott StollerErez Zadok and Justin Seyster
10:30 am — 11:00 am Coffee break
11:00 am — 12:30 pm Invited presentation
Giovanni VignaProfessor, Department of Computer Science, UCSB
Malware Riding Badware: Challenges in Analyzing (Malicious/Benign) Web Applications
12:30 pm — 2:00 pm Lunch
2:00 pm — 3:30 pm Tool session
3:30 pm — 4:00 pm Coffee break
Session Chair: Cristian CadarSession 5: Speeding up runtime verification
4:00 pm — 4:30 pm MapReduce for Parallel Trace Validation of LTL Properties
Benjamin Barre, Mathieu Klein, Maxime Soucy-Boivin, Pierre-Antoine Ollivier and Sylvain Hallé
4:30 pm — 5:00 pm Path-aware Time-triggered Runtime Verification 
Samaneh Navabpour, Borzoo Bonakdarpour and Sebastian Fischmeister
5:00 pm — 5:30 pm Fast-Forward Runtime Monitoring — An Industrial Case Study 
Christian Colombo and Gordon Pace
Friday, September 28, 2012 Day 4
8:30 am — 9:00 am Breakfast
Session Chair: Radu GrosuSession 6: Timed systems
9:00 am — 9:30 am Runtime Enforcement of Timed Properties 
Srinivas Pinisetty, Ylies Falcone, Thierry Jeron, Hervé Marchand, Antoine Rollet and Omer Landry Nguena Timo
9:30 am — 10:00 am Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic 
Kevin Baldor and Jianwei Niu
10:00 am — 10:30 am Rewrite-Based Statistical Model Checking of WMTL 
Peter BulychevAlexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li and Danny Bøgsted Poulsen
10:30 am — 11:00 am Coffee break
11:00 am — 12:30 pm Invited presentation
Martin Rinard, Professor, Department of Electrical Engineering and Computer Science, MIT
From Runtime Verification to Runtime Intervention and Adaptation 
12:30 pm — 2:00 pm Lunch
Session Chair: Klaus HavelundSession 7: New directions (II)
2:00 pm — 2:30 pm Certifying Solutions for Numerical Constraints 
Eva Darulova and Viktor Kuncak
2:30 pm — 3:00 pm Profiling Object Initialization for Java 
Stephen NelsonDavid Pearce and James Noble
3:00 pm — 3:15 pm (Short paper) Defense Against Stack-Based Attacks Using Speculative Stack Layout Transformation
Benjamin Rodes, Anh Nguyen-Tuong, Jason Hiser, John Knight, Jack Davidson and Michele Co
3:15 pm — 3:30 pm (Short paper) Incremental Runtime Verification of Probabilistic Systems
Vojtech ForejtMarta KwiatkowskaDavid ParkerHongyang Qu and Mateusz Ujma