Skip to main content

HVC 2010
Haifa Verification Conference 2010

October 5-7, 2010
Organized by IBM R&D Labs in Israel

image: IBM and Haifa


Tutorials program PDF version for printing (566 KB)
Conference program PDF version for printing, day 1 (576 KB)
Conference program PDF version for printing, day 2 (572 KB)
Conference program PDF version for printing, day 3 (576 KB)
October 04, 2010 - Tutorials
Tutorial Location: CRI
10:00 Understanding Transactional Memory,
João Lourenço, New University of Lisbon
13:30 Challenges and Solutions in uCode Verification,
Eli Singerman, Intel
16:00 Testing and Debugging Concurrent Software – Challenges and Solutions,
Shmuel Ur
18:00End of Tutorials Day

October 05, 2010
09:30 Opening Remarks,
Oded Cohn, Director, IBM Research - Haifa
10:00 Special Session in Memory of Amir Pnueli
Session Chair: Martin Golumbic, University of Haifa

Personal Remarks,
David Harel, Weizmann Institute of Science

Temporal Logic and Model Checking,
Orna Grumberg, Technion
11:30 Parameterized System Verification,
Lenore Zuck, University of Illinois

Synthesis of Temporal Logic,
Roderick Bloem, Graz University of Technology
14:30 Invited Talk: (How) Did You Specify Your Test Suite?,
Helmut Veith, Vienna University of Technology
15:30 Paper Session I: Hardware Simulation
Session Chair: Alan Hu

Feedback-based Coverage-Directed Test Generation: An Industrial Evaluation,
Charalambos Ioannides, Geoff Barrett, and Kerstin Eder

winner of the best paper award
Reaching Coverage Closure in Post-Silicon Validation,
Allon Adir, Amir Nahir, Avi Ziv, Charles Meissner, and John Schumann
17:00 Paper Session II: Hardware Simulation
Session Chair: Eyal Bin

vlogsl: A Strategy Language for Simulation-based Verification of Hardware,
Michael Katelman and Jose Meseguer
Advances in Simultaneous Multithreading Testcase Generation Methods,
John Ludden, Michal Rimon, Bryan Hickerson, and Allon Adir
18:00Reception and Students Event

October 06, 2010
09:30 Special Session on Debugging
Session Chair: Ronny Morad

On Debugging,
Yoav Hollander, Cadence
Alan Hu, University of British Columbia

João Lourenço, New University of Lisbon
12:00 Invited Talk: Verification Failures: What to Do When Things Go Wrong,
Valeria Bertacco, University of Michigan
13:00 Paper Session III: Formal Verification
Session Chair: Ian Hariss

Debugging Unrealizable Specifications with Model-Based Diagnosis,
Robert Koenighofer, Georg Hofferek, and Roderick Bloem
Revisiting Synthesis of GR(1) Specifications,
Uri Klein and Amir Pnueli
14:00Take-away lunch and prepare for excursion
14:30Leave for excursion

October 07, 2010
09:00 HVC Award Presentation,
Clark Barrett, Leonardo De-Moura, Silvio Ranise, Aaron Stump, and Cesare Tinelli
10:00 Paper Session IV: Formal Verification
Session Chair: Kerstin Eder

SAT-Solving Based on Boundary Point Elimination,
Eugene Goldberg and Panagiotis Manolios

Parallelizing A Symbolic Compositional Model-Checking Algorithm,
Ariel Cohen, Kedar Namjoshi, Yaniv Sa'ar, Lenore Zuck, and Katya Kisyova
11:30 Invited Talk: Abstraction-Guided Synthesis of Synchronization,
Eran Yahav, IBM T.J. Watson Research Center
12:30 Invited Talk: Schizophrenic Perspective on Software Testing,
Yossi Gil, Technion
15:00Best Paper Award
15:15 Invited Talk: Static and Dynamic Verification Challenges in Securing Web Applications,
Omri Weisman, Watchfire
16:15 Paper Session V: Formal Verification
Session Chair: Orna Raz

An Efficient and Flexible Approach to Resolution Proof Reduction,
Simone Fulvio Rollini, Roberto Bruttomesso, and Natasha Sharygina

Variants of LTL Query Checking,
Hana Chockler, Arie Gurfinkel, and Ofer Strichman
17:15Closing Remarks

Contact Information

Proceedings Publication

Springer Lecture Notes in Computer Science