The field is often referred to under different names, such as runtime verification, runtime monitoring, runtime checking, runtime reflection, runtime analysis, dynamic analysis, runtime symbolic analysis, trace analysis, log file analysis, etc. RV can be used for many purposes, such as security or safety policy monitoring, debugging, testing, verification, validation, profiling, fault protection,
behavior modification (e.g., recovery), etc. A running system can be abstractly regarded as a generator of ex*****on traces, i.e., sequences of relevant states or events. Traces can be processed in various ways, e.g., checked against formal specifications, analyzed with special algorithms, visualized, etc. IMPORTANT DATES
June 5: Regular and short papers due
June 12: Tutorial and tool demo proposals due
July 24: Author notification
August 21: Camera ready versions due
Sep 27-30: RV 2011
INVITED SPEAKERS
Dawson Engler, Stanford University
Cormac Flanagan, UC Santa Cruz
Wolfgang Grieskamp, Google
Sharad Malik, Princeton University
Vern Paxson, UC Berkeley
Steven P. Reiss, Brown University
Accepted papers will be published in LNCS. Topics:
•program instrumentation techniques
•specification languages for writing monitors
•fault localization
•dynamic program slicing
•record-and-replay
•trace simplification for debugging
•extraction of monitors from specifications
•APIs for writing monitors
•programming language constructs for monitoring
•model-based monitoring and reconfiguration
•the use of aspect oriented programming for dynamic analysis
•algorithmic solutions to minimize runtime monitoring impact
•combination of static and dynamic analysis
•full program verification based on runtime verification
•intrusion detection, security policies, policy enforcement
•log file analysis
•model-based test oracles
•observation-based debugging techniques
•fault detection and recovery
•model-based integrated health management and diagnosis
•program steering and adaptation
•dynamic concurrency analysis
•dynamic specification mining
•metrics and statistical information gathered during runtime
•program ex*****on visualization
•data structure repair for error recovery
•parallel algorithms for efficient monitoring
•monitoring for effective fault localization and program repair
History: The RV series of events started in 2001, as an annual workshop. The RV'01 to RV'05 proceedings were published in ENTCS. Since 2006, the RV proceedings have been published in LNCS. Starting with year 2010, RV is an international conference. The permanent http://runtime-verification.org/ page contains links to past RV events.
