Tenth International Conference on
Verification, Model Checking, and Abstract Interpretation
January 18-20, 2009
Savannah, GA, USA (co-located with POPL 2009)
Accepted Papers
- Christos Dimoulas and Mitchell Wand. The Higher-order Aggregate Update Problem
- Patrice Godefroid and Nir Piterman. LTL Generalized Model Checking Revisited
- Rotem Oshman. An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking
- Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman and David Parker. Abstraction Refinement for Probabilistic Software
- Dilian Gurov and Marieke Huisman. Reducing Behavioural to Structural Properties of Programs with Procedures
- William Benton and Charles Fischer. Mostly-functional Behavior in Java Programs
- Radu Siminiceanu, Andy Galloway, Gerald Luettgen and Tobias Muehlberg. Model-Checking the Linux Virtual File System
- Michal Rutkowski, Marcin Jurdzinski and Ranko Lazic. Average-Price/Reward Games on Hybrid Automata with Strong Resets
- Johannes Kinder, Helmut Veith and Florian Zuleger. An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
- Matthew Might and Panagiotis Manolios. A Posteriori Soundness for Non-deterministic Abstract Interpretations
- Ralf Wimmer, Bettina Braitling and Bernd Becker. Counterexample Generation for Discrete-time Markov Chains using Bounded Model Checking
- Andreas Holzer, Christian Schallhart, Michael Tautschnig and Helmut Veith. Query-Driven Program Testing
- Nicholas Kidd, Thomas Reps, Julian Dolby and Mandana Vaziri. Finding Concurrency-Related Bugs using Random Isolation
- Hasan Amjad and Richard Bornat. Towards Automatic Stability Analysis for Rely-Guarantee Proofs
- Thomas Wahl and Richard Trefler. Extending Symmetry Reduction by Exploiting System Architecture
- Vincent Laviron and Francesco Logozzo. SubPolyhedra : A (More) Scalable Approach to Infer Linear Inequalities
- Kousha Etessami and Patrice Godefroid. An Abort-Aware Model of Transactional Programming
- Viktor Vafeiadis. Shape-value Abstraction for Verifying Linearizability
- Sumit Gulwani, Saurabh Srivastava and Ramarathnam Venkatesan. Constraint-based Invariant Inference over Predicate Abstraction
- Ou Wei, Arie Gurfinkel and Marsha Chechik. Mixed Transition Systems Revisited
- Ankur Taly, Sumit Gulwani and Ashish Tiwari. Synthesizing Switching Logic using Constraint Solving
- Kalpana Gondi, Yogeshkumar Patel and A. Prasad Sistla. Monitoring the Full Range of Omega-regular Properties of Stochastic Systems
- Patrick Maier. Deciding Extensions of the Theories of Vectors and Bags
- Zvonimir Rakamaric and Alan Hu. A Scalable Memory Model for Low-Level Code