[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] [fm-announcements] RV'11 San Francisco - Call forParticipation

                        CALL FOR PARTICIPATION

     2nd International Conference on Runtime Verification (RV)
                      September 27 - 30, 2011
                     San Francisco, California
                   at the Historic Fairmont Hotel


        ** Early registration deadline: September 4, 2011 **

The 2011 Runtime Verication conference is a forum for researchers and
industrial practitioners for presenting theories and tools for
monitoring and analysis of software or hardware system executions, as
well as a forum for presenting applications of such tools to practical
problems.  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.

RV 2011 is conducted over 4 days.  The first day offers 4 tutorials.
The remaining three days offer 6 invited talks, and presentation of 28
regular papers, short papers and tool demonstrations.


Dawson Engler, Stanford University
   Title: "Making finite verification of raw C code easier than writing a test case"

Cormac Flanagan, University of California, Santa Cruz
   Title: "Efficient and Precise Dynamic Detection of Destructive Races"

Wolfgang Grieskamp, Google
   Title: "Utilizing Protocol Contracts for Verifying Services in the Cloud"

Sharad Malik, Princeton University
   Title: "Runtime Verification: A Computer Architecture Perspective"

Vern Paxson, University of California, Berkeley
   Title: "Approaches and Challenges for Detecting Network Attacks in Real-Time"

Steven P. Reiss, Brown University
   Title: "What is My Program Doing?  Program Dynamics in Programmer's Terms"


- Internal versus External DSLs for Trace Analysis
  by: Howard Barringer and Klaus Havelund

- Runtime Monitoring of Time-sensitive Systems
  by: Borzoo Bonakdarpour and Sebastian Fischmeister

- Teaching Runtime Verification
  by: Martin Leucker

- Predicting Concurrency Failures in Generalized Traces of x86 Executables
  by: Chao Wang and Malay Ganai


The accommodation and conference venue is the Historic Fairmont Hotel,
San Francisco, California, USA.  A special rate has been secured for a
limited number of rooms at this gorgeous venue.  The hotel reservation
cut-off date is September 6, 2011.  Please see the conference website
for further details:



The registration is open at:


- Early registration fee, before or on 4 September: $575
- Late registration fee, after 4 September: $725

- Tutorial registration fee is $200 before or on September 4 and $300 after that


RV 2011 is providing a discount of $150 on the registration fee to


Program Chairs:
- Sarfraz Khurshid, University of Texas at Austin, USA
- Koushik Sen, University of California, Berkeley, USA

Local organization chairs:
- Jacob Burnim, University of California, Berkeley, USA
- Nicholas Jalbert, University of California, Berkeley, 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


RV 2011 is sponsored by:
- Microsoft Research
- The ARTIST Network of Excellence on Embedded Systems Design
- Intel
- Google
- The Penn Research in Embedded Computing and Integrated Systems
- Laboratory for Reliable Software at the Jet Propulsion Laboratory

We look forward to welcoming you at the 2nd International Conference
on Runtime Verification.