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


Invited Speakers and Special Sessions

Special session On debugging:

In software, hardware, and embedded system domains, debugging is the process of locating and correcting faults in a system. The different characteristics of debugging contexts induce different challenges and solutions. Post-silicon hardware debugging, for example, needs to address issues like limited visibility and controllability, while in the software domain other issues, such as handling distributed or non-deterministic computation, are the focus of much current research efforts. Solutions for debugging range from interactive tools to highly analytic techniques. In recent years, there have been great advances in debugging technologies, but bugs still occur, and debugging still takes up a significant portion of the lifecycle of a system.

This session will cover state-of-the-art debugging approaches as well as promising new research directions in both the hardware and software domains. Speakers include experts from both academia and industry.

Yoav Hollander, chief technology officer of the Verification Division in Cadence, will discuss some of the challenges of hardware-software and multi-core debugging with an emphasis on automatic debugging, i.e., using computer resources to make debugging easier.

Prof. Alan Hu of the University of British Columbia in Canada will discuss the latest advances in BackSpace, a revolutionary approach to post-silicon debugging. BackSpace allows the real silicon to run actual applications at full speed on a real system, yet has the capability to stop at any point and run backwards, computing the execution trace that led to a bug, much like a software debugger.

João Lourenço, assistant professor at the New University of Lisbon, Portugal, will cover software debugging for sequential programs and parallel and distributed programs.

Contact Information

Proceedings Publication

Springer Lecture Notes in Computer Science