VMCAI 09 accepted paper and their link

• 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