Publications

Google Scholar citation count: 4,069 (1/2017)

Journal and Conference Publications 

Ron K. Cytron, Jeanne Ferrante, Frances E. Allen, Michael G. Burke, Philippe Charles: Author retrospective for PTRAN’s analysis and optimization techniques. ICS 25th Anniversary 2014: 1-3.

Sbirlea, D. ; Burke, M.G. ; Guarnieri, S. ; Pistoia, M. ; Sarkar, V.  Automatic detection of inter-application permission leaks in Android applications.  IBM Journal of Research and Development  (Volume:57 ,  Issue: 6 ), November – December 2013.

Zoran Budimlic, Michael Burke, Vincent Cave, Kathleen Knobe, Geoff Lowney, Ryan Newton, Jens Palsberg, David Peixotto, Vivek Sarkar, Frank Schlimbach, Sagnak Tasirlar. Concurrent Collections. Scientific Programming, 18(3-4): 203-217, August 2010.

Michael G. Burke, Igor Peshansky, Mukund Raghavachari and Christoph Reichenbach. Analysis of Imperative XML Programs. Information Systems 34(7): 624-642, November 2009.

Christoph Reichenbach, Michael G. Burke, Igor Peshansky and Mukund Raghavachari.     Analysis of Imperative XML Programs, DBPL 2007 – Database and Programming  Languages, Vienna, Austria, September 2007.

Matthew Harren, Mukund Raghavachari, Oded Shmueli, Michael G. Burke,  Rajesh Bordawekar, Igor Pechtchanski, Vivek Sarkar.  XJ: Facilitating XML processing in Java.  International World Wide Web  Conference Proceedings of the 14th International Conference on World Wide Web,  Japan, May 2005.

Mukund  Raghavachari, Oded Shmueli, Vivek Sarkar, Rajesh Bordawekar,  Michael G. Burke.  Integrating Database and Programming Language Constraints,  DBPL 2003 –  Database and Programming Languages, Potsdam, Germany,  September 2003.

Peter Sweeney and Michael Burke.  Quantifying and Evaluating the  Overhead for Alternative C++ Memory Layouts, Software – Practice  and Experience, Vol. 33. No. 7, pages 595-636, June 2003.

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 (PLDI), Vancouver, British Columbia,  Canada, June 2000.

Alpern, Attanasio, Barton, Burke, Cheng, Choi, Cocchi, Fink,  Grove, Hind, Hummel, Lieber, Litvinov, Ngo, Mergen, Russell,  Sarkar, Serrano, Shepherd, 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 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 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.

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 (POPL), Charleston, South Carolina,  January 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, 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, 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.

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 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.

Michael G. Burke, Ron Cytron: Interprocedural Dependence Analysis and Parallelization (with retrospective). Best of PLDI 1986: 139-154.

Michael G. Burke and Ron Cytron.  Interprocedural Dependence Analysis  and Parallelization. Proceedings of ACM SIGPLAN Conference on Programming  Language Design and Implementation (PLDI), 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.

Workshop Publications 

Kathleen Knobe, Michael G. Burke. The Tuning Language for Concurrent Collections. Proceedings of the 2012 International Workshop on Compilers for Parallel Computing (CPC 2012), January 2012.

Zoran Budimlic, Michael Burke, Kathleen Knobe, Ryan Newton, David Peixotto, Vivek Sarkar, Edwin Westbrook. Deterministic Reductions in an Asynchronous Parallel Langauge.  The 2nd Workshop on Determinism and Correctness in Parallel Programming (WoDet), March 2011.

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.

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.

Book Chapters

Kathleen Knobe, Michael G.Burke, Frank Schlimbach: Concurrent Collections. Programming Models for Parallel Computing, MIT Press, 2014.

Michael G. Burke, Kathleen Knobe, Ryan Newton, Vivek Sarkar: Concurrent Collections Programming Model. Encyclopedia of Parallel Computing 2011: 364-371.

Articles

Michael G. Burke, Klaas Faber. A Plea for Thresholds, i.e., Maximal Allowed Levels for Prohibited Substances, to Prevent Questionable Doping Convictions.
Science and Justice 52 (3) 199-201, September 2012.

Rajesh Bordawekar, Michael G. Burke, Igor Peshansky, Mukund Raghavachari.  Simplify XML Processing with XJ. IBM developerWorks, June 2005.

Michael Burke. Update from the Chair. ACM SIGPLAN Notices, Vol. 39, No.5, May 2004.

Michael Burke. Update from the Chair. ACM SIGPLAN Notices, Vol. 38, No.12, December 2003.

Michael Burke. Panel Sessions at SIGPLAN Conferences.  ACM SIGPLAN Notices,    Vol.34, No.2, February 1999.

Thomas J. Marlowe, Jong-Deok Choi, William Landi, Michael G. Burke, Barbara G. Ryder, Paul R. Carini. Pointer-Induced Aliasing: A Clarification. ACM SIGPLAN Notices 28(9): 67-70 (1993).

Open Access

Daniel Song, Jisheng Zhao, Michael G. Burke, Dragos Sbirlea, Dan S. Wallach, Vivek Sarkar: Finding Tizen security bugs through whole-system static analysis. CoRR abs/1504.05967 (2015)

Technical Reports

Michael G. Burke, Rosalva E. Gallardo-Valencia, Igor Peshansky.  Impact Analysis of Object-Oriented Source Code with Respect to Database Schema Modifications.  IBM Research Report RC 24703, December 2008.

Christoph Reichenbach, Michael G. Burke, Igor Peshansky, Mukund Raghavachari,  Rajesh Bordawekar.  AXIL: An XPath Intermediate Language. IBM Research Report RC 24075, October 2006.

Johannes Henkel and Michael Burke. A Generic Method for Schema Matching and Its Application to XML Schemas, IBM Research Report RC 22639, November 2002.

Thomas J. Marlowe, Barbara G. Ryder, Michael G. Burke, Defining Flow Sensitivity in Data Flow Problems, IBM Research Report RC 20138, July 1995.

Comments are closed.