home · mobile · calendar · defenses · 1997-1998 · 

Thesis Defense - Kadhim

Debugger Generation in a Compiler Generation System
Basim Kadhim
Computer Science PhD Candidate

Compiler generation systems have contributed significantly to our ability to quickly and reliably develop translators for languages that include small domain-specific languages, preprocessor extensions to existing languages, and full blown compilers. With these new translators and languages comes a need for programming support tools, such as debuggers. This research describes and demonstrates a framework for generating debuggers quickly and reliably from specifications. This includes the ability to modify translators in support of debugging. The framework consists of a number of adaptations and additions to a compiler generation system to support the construction of debuggers. This research shows that using the same set of tools when generating debuggers and translators allows significant reuse of specifications.

Committee: William Waite, Professor (Chair)
Benjamin Zorn, Associate Professor
Dirk Grunwald, Associate Professor
Alexander Wolf, Assistant Professor
Vincent Heuring, Department of Electrical and Computer Engineering
Department of Computer Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA
May 5, 2012 (14:20)