16-20 Jul 2011
Snowbird UT, U.S.A.
CALL FOR PARTICIPATION
23rd International Conference on Computer Aided Verification (CAV 2011)
CAV Workshops NSV, PDMC, EC2, FAC, SMT, SPIN, FM-R, PSY
Cliff Lodge, Snowbird, Utah, USA
http://www.cs.utah.edu/cav2011
REGISTRATION/LODGING FOR CAV AND WORKSHOPS
. Early Registration Deadline : June 20, 2011 [room block likely to be exhausted June 13]
HIGHLIGHTS OF CAV, JULY 16-20
. 35 regular papers, 20 tool papers, 4 invited talks, 4 tutorials
. Details at http://www.cs.utah.edu/cav2011
CAV INVITED SPEAKERS
. Andy Chou, Coverity Inc., "Static Analysis Tools in Industry: Notes from the Front Line"
. Vigyan Singhal, Oski Technology Inc., "Deploying Formal in a Simulation World"
. Vikram Adve, Illinois, "Parallel Programming Should Be - and Can Be - Determinstic by Default
. Rolf Ernst, Univ of Braunschweig, "Analysis in Automotive Systems Design - a Rocky Ride to New Grounds"
CAV TUTORIAL SPEAKERS
. Vijay Ganesh, MIT, "HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection"
. Ranjit Jhala, UCSD, "Using Types For Software Verification"
. Shuvendu Lahiri, Microsoft Research, "SMT-based Modular Analysis of Sequential Systems Code"
. Andre Platzer, CMU, "Logic and Compositional Verification of Hybrid Systems"
INVITED SPEAKERS OF PRE-CAV WORKSHOPS, JULY 14-15
. NSV 2011: The Fourth International Workshop on Numerical Software Verification
- James Demmel, Berkeley
- Thomas Gawlitza, INRIA Rhônes-Alpes
. PDMC 2011: 10th International Workshop on Parallel and Distributed Methods in Verifications
- Lubos Brim, Brno
- Orna Grumberg, Technion
- Kim G. Larsen, Aalborg
- Jaco van de Pol, Twente
- Moshe Vardi, Rice
. EC2 2011: The Fourth International Workshop on Exploiting Concurrency Efficiently and Correctly
- Tom Ball, MSR Redmond
- Martin Berzins, Univ of Utah
- Guy Blelloch, CMU
- Johannes Gehrke, Cornell
- Murali Talupur, Intel
- Richard Vuduc, GaTech
. FAC 2011: Frontiers in Analog Circuit Synthesis and Verification
- Christoph Grimm, TU Wein
- Mark Horowitz, Stanford
- Robert Hum, Mentor Graphics
- Mahai Marcu, Agilent
- Rob Rutenbar, Illinois
- Gergory Taylor, Intel
. SMT 2011: International Workshop on Satisfiability Modulo Theories, including SMT-COMP
- Viktor Kuncak, EPFL
- Bud Mishra, NYU
. SPIN 2011: 18th International SPIN Workshop on Model Checking of Software
- Jasmin Fisher, MSR Cambridge
- John Regehr, Univ of Utah
. FM-R 2011: Formal Methods for Robotics and Automation
- Rajeev Alur, U Penn
- Calin Belta, Boston U
- Krishnendu Chatterjee, IST
- Oded Maler, IMAG
- Moshe Vardi, Rice
. PSY 2011: Practical Synthesis for Concurrent Systems
- Rajeev Alur, U Penn
- Bernd Finkbeiner, Saarland U
- Viktor Kuncak, EPFL
- Doug Smith, Kestrel
- Armando Solar-Lezama, MIT
PROGRAM CO-CHAIRS
. Ganesh Gopalakrishnan, University of Utah, USA
. Shaz Qadeer, Microsoft Research, USA
ARRANGEMENTS
. Local Arrangements Chair: Eric Mercer, BYU, USA
. Workshops Chair: Neha Rungta, NASA Ames Res. Ctr, USA
. Publicity Chair: Sandip Ray, UT Austin, USA
. Webmaster: Geof Sawaya, Univ. of Utah, USA
WORKSHOP CHAIRS
* NSV: Eric Goubault (CEA LIST), Sylvie Putot (CEA LIST),
Stefan Ratschan (Acad. Science), Sriram Sankaranarayanan (UC Boulder)
* PDMC: Jiri Barnat (Masaryk U), Keijo Heljanko (Aalto U)
* EC2: Sebastian Burkhardt (MSR), Swarat Chaudhuri (Rice U),
Azadeh Farzan (U Toronto), Ganesh Gopalakrishnan (U Utah),
Stephen Siegel (U Delaware), Helmut Veith (TU Wein)
* FAC: Chris Myers (U Utah), Kevin Jones (Univ London)
* SMT: Shuvendu Lahiri (MSR), Sanjit Seshia (Berkeley)
* SPIN: Alex Groce (Oregon State U), Madan Musuvathi (MSR)
* FM-R: Hadas Kress-Gazit (Cornell U), Nir Piterman (U of Leicester)
* PSY: Martin Vechev (IBM TJ Watson), Eran Yahav (Technion)
STEERING COMMITTEE
. Michael J.C. Gordon, Cambridge
. Orna Grumberg, Technion
. Robert Kurshan, Cadence Inc
. Kenneth L. McMillan, Microsoft Research
SPONSORS
. Coverity, Google, IBM, Intel, Jasper, Microsoft Research, NEC, Nvidia, NSF