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

• 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

• Onn Shehory

  General Chair

• Kerstin Eder

  Program Co-Chair

• João Lourenço

  Program Co-Chair

• Yair Harry

  Webmaster

Springer Lecture Notes in Computer Science