Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
RV 2011 - 2nd International Conference on Runtime Verification
Topics/Call fo Papers
International Conference on Runtime Verification (RV 2011)
September 27 - 30, 2011
San Francisco, California, USA
http://rv2011.eecs.berkeley.edu/
Runtime verification (RV) is concerned with monitoring and analysis of software or hardware system executions. 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 execution 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. Topics of interest include, but are not limited to:
1.
?program instrumentation techniques
2.
?specification languages for writing monitors
3.
?dynamic program slicing
4.
?record-and-replay
5.
?trace simplification for debugging
6.
?extraction of monitors from specifications
7.
?APIs for writing monitors
8.
?programming language constructs for monitoring
9.
?model-based monitoring and reconfiguration
10.
?the use of aspect oriented programming for dynamic analysis
11.
?algorithmic solutions to minimize runtime monitoring impact
12.
?combination of static and dynamic analysis
13.
?full program verification based on runtime verification
14.
?intrusion detection, security policies, policy enforcement
15.
?log file analysis
16.
?model-based test oracles
17.
?observation-based debugging techniques
18.
?fault detection and recovery
19.
?model-based integrated health management and diagnosis
20.
?program steering and adaptation
21.
?dynamic concurrency analysis
22.
?dynamic specification mining
23.
?metrics and statistical information gathered during runtime
24.
?program execution visualization
25.
?data structure repair for error recovery
26.
?parallel algorithms for efficient monitoring
27.
?monitoring for effective fault localization and program repair
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. In year 2010, RV became an international conference. Links to past RV events can be found at the permanent URL http://runtime-verification.org.
INVITED SPEAKERS
TBD
Talk titles will be made available on RV 2011 web page.
PAPER SUBMISSION
RV will have two research paper categories: regular and short papers. Papers in both categories will be reviewed by the conference Program Committee.
1.
?Regular papers (up to 15 pages) should present original unpublished results. Applications of runtime verification are particularly welcome. A Best Paper Award (USD 300) will be offered.
2.
?Short papers (up to 5 pages) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. Accepted short papers will be presented in special short talk (5-10 minutes) and poster sessions.
In addition to short and regular papers, proposals for tutorials and tool demonstrations are welcome. Proposals should be up to 2 pages long.
1.
?Tutorial proposals on any of the topics above, as well as on topics at the boundary between RV and other domains, are welcome. Accepted tutorials will be allocated up to 15 pages in the conference proceedings. Tutorial presentations will be at least 2 hours.
2.
?Tool demonstration proposals should briefly introduce the problem solved by the tool and give the outline of the demonstration. Tool papers will be allocated 5 pages in the conference proceedings. A Best Tool Award (USD 200) will be offered.
Submitted tutorial and tool demonstration proposals will be evaluated by the corresponding chairs, with the help of selected reviewers.
All accepted papers, including tutorial and tool papers, will appear in the LNCS proceedings. Submitted papers must use the LNCS style. At least one author of each accepted paper must attend RV'11 to present the paper. Papers must be submitted electronically using the EasyChair system. A link to the electronic submission page will be made available on the RV'11 web page.
IMPORTANT DATES
June 5, 2011 - Submission of regular and short papers
June 12, 2011 - Submission of tutorial and tool demonstration proposals
July 24, 2011 - Notification for regular, short, and tool papers
August 21, 2011 - Submission of camera-ready versions of accepted papers
September 27-30, 2011 - RV 2011 Conference and tutorials
ORGANIZERS
Programme committee chairs:
Sarfraz Khurshid (University of Texas at Austin, USA)
Koushik Sen (University of California at Berkeley, USA)
Local organization chairs:
Jacob Burnim (University of California at Berkeley, USA)
Nicholas Jalbert (University of California at Berkeley, USA)
PROGRAM COMMITTEE
Howard Barringer (University of Manchester, UK)
Eric Bodden (Technical University Darmstadt, Germany)
Rance Cleaveland (University of Maryland, USA)
Mads Dam (Kungliga Tekniska högskolan, Sweden)
Brian Demsky (University of California at Irvine, USA)
Bernd Finkbeiner (Saarland University, Germany)
Cormac Flanagan (University of California at Santa Cruz, USA)
Patrice Godefroid (Microsoft Research Redmond, USA)
Jean Goubault-Larrecq (ENS Cachan, France)
Susanne Graf (Verimag, France)
Radu Grosu (State University of New York at Stony Brook, USA)
Lars Grunske (University of Kaiserslautern, Germany)
Aarti Gupta (NEC Laboratories America, USA)
Rajiv Gupta (University of California at Riverside, USA)
Klaus Havelund (NASA/JPL, USA)
Mats Heimdahl (University of Minnesota, USA)
Gerard Holzmann (NASA/JPL, USA)
Sarfraz Khurshid (University of Texas at Austin, USA) (co-chair)
Viktor Kuncak (École Polytechnique Fédérale De Lausanne, Switzerland)
Kim Larsen (Aalborg University, Denmark)
Martin Leucker (University of Luebeck, Germany)
Rupak Majumdar (Max Planck Institute Germany and University of California at Los Angeles USA)
Greg Morrisett (Harvard University, USA)
Mayur Naik (Intel Berkeley Labs, USA)
Brian Nielsen (Aalborg University, Denmark)
Klaus Ostermann (University of Marburg, Germany)
Corina Pasareanu (NASA Ames, USA)
Wim De Pauw (IBM T. J. Watson, USA)
Doron Peled (Bar Ilan University, Israel)
Suzette Person (NASA Langley, USA)
Gilles Pokam (Intel, Santa Clara, USA)
Shaz Qadeer (Microsoft Research Redmond, USA)
Derek Rayside (University of Waterloo, Canada)
Grigore Rosu (University of Illinois at Urbana-Champaign, USA)
Wolfram Schulte (Microsoft Research Redmond, USA)
Manu Sridharan (IBM T. J. Watson, USA)
Koushik Sen (University of California, Berkeley, USA) (co-chair)
Peter Sestoft (IT University of Copenhagen, Denmark)
Scott Smolka (State University of New York at Stony Brook, USA)
Oleg Sokolsky (University of Pennsylvania, USA)
Mana Taghdiri (Karlsruhe Institute of Technology, Germany)
Serdar Tasiran (Koc University, Turkey)
Nikolai Tillmann (Microsoft Research Redmond, USA)
Shmuel Ur (Shmuel Ur Innovation, Israel)
Willem Visser (University of Stellenbosch, South Africa)
Mahesh Viswanathan (University of Illinois at Urbana-Champaign, USA)
Xiangyu Zhang (Purdue University, USA)
RV STEERING COMMITTEE
Howard Barringer (University of Manchester, UK)
Klaus Havelund (NASA/JPL, USA)
Gerard Holzmann (NASA/JPL, USA)
Insup Lee (University of Pennsylvania, USA)
Grigore Rosu (University of Illinois at Urbana-Champaign, USA)
Oleg Sokolsky (University of Pennsylvania, USA)
September 27 - 30, 2011
San Francisco, California, USA
http://rv2011.eecs.berkeley.edu/
Runtime verification (RV) is concerned with monitoring and analysis of software or hardware system executions. 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 execution 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. Topics of interest include, but are not limited to:
1.
?program instrumentation techniques
2.
?specification languages for writing monitors
3.
?dynamic program slicing
4.
?record-and-replay
5.
?trace simplification for debugging
6.
?extraction of monitors from specifications
7.
?APIs for writing monitors
8.
?programming language constructs for monitoring
9.
?model-based monitoring and reconfiguration
10.
?the use of aspect oriented programming for dynamic analysis
11.
?algorithmic solutions to minimize runtime monitoring impact
12.
?combination of static and dynamic analysis
13.
?full program verification based on runtime verification
14.
?intrusion detection, security policies, policy enforcement
15.
?log file analysis
16.
?model-based test oracles
17.
?observation-based debugging techniques
18.
?fault detection and recovery
19.
?model-based integrated health management and diagnosis
20.
?program steering and adaptation
21.
?dynamic concurrency analysis
22.
?dynamic specification mining
23.
?metrics and statistical information gathered during runtime
24.
?program execution visualization
25.
?data structure repair for error recovery
26.
?parallel algorithms for efficient monitoring
27.
?monitoring for effective fault localization and program repair
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. In year 2010, RV became an international conference. Links to past RV events can be found at the permanent URL http://runtime-verification.org.
INVITED SPEAKERS
TBD
Talk titles will be made available on RV 2011 web page.
PAPER SUBMISSION
RV will have two research paper categories: regular and short papers. Papers in both categories will be reviewed by the conference Program Committee.
1.
?Regular papers (up to 15 pages) should present original unpublished results. Applications of runtime verification are particularly welcome. A Best Paper Award (USD 300) will be offered.
2.
?Short papers (up to 5 pages) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. Accepted short papers will be presented in special short talk (5-10 minutes) and poster sessions.
In addition to short and regular papers, proposals for tutorials and tool demonstrations are welcome. Proposals should be up to 2 pages long.
1.
?Tutorial proposals on any of the topics above, as well as on topics at the boundary between RV and other domains, are welcome. Accepted tutorials will be allocated up to 15 pages in the conference proceedings. Tutorial presentations will be at least 2 hours.
2.
?Tool demonstration proposals should briefly introduce the problem solved by the tool and give the outline of the demonstration. Tool papers will be allocated 5 pages in the conference proceedings. A Best Tool Award (USD 200) will be offered.
Submitted tutorial and tool demonstration proposals will be evaluated by the corresponding chairs, with the help of selected reviewers.
All accepted papers, including tutorial and tool papers, will appear in the LNCS proceedings. Submitted papers must use the LNCS style. At least one author of each accepted paper must attend RV'11 to present the paper. Papers must be submitted electronically using the EasyChair system. A link to the electronic submission page will be made available on the RV'11 web page.
IMPORTANT DATES
June 5, 2011 - Submission of regular and short papers
June 12, 2011 - Submission of tutorial and tool demonstration proposals
July 24, 2011 - Notification for regular, short, and tool papers
August 21, 2011 - Submission of camera-ready versions of accepted papers
September 27-30, 2011 - RV 2011 Conference and tutorials
ORGANIZERS
Programme committee chairs:
Sarfraz Khurshid (University of Texas at Austin, USA)
Koushik Sen (University of California at Berkeley, USA)
Local organization chairs:
Jacob Burnim (University of California at Berkeley, USA)
Nicholas Jalbert (University of California at Berkeley, USA)
PROGRAM COMMITTEE
Howard Barringer (University of Manchester, UK)
Eric Bodden (Technical University Darmstadt, Germany)
Rance Cleaveland (University of Maryland, USA)
Mads Dam (Kungliga Tekniska högskolan, Sweden)
Brian Demsky (University of California at Irvine, USA)
Bernd Finkbeiner (Saarland University, Germany)
Cormac Flanagan (University of California at Santa Cruz, USA)
Patrice Godefroid (Microsoft Research Redmond, USA)
Jean Goubault-Larrecq (ENS Cachan, France)
Susanne Graf (Verimag, France)
Radu Grosu (State University of New York at Stony Brook, USA)
Lars Grunske (University of Kaiserslautern, Germany)
Aarti Gupta (NEC Laboratories America, USA)
Rajiv Gupta (University of California at Riverside, USA)
Klaus Havelund (NASA/JPL, USA)
Mats Heimdahl (University of Minnesota, USA)
Gerard Holzmann (NASA/JPL, USA)
Sarfraz Khurshid (University of Texas at Austin, USA) (co-chair)
Viktor Kuncak (École Polytechnique Fédérale De Lausanne, Switzerland)
Kim Larsen (Aalborg University, Denmark)
Martin Leucker (University of Luebeck, Germany)
Rupak Majumdar (Max Planck Institute Germany and University of California at Los Angeles USA)
Greg Morrisett (Harvard University, USA)
Mayur Naik (Intel Berkeley Labs, USA)
Brian Nielsen (Aalborg University, Denmark)
Klaus Ostermann (University of Marburg, Germany)
Corina Pasareanu (NASA Ames, USA)
Wim De Pauw (IBM T. J. Watson, USA)
Doron Peled (Bar Ilan University, Israel)
Suzette Person (NASA Langley, USA)
Gilles Pokam (Intel, Santa Clara, USA)
Shaz Qadeer (Microsoft Research Redmond, USA)
Derek Rayside (University of Waterloo, Canada)
Grigore Rosu (University of Illinois at Urbana-Champaign, USA)
Wolfram Schulte (Microsoft Research Redmond, USA)
Manu Sridharan (IBM T. J. Watson, USA)
Koushik Sen (University of California, Berkeley, USA) (co-chair)
Peter Sestoft (IT University of Copenhagen, Denmark)
Scott Smolka (State University of New York at Stony Brook, USA)
Oleg Sokolsky (University of Pennsylvania, USA)
Mana Taghdiri (Karlsruhe Institute of Technology, Germany)
Serdar Tasiran (Koc University, Turkey)
Nikolai Tillmann (Microsoft Research Redmond, USA)
Shmuel Ur (Shmuel Ur Innovation, Israel)
Willem Visser (University of Stellenbosch, South Africa)
Mahesh Viswanathan (University of Illinois at Urbana-Champaign, USA)
Xiangyu Zhang (Purdue University, USA)
RV STEERING COMMITTEE
Howard Barringer (University of Manchester, UK)
Klaus Havelund (NASA/JPL, USA)
Gerard Holzmann (NASA/JPL, USA)
Insup Lee (University of Pennsylvania, USA)
Grigore Rosu (University of Illinois at Urbana-Champaign, USA)
Oleg Sokolsky (University of Pennsylvania, USA)
Other CFPs
Last modified: 2011-04-06 15:14:33