Publications by Kenneth Zadeck

Journal Publications

• (With R. Cytron, J. Ferrante, B.Rosen, and M. Wegman) "Efficiently Computing Static Single Assignment Form and the Control Dependence Graph," ACM Trans. on Programming Languages and Systems October 1991
• (With M. Wegman) "Constant Propagation with Conditional Branches," ACM Trans. on Programming Languages and Systems April 1991

Conference Publications

• (With D. Berlin) "Changes to RTL Dataflow Analysis", 2006 GCC & GNU Toolchain Developers' Summit, June 2006.
• (With D. Berlin) "Enhancements to Aliasing", 2005 GCC & GNU Toolchain Developers' Summit, June 2005.
• (With R. Hoover) "Generating Machine Specific Optimizing Compilers" Proceedings of the Twenty-third Annual ACM Symposium on Principles of Programming Languages, 1996.
• (With B. Alpern, R. Hoover, B. Rosen, and P. Sweeney) "Incremental Evaluation of Computational Circuits," Proceedings of the First Annual ACM-SIAM Symposium on Discrete Algorithms, 1990.
• (With D. Chase and M. Wegman) "Analysis of Pointers and Structures," SIGPLAN 1990 Symposium on Compiler Construction, 1990
• (With Bent Hagemark) "Site: A Language and System for Configuring Many Computers as One Computing Site," USENIX Workshop on Large Installation System Administration III, 1989
• (With R. Cytron, J. Ferrante, B.Rosen, and M. Wegman) "An Efficient Method For Computing Static Single Assignment Form," Sixteenth Annual ACM Symp. on the Principles of Programming Languages, Jan 1990
• (With B. Alpern, A. Carle, B. Rosen, and P. Sweeney) "Graph Attribution as a Specification Paradigm," ACM SIGSOFT Symp. on Software Development Environments Nov 1988
• (With B. Rosen and M. Wegman) "Global Value Numbers and Redundant Computations," Fifteenth Annual ACM Symp. on Principles of Programming Languages Jan 1988
• (With B. Alpern and M. Wegman), "Detecting Equality of Values in Programs," Fifteenth Annual ACM Symp. on Principles of Programming Languages Jan 1988
• (With R. Cytron and A. Lowry), "Code Motion of Control Structures in High-Level Languages," Thirteenth Annual ACM Symp. on Principles of Programming Languages Jan 1988
• (With A. Demers and A. Rogers) "Attribute Propagation by Message Passing," ACM SIGPLAN Symp. on Language Issues in Programming Environments July 1987
• (With M. Wegman) "Constant Propagation with Conditional Branches," Twelfth Annual ACM Symp. on Principles of Programming Languages Jan 1985
• "Incremental Data Flow Analysis in a Structure Program Editor," SIGPLAN'84 Symp. on Compiler Construction June 1984