<HTML>
<HEAD>
<TITLE>RV 2011 Call for Papers and Tutorials</TITLE>
</HEAD>
<BODY>
<FONT COLOR="#222222"><FONT SIZE="4"><FONT FACE="Arial"><SPAN STYLE='font-size:13.5pt'> CALL</SPAN></FONT></FONT></FONT><FONT SIZE="4"><FONT FACE="Arial"><SPAN STYLE='font-size:13.5pt'> <FONT COLOR="#222222">FOR</FONT> <FONT COLOR="#222222">PAPERS</FONT> AND TUTORIALS<BR>
<BR>
International Conference on Runtime Verification (<FONT COLOR="#222222">RV</FONT> <FONT COLOR="#222222">2011</FONT>)<BR>
September 27 - 30, <FONT COLOR="#222222">2011<BR>
</FONT> Berkeley, California, USA<BR>
<FONT COLOR="#C4380A"><U><a href="http://sites.google.com/site/2011rv/">http://sites.google.com/site/2011rv/</a><BR>
</U></FONT><BR>
Runtime verification (<FONT COLOR="#222222">RV</FONT>) is concerned with monitoring and<BR>
analysis of software or hardware system executions. The field is<BR>
often referred to under different names, such as runtime<BR>
verification, runtime monitoring, runtime checking, runtime<BR>
reflection, runtime analysis, dynamic analysis, runtime symbolic<BR>
analysis, trace analysis, log file analysis, etc. <FONT COLOR="#222222">RV</FONT> can be used<BR>
<FONT COLOR="#222222">for</FONT> many purposes, such as security or safety policy monitoring,<BR>
debugging, testing, verification, validation, profiling, fault<BR>
protection, behavior modification (e.g., recovery), etc. A<BR>
running system can be abstractly regarded as a generator of<BR>
execution traces, i.e., sequences of relevant states or<BR>
events. Traces can be processed in various ways, e.g., checked<BR>
against formal specifications, analyzed with special algorithms,<BR>
visualized, etc.<BR>
<BR>
Topics of interest include, but are not limited to:<BR>
<BR>
* program instrumentation techniques<BR>
* specification languages <FONT COLOR="#222222">for</FONT> writing monitors<BR>
* dynamic program slicing<BR>
* record-and-replay<BR>
* trace simplification <FONT COLOR="#222222">for</FONT> debugging<BR>
* extraction of monitors from specifications<BR>
* APIs <FONT COLOR="#222222">for</FONT> writing monitors<BR>
* programming language constructs <FONT COLOR="#222222">for</FONT> monitoring<BR>
* model-based monitoring and reconfiguration<BR>
* the use of aspect oriented programming <FONT COLOR="#222222">for</FONT> dynamic analysis<BR>
* algorithmic solutions to minimize runtime monitoring impact<BR>
* combination of static and dynamic analysis<BR>
* full program verification based on runtime verification<BR>
* intrusion detection, security policies, policy enforcement<BR>
* log file analysis<BR>
* model-based test oracles<BR>
* observation-based debugging techniques<BR>
* fault detection and recovery<BR>
* model-based integrated health management and diagnosis<BR>
* program steering and adaptation<BR>
* dynamic concurrency analysis<BR>
* dynamic specification mining<BR>
* metrics and statistical information gathered during runtime<BR>
* program execution visualization<BR>
* data structure repair <FONT COLOR="#222222">for</FONT> error recovery<BR>
* parallel algorithms <FONT COLOR="#222222">for</FONT> efficient monitoring<BR>
* monitoring <FONT COLOR="#222222">for</FONT> effective fault localization and program repair<BR>
<BR>
The <FONT COLOR="#222222">RV</FONT> series of events started in 2001, as an annual workshop.<BR>
The <FONT COLOR="#222222">RV</FONT>'01 to <FONT COLOR="#222222">RV</FONT>'05 proceedings were published in ENTCS. Since<BR>
2006, the <FONT COLOR="#222222">RV</FONT> proceedings have been published in LNCS. In year<BR>
2010, <FONT COLOR="#222222">RV</FONT> became an international conference. Links to past <FONT COLOR="#222222">RV<BR>
</FONT>events can be found at the permanent URL:<BR>
<FONT COLOR="#C4380A"><U><a href="http://runtime-verification.org">http://runtime-verification.org</a></U></FONT> <<FONT COLOR="#C4380A"><U><a href="http://">http://</a>runtime-verification.org/</U></FONT>><BR>
<BR>
<BR>
INVITED SPEAKERS<BR>
TBD<BR>
<BR>
Talk titles will be made available on <FONT COLOR="#222222">RV</FONT> <FONT COLOR="#222222">2011</FONT> web page.<BR>
<BR>
<BR>
PAPER SUBMISSION<BR>
<BR>
<FONT COLOR="#222222">RV</FONT> will have two research paper categories: regular and short<BR>
<FONT COLOR="#222222">papers</FONT>. <FONT COLOR="#222222">Papers</FONT> in both categories will be reviewed by the<BR>
conference Program Committee.<BR>
<BR>
* Regular <FONT COLOR="#222222">papers</FONT> (up to 15 pages) should present original<BR>
unpublished results. Applications of runtime verification are<BR>
particularly welcome. A Best Paper Award (USD 300) will be<BR>
offered. Selected <FONT COLOR="#222222">papers</FONT> will be published in an issue of Formal<BR>
Methods in System Design.<BR>
<BR>
* Short <FONT COLOR="#222222">papers</FONT> (up to 5 pages) may present novel but not<BR>
necessarily thoroughly worked out ideas, <FONT COLOR="#222222">for</FONT> example emerging<BR>
runtime verification techniques and applications, or techniques<BR>
and applications that establish relationships between runtime<BR>
verification and other domains. Accepted short <FONT COLOR="#222222">papers</FONT> will be<BR>
presented in special short talk (5-10 minutes) and poster<BR>
sessions.<BR>
<BR>
In addition to short and regular <FONT COLOR="#222222">papers</FONT>, proposals <FONT COLOR="#222222">for</FONT> tutorials<BR>
and tool demonstrations are welcome. Proposals should be up to 2<BR>
pages long.<BR>
<BR>
* Tutorial proposals on any of the topics above, as well as on<BR>
topics at the boundary between <FONT COLOR="#222222">RV</FONT> and other domains, are welcome.<BR>
Accepted tutorials will be allocated up to 15 pages in the<BR>
conference proceedings. Tutorial presentations will be at least<BR>
2 hours.<BR>
<BR>
* Tool demonstration proposals should briefly introduce the problem<BR>
solved by the tool and give the outline of the demonstration.<BR>
Tool <FONT COLOR="#222222">papers</FONT> will be allocated 5 pages in the conference<BR>
proceedings. A Best Tool Award (USD 200) will be offered.<BR>
<BR>
Submitted tutorial and tool demonstration proposals will be<BR>
evaluated by the corresponding chairs, with the help of selected<BR>
reviewers.<BR>
<BR>
All accepted <FONT COLOR="#222222">papers</FONT>, including tutorial and tool <FONT COLOR="#222222">papers</FONT>, will<BR>
appear in the LNCS proceedings. Submitted <FONT COLOR="#222222">papers</FONT> must use the<BR>
LNCS style. At least one author of each accepted paper must<BR>
attend <FONT COLOR="#222222">RV</FONT>'11 to present the paper. <FONT COLOR="#222222">Papers</FONT> must be submitted<BR>
electronically using the EasyChair system. A link to the<BR>
electronic submission page will be made available on the <FONT COLOR="#222222">RV</FONT>'11<BR>
web page.<BR>
<BR>
<BR>
IMPORTANT DATES<BR>
<BR>
May 8, <FONT COLOR="#222222">2011</FONT> - Submission of regular and short <FONT COLOR="#222222">papers<BR>
</FONT>May 15, <FONT COLOR="#222222">2011</FONT> - Submission of tutorial and tool demonstration proposals<BR>
June 26, <FONT COLOR="#222222">2011</FONT> - Notification <FONT COLOR="#222222">for</FONT> regular, short, and tool <FONT COLOR="#222222">papers<BR>
</FONT>July 24, <FONT COLOR="#222222">2011</FONT> - Submission of camera-ready versions of accepted <FONT COLOR="#222222">papers<BR>
</FONT>September 27-30, <FONT COLOR="#222222">2011</FONT> - <FONT COLOR="#222222">RV</FONT> <FONT COLOR="#222222">2011</FONT> Conference and tutorials<BR>
<BR>
<BR>
ORGANIZERS<BR>
<BR>
Programme committee chairs:<BR>
Sarfraz Khurshid (University of Texas at Austin, USA)<BR>
Koushik Sen (University of California at Berkeley, USA)<BR>
<BR>
Local organization chairs:<BR>
Jacob Burnim (University of California at Berkeley, USA)<BR>
Nicholas Jalbert (University of California at Berkeley, USA)<BR>
<BR>
<BR>
PROGRAM COMMITTEE<BR>
<BR>
Howard Barringer (University of Manchester, UK)<BR>
Eric Bodden (Technical University Darmstadt, Germany)<BR>
Rance Cleaveland (University of Maryland, USA)<BR>
Mads Dam (Kungliga Tekniska högskolan, Sweden)<BR>
Brian Demsky (University of California at Irvine, USA)<BR>
Bernd Finkbeiner (Saarland University, Germany)<BR>
Cormac Flanagan (University of California at Santa Cruz, USA)<BR>
Patrice Godefroid (Microsoft Research Redmond, USA)<BR>
Jean Goubault-Larrecq (ENS Cachan, France)<BR>
Susanne Graf (Verimag, France)<BR>
Radu Grosu (State University of New York at Stony Brook, USA)<BR>
Lars Grunske (University of Kaiserslautern, Germany)<BR>
Aarti Gupta (NEC Laboratories America, USA)<BR>
Rajiv Gupta (University of California at Riverside, USA)<BR>
Klaus Havelund (NASA/JPL, USA)<BR>
Mats Heimdahl (University of Minnesota, USA)<BR>
Gerard Holzmann (NASA/JPL, USA)<BR>
Sarfraz Khurshid (University of Texas at Austin, USA) (co-chair)<BR>
Viktor Kuncak (École Polytechnique Fédérale De Lausanne, Switzerland)<BR>
Kim Larsen (Aalborg University, Denmark)<BR>
Martin Leucker (University of Luebeck, Germany)<BR>
Rupak Majumdar (Max Planck Institute Germany and University of California<BR>
at Los Angeles USA)<BR>
Greg Morrisett (Harvard University, USA)<BR>
Mayur Naik (Intel Berkeley Labs, USA)<BR>
Brian Nielsen (Aalborg University, Denmark)<BR>
Klaus Ostermann (University of Marburg, Germany)<BR>
Corina Pasareanu (NASA Ames, USA)<BR>
Doron Peled (Bar Ilan University, Israel)<BR>
Suzette Person (NASA Langley, USA)<BR>
Gilles Pokam (Intel, Santa Clara, USA)<BR>
Shaz Qadeer (Microsoft Research Redmond, USA)<BR>
Derek Rayside (University of Waterloo, Canada)<BR>
Grigore Rosu (University of Illinois at Urbana-Champaign, USA)<BR>
Wolfram Schulte (Microsoft Research Redmond, USA)<BR>
Manu Sridharan (IBM T. J. Watson, USA)<BR>
Koushik Sen (University of California, Berkeley, USA) (co-chair)<BR>
Peter Sestoft (IT University of Copenhagen, Denmark)<BR>
Scott Smolka (State University of New York at Stony Brook, USA)<BR>
Oleg Sokolsky (University of Pennsylvania, USA)<BR>
Mana Taghdiri (Karlsruhe Institute of Technology, Germany)<BR>
Serdar Tasiran (Koc University, Turkey)<BR>
Nikolai Tillmann (Microsoft Research Redmond, USA)<BR>
Shmuel Ur (Shmuel Ur Innovation, Israel)<BR>
Willem Visser (University of Stellenbosch, South Africa)<BR>
Mahesh Viswanathan (University of Illinois at Urbana-Champaign, USA)<BR>
Xiangyu Zhang (Purdue University, USA)<BR>
<BR>
<BR>
<FONT COLOR="#222222">RV</FONT> STEERING COMMITTEE<BR>
<BR>
Howard Barringer (University of Manchester, UK)<BR>
Klaus Havelund (NASA/JPL, USA)<BR>
Gerard Holzmann (NASA/JPL, USA)<BR>
Insup Lee (University of Pennsylvania, USA)<BR>
Grigore Rosu (University of Illinois at Urbana-Champaign, USA)<BR>
Oleg Sokolsky (University of Pennsylvania, USA)<BR>
<BR>
<BR>
</SPAN></FONT></FONT>
</BODY>
</HTML>