Welcome to RV 2012
Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness and reliability; they are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for verification and debugging purposes, and after deployment for ensuring reliability, safety and security, and for providing fault containment and recovery.Topics:
|
Accepted papers will be published in LNCS.
History:
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
- Jim Larus (Principal Researcher, Microsoft Research):
"Programming the Cloud" - Martin Rinard (Professor, Department of Electrical Engineering and Computer Science, MIT):
"From Runtime Verification to Runtime Intervention and Adaptation" - Giovanni Vigna (Professor, Department of Computer Science, UCSB):
Malware Riding Badware: Challenges in Analyzing (Malicious/Benign) Web Applications
INVITED TUTORIALS
- John Erickson, Stephen N. Freund and Madan Musuvathi: Dynamic analysis of concurrency
- Cristian Cadar and Koushik Sen: Symbolic execution
Important Dates
- May 27, 2012 - Abstract submission
- June 3, 2012 - Paper submission
- July 29, 2012 - Author notification
- August 19, 2012 - Camera-ready
- September 25, 2012 - Tutorial Day
- September 26-28, 2012 - Conference
Chairs and Organizers
General chair:
Serdar Tasiran (Koc University, Turkey)
Program chair:
Shaz Qadeer (Microsoft Research, USA)
Program Committee
Howard Barringer (University of Manchester)Saddek Bensalem (VERIMAG)
Eric Bodden (EC SPRIDE)
Cristian Cadar (Imperial College)
Yliès Falcone (University of Grenoble)
Bernd Finkbeiner (Saarland University)
Stephen Freund (Williams College)
Ganesh Gopalakrishnan (University of Utah)
Wolfgang Grieskamp (Google)
Sylvain Hallé (Université du Québec à Chicoutimi)
Klaus Havelund (NASA Jet Propulsion Laboratory)
Suresh Jagannathan (Purdue University)
Sarfraz Khurshid (University of Texas at Austin)
Martin Leucker (University of Luebeck)
Benjamin Livshits (Microsoft Research)
Shan Lu (University of Wisconsin)
Rupak Majumdar (MPI-SWS)
Oded Maler (VERIMAG)
Sharad Malik (Princeton University)
Atif Memon (University of Maryland)
Peter Müller (ETH Zurich)
Shaz Qadeer (Microsoft Research)
Venkatesh-Prasad Ranganath (Microsoft Research)
Vivek Sarkar (Rice University)
Koushik Sen (University of California at Berkeley)
Oleg Sokolsky (University of Pennsylvania)
Serdar Tasiran (Koc University)
Stavros Tripakis (University of California at Berkeley)
Martin Vechev (ETH Zurich)
Willem Visser (Stellenbosch University)
Zheng Zhang (Microsoft Research)