Special Session on Debugging

  • Yoav Hollander
  • Alan Hu
  • João Lourenço
  • Ronny Morad
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6504)


In software, hardware, and embedded system domains, debugging is the process of locating and correcting faults in a system. Depending on the context, the various characteristics of debugging induce different challenges and solutions. Post-silicon hardware debugging, for example, needs to address issues such as limited visibility and controllability, while debugging software entails other issues, such as the handling of distributed or non-deterministic computation. The challenges that accompany such issues are the focus of many current research efforts. Solutions for debugging range from interactive tools to highly analytic techniques. We have seen great advances in debugging technologies in recent years, but bugs continue to occur, and debugging still encompasses significant portions of the lifecycles of many systems. The session covered state-of-the-art approaches as well as promising new research directions in both the hardware and software domains.


Formal Verification Concurrent Program Special Session Software Domain Current Research Effort 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Burger, M., Lehmann, K., Zeller, A.: Automated debugging in eclipse. In: OOPSLA Companion 2005, pp. 184–185 (2005)Google Scholar
  2. 2.
    De Paula, F.M., Gort, M., Hu, A.J., Wilton, S.J.E., Yang, J.: BackSpace: Formal Analysis for Post-Silicon Debug. In: Formal Methods in Computer-Aided Design (FMCAD), pp. 35–44. IEEE eXpress Publishing (2008)Google Scholar
  3. 3.
    Kuan, J., Wilton, S.J.E., Aamodt, T.M.: Accelerating Trace Computation in Post-Silicon Debug. In: 11th IEEE International Symposium on Quality Electronic Design (ISQED 2010), pp. 244–249 (2010)Google Scholar
  4. 4.
    Cunha, J.C., Lourenço, J., Duarte, V.: Debugging of parallel and distributed programs. Parallel program development for cluster computing. In: Advances Computation: Theory And Practice, vol. 5, pp. 97–129. Nova Science Publishers, Inc., Commack (2001)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Yoav Hollander
    • 1
  • Alan Hu
    • 2
  • João Lourenço
    • 3
  • Ronny Morad
    • 4
  1. 1.CadenceIsrael
  2. 2.University of British ColumbiaCanada
  3. 3.New University of LisbonPortugal
  4. 4.IBM ResearchHaifaIsrael

Personalised recommendations