A bibliography on Debugging Optimized Code

Here is the bibliography I promised on the subject of "Debugging Optimized
Code":


Hennesy, J., "Symbolic Debugging of Optimized Code", ACM Transactions on
Programming Languages and Systems, 4(3):323-344, July, 1982.


Zellweger, P., "An Intercative High-Level Debugger for Control-Flow Optimized
Programs", ACM SIGPLAN Notices, 18(8):159-171, Aug. 1983. (By the way, this
entire issue of the ACM SIGPLAN Notices is devoted to debugging in general.)


Zellweger, P., "Interactive Source-Level Debugging of Optimized Programs",
Xerox PARC Report CSL-84-5,[P84-00047], May 1984. (Refer to an earlier
article in this newsgroup for more information about this report.)


Aho, A., Sethi, R., and Ullman, J., "Compilers: Principles, Techniques, and
Tools", pp. 703-711, Addison-Wesley, 1986.


Coutant, D., Meloy, S., and Ruscetta, M., "DOC: A Practical Approach to
Source-Level Debugging of Globally Optimized Code", Proceedings of the
SIGPLAN '88 Conference on Programming Language Design and Implementation,
June 22-24, 1988.


Zurawski, L., "Interactive Source-Level Debugging of Globally Optimized Code
with Expected Behavior", PhD Thesis, University of Illinois at
Urbana-Champaign, 1990. (contact johnson@cs.uiuc.edu for a copy)


Also, I was referred to the DDE debugger on the Apollo DOMAIN system which
reportedly can debug optimized code "quite readily" in part because "the
interference graph from the register allocator is output in the debug symbol
table."


I also heard from two sources of a master's thesis by Max Copperman, but I am
still waiting to get some details on it. I will post more information when it
arrives.


I will be maintaining a bibliography on the subject, so if you have any
additions to this list, please let me know. From time to time, if there are
any significant additions, I will post what I have accumulated.


Lyle Cool


lyle@cse.ogi.edu
--

Return to the comp.compilers page.
Search the comp.compilers archives again.