Runtime Verification

1. Front Matter

   PDF

2. Tutorials

   1. Internal versus External DSLs for Trace Analysis

      • Howard Barringer, Klaus Havelund

      Pages 1-3

   2. Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables

      • Chao Wang, Malay Ganai

      Pages 4-18

   3. Runtime Monitoring of Time-Sensitive Systems

      • Borzoo Bonakdarpour, Sebastian Fischmeister

      Pages 19-33

   4. Teaching Runtime Verification

      • Martin Leucker

      Pages 34-48

3. Invited

   1. Runtime Verification: A Computer Architecture Perspective

      • Sharad Malik

      Pages 49-62

   2. A: Parallelism and Deadlocks

      1. Isolating Determinism in Multi-threaded Programs

         • Lukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan

         Pages 63-77

      2. Efficiency Optimizations for Implementations of Deadlock Immunity

         • Horatiu Jula, Silviu Andrica, George Candea

         Pages 78-93

      3. Permission Regions for Race-Free Parallelism

         • Edwin Westbrook, Jisheng Zhao, Zoran Budimlić, Vivek Sarkar

         Pages 94-109

      4. Dynamic Race Detection with LLVM Compiler

         • Konstantin Serebryany, Alexander Potapenko, Timur Iskhodzhanov, Dmitriy Vyukov

         Pages 110-114

   3. B: Malware Detection

      1. NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for Windows

         • Narcisa Andreea Milea, Siau Cheng Khoo, David Lo, Cristian Pop

         Pages 115-130

   4. C: Temporal Constraints and Concurrency Bugs

      1. Runtime Verification of LTL-Based Declarative Process Models

         • Fabrizio Maria Maggi, Michael Westergaard, Marco Montali, Wil M. P. van der Aalst

         Pages 131-146

      2. Parametric Identification of Temporal Properties

         • Eugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic

         Pages 147-160

      3. Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs

         • William N. Sumner, Christian Hammer, Julian Dolby

         Pages 161-176

      4. Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software

         • Bohuslav Křena, Zdeněk Letko, Tomáš Vojnar

         Pages 177-192

   5. D: Sampling and Specification Conformance

      1. Runtime Verification with State Estimation

         • Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka et al.

         Pages 193-207

      2. Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification

         • Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister

         Pages 208-222

      3. CoMA: Conformance Monitoring of Java Programs by Abstract State Machines

         • Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene

         Pages 223-238

      4. Automated Test-Trace Inspection for Microcontroller Binary Code

         • Thomas Reinbacher, Jörg Brauer, Daniel Schachinger, Andreas Steininger, Stefan Kowalewski

         Pages 239-244

4. Invited

   1. What Is My Program Doing? Program Dynamics in Programmer’s Terms

      • Steven P. Reiss, Alexander Tarvo

      Pages 245-259

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011. The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on parallelism and deadlocks, malware detection, temporal constraints and concurrency bugs, sampling and specification conformance, real-time, software and hardware systems, memory transactions, tools; foundational techniques and multi-valued approaches.

• concurrent object-oriented programming
• hardware transactional memory
• optimization
• run-time verification
• visualization
• algorithm analysis and problem complexity

• Electrical and Computer Engineering, The University of Texas at Austin, Austin, USA

  Sarfraz Khurshid

• University of California, Berkeley, USA

  Koushik Sen

Policies and ethics