<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; color: rgb(0, 0, 0); font-size: 18px; font-family: Calibri, sans-serif; "><div><br></div><div><span class="Apple-style-span" style="font-size: 13px; border-collapse: collapse; font-family: arial, sans-serif; ">2nd Call for Papers and Tutorials<br><br>International Conference on Runtime Verification (RV 2011)<br>September 27 - 30, 2011<br>San Francisco, California, USA<br><a href="http://rv2011.eecs.berkeley.edu/" target="_blank" style="color: rgb(195, 57, 11); ">http://rv2011.eecs.berkeley.<wbr>edu/</a><br><br>Runtime verification (RV) is concerned with monitoring and analysis of<br>software or hardware system executions. The field is often referred<br>to under different names, such as runtime verification, runtime<br>monitoring, runtime checking, runtime reflection, runtime analysis,<br>dynamic analysis, runtime symbolic analysis, trace analysis, log file<br>analysis, etc. RV can be used for many purposes, such as security or<br>safety policy monitoring, debugging, testing, verification,<br>validation, profiling, fault protection, behavior modification (e.g.,<br>recovery), etc. A running system can be abstractly regarded as a<br>generator of execution traces, i.e., sequences of relevant states or<br>events. Traces can be processed in various ways, e.g., checked against<br>formal specifications, analyzed with special algorithms, visualized,<br>etc. Topics of interest include, but are not limited to:<br><br>* program instrumentation techniques<br>* specification languages for writing monitors<br>* dynamic program slicing<br>* record-and-replay<br>* trace simplification for debugging<br>* extraction of monitors from specifications<br>* APIs for writing monitors<br>* programming language constructs for monitoring<br>* model-based monitoring and reconfiguration<br>* the use of aspect oriented programming for 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 for error recovery<br>* parallel algorithms for efficient monitoring<br>* monitoring for effective fault localization and program repair<br><br>The RV series of events started in 2001, as an annual workshop. The<br>RV'01 to RV'05 proceedings were published in ENTCS. Since 2006, the<br>RV proceedings have been published in LNCS. In year 2010, RV became<br>an international conference. Links to past RV events can be found at<br>the permanent URL:</span></div><div><span class="Apple-style-span" style="font-size: 13px; border-collapse: collapse; font-family: arial, sans-serif; "><br> <a href="http://runtime-verification.org/" target="_blank" style="color: rgb(195, 57, 11); ">http://runtime-verification.<wbr>org</a><br><br><br>INVITED SPEAKERS<br>TBD<br><br>Talk titles will be made available on RV 2011 web page.<br><br><br>PAPER SUBMISSION<br><br>RV will have two research paper categories: regular and short<br>papers. Papers in both categories will be reviewed by the conference<br>Program Committee.<br><br>* Regular papers (up to 15 pages) should present original unpublished<br>results. Applications of runtime verification are particularly<br>welcome. A Best Paper Award (USD 300) will be offered.<br><br>* Short papers (up to 5 pages) may present novel but not necessarily<br>thoroughly worked out ideas, for example emerging runtime verification<br>techniques and applications, or techniques and applications that<br>establish relationships between runtime verification and other<br>domains. Accepted short papers will be presented in special short<br>talk (5-10 minutes) and poster sessions.<br><br>In addition to short and regular papers, proposals for tutorials and<br>tool demonstrations are welcome. Proposals should be up to 2 pages<br>long.<br><br>* Tutorial proposals on any of the topics above, as well as on topics<br>at the boundary between RV and other domains, are welcome. Accepted<br>tutorials will be allocated up to 15 pages in the conference<br>proceedings. Tutorial presentations will be at least 2 hours.<br><br>* Tool demonstration proposals should briefly introduce the problem<br>solved by the tool and give the outline of the demonstration. Tool<br>papers will be allocated 5 pages in the conference proceedings. A Best<br>Tool Award (USD 200) will be offered.<br><br>Submitted tutorial and tool demonstration proposals will be evaluated<br>by the corresponding chairs, with the help of selected reviewers.<br><br>All accepted papers, including tutorial and tool papers, will appear<br>in the LNCS proceedings. Submitted papers must use the LNCS style.<br>At least one author of each accepted paper must attend RV'11 to<br>present the paper. Papers must be submitted electronically using the<br>EasyChair system. A link to the electronic submission page will be<br>made available on the RV'11 web page.<br><br><br>IMPORTANT DATES<br><br>June 5, 2011 - Submission of regular and short papers<br>June 12, 2011 - Submission of tutorial and tool demonstration proposals<br>July 24, 2011 - Notification for regular, short, and tool papers<br>August 21, 2011 - Submission of camera-ready versions of accepted papers<br>September 27-30, 2011 - RV 2011 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>Wim De Pauw (IBM T. J. Watson, 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>RV 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></div></body></html>