[TYPES/announce] [fm-announcements] RV'11 San Francisco - Call for Participation
Havelund, Klaus (318M)
Klaus.Havelund at jpl.nasa.gov
Wed Aug 17 12:51:37 EDT 2011
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
- 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
- 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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Types-announce