CS 426

Papers for Reading

• XIL and YIL: The Intermediate Languages of TOBEY, Kevin O'Brien , Kathryn M. O'Brien, Martin Hopkins, Arvin Shepherd and Ron Unrau, ACM SIGPLAN Notices, 30(3), pp. 71-82, March 1993.

• An overview of the PL.8 compiler M. Auslander and M. Hopkins. Proceedings of the SIGPLAN 82 Symposium on Compiler Construction, June 1982.
  

• Constant Propagation With Conditional Branches, Mark N. Wegman and Kenneth Zadeck, ACM Transactions on Programming Languages and Systems, 13(2), pp. 181-210, April 1991.

Other References of Interest (Not Required Reading)

• Efficiently Computing Static Single Assignment Form and the Control Dependence Graph, Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zadeck. ACM Transactions on Programming Languages and Systems, vol. 13, no. 4, October, 1991, pp. 451-490.

• On the Importance of Points-To Analysis and Other Memory Disambiguation Methods For C Programs, Rakesh Ghiya, Daniel Lavery and David Sehr, Proc. ACM Symposium on Programming Language Design and Implementation, 2001.

• Which Pointer Analysis Should I Use?, Michael Hind and Anthony Pioli, Int'l Symposium on Software Testing and Analysis, Aug. 2000.

• Efficient implementation of the Smalltalk-80 system, L. P. Deutsch and A. M. Schiffman, Conference Record of the Eleventh Symposium on Principles of Programming Language, pp. 297-301, Jan. 1984.

• Fast copy coalescing and live range identification, Tim Harvey and Keith Cooper, Proc. ACM SIGPLAN Conference on Prog. Language Design and Implementation, June 2002.

• Uniprocessor Garbage Collection Techniques, Paul R. Wilson, ACM Computing Surveys.