Interactive source-level debugging for optimized programs (compilation, high-level)

Source level debugging of automatically parallelized code

PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging

A new approach to debugging optimized code

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation

Debugging optimized code with dynamic deoptimization

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation

Evicted variables and the interaction of global register allocation and symbolic debugging

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Source-level debugging of scalar optimized code

PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation

Debugging highly-optimized Ada with code motion (DHACM)

Proceedings of the conference on TRI-Ada '97

CORAL II: linking behavior and structure in an IC design system

DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference

A new framework for debugging globally optimized code

Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation

Recompilation for debugging support in a JIT-compiler

Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

Issues in debugging highly parallel FPGA-based applications derived from source code

ASP-DAC '03 Proceedings of the 2003 Asia and South Pacific Design Automation Conference

Stack virtualization for source level debugging

Software—Practice & Experience

Non-transparent debugging for software-pipelined loops

CASES '07 Proceedings of the 2007 international conference on Compilers, architecture, and synthesis for embedded systems

Grammar-driven generation of domain-specific language debuggers

Software—Practice & Experience

WYSINWYX: What You See Is Not What You eXecute

Verified Software: Theories, Tools, Experiments

Debugging aspect-enabled programs

SC'07 Proceedings of the 6th international conference on Software composition

A next-generation platform for analyzing executables

APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems