Photo
Michael G Burke

Publications

JOURNAL PUBLICATIONS:

  • Peter Sweeney and Michael Burke. "Quantifying and Evaluating the Overhead for Alternative C++ Memory Layouts," Software Practice and Experience, to appear in 2003.
  • Alpern, Attanasio, Barton, Burke, Cheng, Choi, Cocchi, Fink, Grove, Hind, Hummel, Lieber, Litvinov, Ngo, Mergen, Russell, Sarkar, Serrano, Shpeherd, Smith, Sreedhar, Srinivasan, Whaley. "The Jalapeno Virtual Machine," IBM Systems Journal Special Issue on Java Performance, 39(1),2000.
  • Michael Hind, Michael Burke, Paul Carini, Jong-Deok Choi. "Interprocedural Pointer Alias Analysis," ACM Transactions on Programming Languages and Systems, July, 1999, 21(4).
  • Michael Hind, Michael Burke, Paul Carini, Sam Midkiff. "An Empirical Study of Precise Interprocedural Array Analysis," Scientific Programming, 3(3), 1994.
  • Michael Burke, Linda Torczon. "Interprocedural Optimization: Eliminating Unnecessary Recompilation", ACM Transactions on Programming Languages and Systems, 15(3), July 1993.
  • Michael Burke, Jong-Deok Choi. "Precise and Efficient Integration of Interprocedural Alias Information into Data-Flow Analysis," ACM Letters on Programming Languages and Systems, 1(1), March, 1992.
  • Michael Burke, "An Interval-Based Approach to Exhaustive and Incremental Interprocedural Data-Flow Analysis," ACM Transactions on Programming Languages and Systems, 12(3), July 1990.
  • Michael Burke, Barbara Ryder. "A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms," IEEE Transactions on Software Engineering, 16(7), July 1990.
  • Michael Burke, Ron Cytron, Jeanne Ferrante, Wilson Hsieh. "Automatic Generation of Nested, Fork-Join Parallelism", Journal of Supercomputing, 2(3), July 1989.
  • Frances Allen, Michael Burke, Philippe Charles, Ron Cytron, Jeanne Ferrante. "An Overview of the PTRAN Analysis System for Multiprocessing," The Journal of Parallel and Distributed Computing, October, 1988, 5{5}:617--640. Also appeared in 1987 International Conference on Supercomputing, Springer-Verlag, Athens, Greece, June 1987.
  • Michael G. Burke, Gerald A. Fisher."A Practical Method for LR and LL Syntactic Error Diagnosis and Recovery," ACM Transactions on Programming Languages and Systems, 9(2), April 1987.

CONFERENCE PUBLICATIONS:

  • Vugranam Sreedhar, Michael Burke, and Jong-Deok Choi. "A Framework for Interprocedural Optimization in the Presence of Dynamic Class Loading," Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, Vancouver, British Columbia, Canada, June 2000.
  • Michael Burke, Jong-Deok Choi, Stephen Fink, David Grove, Michael Hind, Vivek Sarkar, Mauricio Serrano, V.C. Sreedhar, Harini Srinivasan, John Whaley. "The Jalapeno Dynamic Optimizing Compiler for Java", ACM Java Grande Conference, June 1999.
  • Michael Burke, Paul Carini, Jong-Deok Choi, Mike Hind. "Flow-Insensitive Interprocedural Alias Analysis in the Presence of Pointers," K. Pingali, U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, editors, Lecture Notes in Computer Science, 892,Springer-Verlag, 1995. Proceedings from the 7th International Workshop on Languages and Compilers for Parallel Computing.
  • Jong-Deok Choi, Michael Burke, Paul Carini."Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects, "Conference Record of the Twentieth Annual ACM Conference on Principles of Programming Languages," Charleston, South Carolina, January, 1993.
  • Michael Hind, Michael Burke, Paul Carini, Sam Midkiff."Interprocedural Array Analysis: How Much Precision Do We Need ?", Third Workshop on Compilers for Parallel Computers}, Volume 2, Vienna, Austria, 1992.
  • Frances Allen, Michael Burke, Philippe Charles, Ron Cytron, Jeanne Ferrante, Vivek Sarkar, David Shields. "PTRAN Methodologies for the Automatic Detection of Parallelism in Fortran Programs: Some Experimental Results," The 4th International Conference on Supercomputing, May, 1989.
  • Frances Allen, Michael Burke, Ron Cytron, Jeanne Ferrante, Wilson Hsieh, Vivek Sarkar. "Framework for Determining Useful Parallelism, Proceedings of the ACM 1988 International Conference on Supercomputing, St. Malo, France, July, 1988.
  • Michael Burke, Ron Cytron, Jeanne Ferrante, Wilson Hsieh,Vivek Sarkar, David Shields. "Automatic Discovery of Parallelism: A Tool and an Experiment," ACM SIGPLAN Symposium on Parallel Programming: Experience with Applications, Languages, and Systems, New Haven, Connecticut, July, 1988.
  • Michael Burke and Ron Cytron. "Interprocedural Dependence Analysis and Parallelization," Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation", Palo Alto, California, June 1986.
  • Michael Burke and Gerald A. Fisher Jr.. "A Practical Method for Syntactic Error Diagnosis and Recovery", Proceedings of ACM SIGPLAN '82 Symposium on Compiler Consruction, Boston, Massachusetts, June 1982.
  • Robert B. K. Dewar, Gerald A. Fisher Jr., Edmond Schonberg, Robert Froehlich, Stephen Bryant, Clinton F. Goss, Michael Burke. "The NYU Ada Translater and Interpreter,"Proceedings of the ACM SIGPLAN Symposium on the Ada Programming Language, Boston, Massachusetts, November 1980.

ARTICLES:

  • Michael Burke and Ron Cytron. "Retrospective." To appear with "Interprocedural Dependence Analysis and Parallelization," in ACM SIGPLAN Notices, 2003.
  • Michael Burke."Panel Sessions at SIGPLAN Conferences," ACM SIGPLAN Notices, Vol.34, No.2, February 1999.

TECHNICAL REPORTS:

  • Matthew Kaplan and Michael Burke. "Content Integration through Matching and Reconciliation," IBM Research Report, November 2000.
  • Thomas J. Marlowe, Barbara Ryder, Michael Burke. "Defining Flow Sensitivity in Data Flow Problems," IBM Research Report RC 20138, July 1995.