Google Scholar site: https://scholar.google.com/citations?hl=en&user=zVnY6_oAAAAJ
Google Scholar citation count: 5,184 (6/2022)
Journal, Conference and Refereed Workshop Publications
Jisheng Zhao, Michael G. Burke, Vivek Sarkar. Parallel Sparse Flow-Sensitive Points-to Analysis. Proceedings of the 2018 International Conference on Compiler Construction (CC 2018), February 2018.
Ron K. Cytron, Jeanne Ferrante, Frances E. Allen, Michael G. Burke, Philippe Charles: Author retrospective for PTRAN’s analysis and optimization techniques. ACM International Conference on Supercomputing 25th Anniversary Volume. 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.
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.
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.
Christoph Reichenbach, Michael G. Burke, Igor Peshansky and Mukund Raghavachari. Analysis of Imperative XML Programs. Information Systems 34(7): 624-642, November 2009.
Michael G. Burke, Igor Peshansky, Mukund Raghavachari and Christoph Reichenbach. 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.
Michael G. Burke, Ron Cytron: Interprocedural Dependence Analysis and Parallelization Best of PLDI 2004: Retrospective and original 1986 paper. 20 Years of the ACM SIGPLAN Conference on PLDI, 1979-1999, A Selection. SIGPLAN Notices, 139-154, April 2004.
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 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. https://typeset.io/papers/efficient-flow-sensitive-interprocedural-computation-of-2xvd4g6he4?msID=0922a452-0e72-4d15-859d-d940767744af
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 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.
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 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.
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.