<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><span id="OLK_SRC_BODY_SECTION"><div class="gmail_quote"><div><div class="h5"> CALL FOR PARTICIPATION<br><br>
2nd International Conference on Runtime Verification (RV)<br>
September 27 - 30, 2011<br>
San Francisco, California<br>
at the Historic Fairmont Hotel<br><br>
<a href="http://rv2011.eecs.berkeley.edu" target="_blank">http://rv2011.eecs.berkeley.edu</a><br><br>
** Early registration deadline: September 4, 2011 **<br><br><br>
The 2011 Runtime Verication conference is a forum for researchers and<br>
industrial practitioners for presenting theories and tools for<br>
monitoring and analysis of software or hardware system executions, as<br>
well as a forum for presenting applications of such tools to practical<br>
problems. The field is often referred to under different names, such<br>
as runtime verification, runtime monitoring, runtime checking, runtime<br>
reflection, runtime analysis, dynamic analysis, runtime symbolic<br>
analysis, trace analysis, log file analysis, etc. RV can be used for<br>
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 running<br>
system can be abstractly regarded as a generator of execution traces,<br>
i.e., sequences of relevant states or events. Traces can be processed<br>
in various ways, e.g., checked against formal specifications, analyzed<br>
with special algorithms, visualized, etc.<br><br>
RV 2011 is conducted over 4 days. The first day offers 4 tutorials.<br>
The remaining three days offer 6 invited talks, and presentation of 28<br>
regular papers, short papers and tool demonstrations.<br><br><br>
INVITED SPEAKERS:<br><br>
Dawson Engler, Stanford University<br>
Title: "Making finite verification of raw C code easier than writing a test case"<br><br>
Cormac Flanagan, University of California, Santa Cruz<br>
Title: "Efficient and Precise Dynamic Detection of Destructive Races"<br><br>
Wolfgang Grieskamp, Google<br>
Title: "Utilizing Protocol Contracts for Verifying Services in the Cloud"<br><br>
Sharad Malik, Princeton University<br>
Title: "Runtime Verification: A Computer Architecture Perspective"<br><br>
Vern Paxson, University of California, Berkeley<br>
Title: "Approaches and Challenges for Detecting Network Attacks in Real-Time"<br><br>
Steven P. Reiss, Brown University<br>
Title: "What is My Program Doing? Program Dynamics in Programmer's Terms"<br><br><br>
TUTORIALS:<br><br>
- Internal versus External DSLs for Trace Analysis<br> by: Howard Barringer and Klaus Havelund<br><br></div></div><div class="im">- Runtime Monitoring of Time-sensitive Systems<br> by: Borzoo Bonakdarpour and Sebastian Fischmeister<br><br>
- Teaching Runtime Verification<br> by: Martin Leucker<br><br>
- Predicting Concurrency Failures in Generalized Traces of x86 Executables<br> by: Chao Wang and Malay Ganai<br><br><br></div><div><div></div><div class="h5">VENUE:<br><br>
The accommodation and conference venue is the Historic Fairmont Hotel,<br>
San Francisco, California, USA. A special rate has been secured for a<br>
limited number of rooms at this gorgeous venue. The hotel reservation<br>
cut-off date is September 6, 2011. Please see the conference website<br>
for further details:</div></div></div></span><div><br></div><span id="OLK_SRC_BODY_SECTION"><div class="gmail_quote"><div><div class="h5">
<a href="http://rv2011.eecs.berkeley.edu/Book_Hotel.html" target="_blank">http://rv2011.eecs.berkeley.edu/Book_Hotel.html</a><br><br><br>REGISTRATION:<br><br>
The registration is open at:</div></div></div></span><div><br></div><span id="OLK_SRC_BODY_SECTION"><div class="gmail_quote"><div><div class="h5">
<a href="http://rv2011.eecs.berkeley.edu/Registration.html" target="_blank">http://rv2011.eecs.berkeley.edu/Registration.html</a><br><br>- Early registration fee, before or on 4 September: $575<br>
- Late registration fee, after 4 September: $725<br><br>
- Tutorial registration fee is $200 before or on September 4 and $300 after that<br><br><br>
STUDENTS:<br><br>
RV 2011 is providing a discount of $150 on the registration fee to<br>
students.<br><br><br>
ORGANIZATION:<br><br>
Program Chairs:<br>
- Sarfraz Khurshid, University of Texas at Austin, USA<br>
- Koushik Sen, University of California, Berkeley, USA<br><br>
Local organization chairs:<br>
- Jacob Burnim, University of California, Berkeley, USA<br>
- Nicholas Jalbert, University of California, Berkeley, USA<br><br>
RV Steering Committee:<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>
SPONSORS:<br><br>
RV 2011 is sponsored by:<br>
- Microsoft Research<br>
- The ARTIST Network of Excellence on Embedded Systems Design<br>
- Intel<br>
- Google<br>
- The Penn Research in Embedded Computing and Integrated Systems<br>
- Laboratory for Reliable Software at the Jet Propulsion Laboratory<br><br>We look forward to welcoming you at the 2nd International Conference<br>
on Runtime Verification.<br></div></div></div></span><div><br></div><span id="OLK_SRC_BODY_SECTION"><div class="gmail_quote"><div><div class="h5">
==========================</div></div></div></span><div><br></div><span id="OLK_SRC_BODY_SECTION"><div class="gmail_quote"><div><div class="h5"><br></div></div></div></span></body></html>