Skip to main content


HVC 2011
Haifa Verification Conference 2011

December 6-8, 2011
Tutorials: December 5, 2011
Organized by IBM R&D Labs in Israel

image: IBM and Haifa


Accepted Papers

  • Predicting Serializability Violations: SMT-based Search vs. DPOR-based Search,
    Arnab Sinha, Sharad Malik, Chao Wang and Aarti Gupta, Princeton University, Virginia Polytechnic Institute and NEC Labs America
  • Synthesis with Clairvoyance,
    Orna Kupferman, Dorsa Sadigh and Sanjit Seshia, Hebrew University and UC Berkeley
  • Implicative Simultaneous Satisfiability and Applications,
    Zurab Khasidashvili and Alexander Nadel, Intel
  • Dynamic Test Data Generation for Data Intensive Applications,
    Tamer Salman, Allon Adir and Ronen Levy, IBM
  • Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads,
    Marijn Heule, Oliver Kullmann, Siert Wieringa and Armin Biere, TU Delft, Swansea University, Aalto University and Johannes Kepler University
  • Concurrent Small Progress Measures,
    Michael Huth, Jim Huan-Pu Kuo and Nir Piterman, Imperial College London and University of Leicester
  • SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs,
    Qichang Chen, Liqiang Wang and Zijiang Yang, University of Wyoming
  • Can File Level Characteristics Help Identify System Level Fault-Proneness?,
    Elaine Weyuker and Thomas Ostrand, AT&T Labs - Research
  • IIS-Guided DFS For Efficient Bounded Reachability Analysis of Linear Hybrid Automata,
    Lei Bu, Yang Yang and Xuandong Li, Nanjing University
  • Interpolation-based Function Summaries in Bounded Model Checking,
    Ondrej Sery, Grigory Fedyukovich and Natasha Sharygina, University of Lugano
  • Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns,
    Kenneth Johnson, Simon Reed and Radu Calinescu, Aston University
  • HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware,
    Marcela Simkova, Ondrej Lengal and Michal Kajan, Brno University of Technology
  • Reverse Coverage Analysis,
    Ariel Birnbaum, Laurent Fournier, Steve Mittermaier and Avi Ziv, IBM
  • Symbolic Testing of OpenCL Code,
    Peter Collingbourne, Cristian Cadar and Paul Kelly, Imperial College London
  • Liveness vs Safety - a practical viewpoint,
    B. A. Krishna, Jonathan Michelson, Vigyan Singhal and Alok Jain, Chelsio Communications Inc, Cisco Systems, Oski Technology and Cadence Design Systems
  • Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE,
    Yongjian Li, Naiju Zeng, William Hung and Xiaoyu Song, Chinese Academy of Sciences, Synopsys Inc. and Portland State University
  • Generalized Reactivity(1) Synthesis without a Monolithic Strategy,
    Matthias Schlaipfer, Georg Hofferek and Roderick Bloem, IAIK, Graz University of Technology
  • Injecting Floating-Point Testing Knowledge into Test Generators,
    Merav Aharoni, Emanuel Gofman, Elena Guralnik and Anatoly Koyfman, IBM

Contact Information

Proceedings Publication

Springer Lecture Notes in Computer Science



HVC 2011 Poster

HVC 2011 Poster