CALL FOR PARTICIPATION: RUNTIME VERIFICATION 2017 (RV '17)

CALL FOR PARTICIPATION

The 17th International Conference on Runtime Verification

September 13-16 2017, Seattle, WA, USA

Website: http://rv2017.cs.manchester.ac.uk

Program: http://easychair.org/smart-program/RV2017/

Affiliated Event:

RV-CuBES - An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools

OVERVIEW

Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair.

Topics of interest to the conference include:

• specification languages
• monitor construction techniques
• program instrumentation
• logging, recording, and replay
• combination of static and dynamic analysis
• specification mining and machine learning over runtime traces
• monitoring techniques for concurrent and distributed systems
• runtime checking of privacy and security policies
• statistical model checking
• metrics and statistical information gathering
• program/system execution visualization
• fault localization, containment, recovery and repair
• integrated vehicle health management (IVHM)

Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy.

INVITED TALKS

• Rodrigo Fonseca, Brown University, USA: "The Design and Applications for a Tracing Plane for Distributed Systems"
• Vlad Levin and Jakob Lichtenberg, Microsoft, USA: "Windows Driver Verification Platform"
• Andreas Zeller, Saarland University, Germany: "Learning Input Languages for Runtime Verification"

TUTORIALS

• Ankush Desai and Shaz Qadeer, UC Berkeley and Microsoft Research, USA: "P : Modular and Safe Asynchronous Programming"
• Madhusudan Parthasarathy, University of Illinois at Urbana-Champaign, USA: "Machine-learning State Properties"
• Adrian Francalanza, University of Malta, Malta: "Foundations For Runtime Monitoring"

VENUE

The 17th International Conference on Runtime Verification will be held in the Sheraton Seattle Hotel situated in downtown Seattle. The venue is within walking distance of the famous Pike Place Market, Seattle Art Museum, Seattle Aquarium, and the Historic Seattle Waterfront. The weather in September still permits many open-air opportunities to shop, eat, and even sail in the Elliott Bay. Exceptionally well organized, Seattle's public transport connects the conference venue with the Seattle Center, which is the home of popular attractions like the Space Needle, EMP Museum, and Chihuly Garden and Glass.

REGISTRATION

Registration is available using the web-based registration form, with online payment on a secure website. Please use one form per attendee. Early registration means on or before August 13, 2017. Late registration means after August 13, 2017.

Different possibilities of registration are available:

• Tutorial Day Only (13th September): 210 USD
• Conference including tutorial day and RV-CuBES (13-16th September)
• Full Registration
  • Early: 680 USD,
  • Late (after 13 August): 780 USD
• Student Registration
  • Early: 480 USD,
  • Late (after 13 August): 580 USD

Program Committee

• Wolfgang Ahrendt, Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden
• Cyrille Artho, KTH Royal Institute of Technology, Sweden
• Howard Barringer, The University of Manchester, UK
• Ezio Bartocci, Vienna University of Technology, Austria
• Andreas Bauer, KUKA Systems, Germany
• Saddek Bensalem, VERIMAG (University of Grenoble Alpes), France
• Eric Bodden, Paderborn University / Fraunhofer IEM, Germany
• Borzoo Bonakdarpour, McMaster University, Canada
• Christian Colombo, University of Malta, Malta
• Ylies Falcone, University of Grenoble Alpes, France
• Grigory Fedyukovich, University of Washington, USA
• Lu Feng, University of Virginia, USA
• Patrice Godefroid, Microsoft Research, USA
• Jean Goubault-Larrecq, CNRS & ENS de Cachan, France
• Alex Groce, Northern Arizona University, USA
• Radu Grosu, Vienna University of Technology, Austria
• Sylvain Halle, University of Quebec at Chicoutimi, Canada
• Marieke Huisman, University of Twente, Netherlands
• Franjo Ivancic, Google, USA
• Bengt Jonsson, Uppsala University, Sweden
• Felix Klaedtke, NEC Europe Ltd.
• Rahul Kumar, Microsoft Research, USA
• Kim Larsen, Aalborg University, Denmark
• Insup Lee, University of Pennsylvania, USA
• Axel Legay, Inria Rennes, France
• Martin Leucker, University of Lubeck, Germany
• Ben Livshits, Imperial College, UK
• David Lo, Singapore Management University, Singapore
• Francesco Logozzo, Facebook, USA
• Parthasarathy Madhusudan, University of Illinois at Urbana-Champaign, USA
• Leonardo Mariani, University of Milan Bicocca, Italy
• Madan Musuvathi, Microsoft Research, USA
• Ayoub Nouri, University of Grenoble Alpes, France
• Gordon Pace, University of Malta, Malta
• Doron Peled, Bar Ilan University, Israel
• Grigore Rosu, University of Illinois at Urbana-Champaign, USA
• Veselin Raychev, ETH Zurich, Switzerland
• Cesar Sanchez, IMDEA Software Institute, Spain
• Gerardo Schneider, Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden
• Rahul Sharma, Microsoft Research, India
• Julien Signoles, CEA LIST, France
• Scott Smolka, Stony Brook University, USA
• Oleg Sokolsky, University of Pennsylvania, USA
• Bernhard Steffen, University of Dortmund, Germany
• Scott Stoller, Stony Brook University, USA
• Volker Stolz, Western Norway University of Applied Sciences, Norway
• Frits Vaandrager, Radboud University, Netherlands
• Neil Walkinshaw, University of Leicester, UK
• Chao Wang, University of Southern California, USA
• Eugen Zalinescu, Technische Universitat Munchen, Germany

CHAIRS AND ORGANIZERS

General Chair

Klaus Havelund, NASA Jet Propulsion Laboratory, USA

Program Chairs

Shuvendu Lahiri, Microsoft Research, USA
Giles Reger, University of Manchester, UK

Finance Chair

Oleg Sokolsky, University of Pennsylvania, USA

Publicity Chair

Ayoub Nouri, University of Grenoble Alpes, France

Local Organisation Chairs

Grigory Fedyukovich, University of Washington, USA
Rahul Kumar, Microsoft Research, USA

RV-CuBES, PC chairs

Giles Reger, University of Manchester, UK
Klaus Havelund, NASA Jet Propulsion Laboratory, USA

SPONSORS

• Microsoft
• Springer