Michael G. Burke

Publication Activity (10 Years)

Years Active: 1980-2024
Publications (10 Years): 6

Top Topics

Static Analysis

Autonomous Vehicles

Top Venues

SPLASH (Companion Volume)

ICS 25th Anniversary

Publications

Haoyang Jiang, Elizabeth A. Croft, Michael G. Burke
Social Cue Detection and Analysis Using Transfer Entropy. HRI (2024)
Lirui Guo, Michael G. Burke, Wynita M. Griggs
A New Framework to Predict and Visualize Technology Acceptance: A Case Study of Shared Autonomous Vehicles. CoRR (2024)
Haoyang Jiang, Elizabeth A. Croft, Michael G. Burke
Model-free Legibility: Enhancing Human-Robot Interactions through Implicit Communication and Influence Modulation. CoRR (2024)
Jisheng Zhao, Michael G. Burke, Vivek Sarkar
Parallel sparse flow-sensitive points-to analysis. CC (2018)
Tim Verbelen, Michael G. Burke
Workshop preview of the 2015 eclipse technology exchange workshop (ETX 2015). SPLASH (Companion Volume) (2015)
Daniel Song, Jisheng Zhao, Michael G. Burke, Dragos Sbirlea, Dan S. Wallach, Vivek Sarkar
Finding Tizen security bugs through whole-system static analysis. CoRR (2015)
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)
Dragos Sbirlea, Michael G. Burke, Salvatore Guarnieri, Marco Pistoia, Vivek Sarkar
Automatic detection of inter-application permission leaks in Android applications. IBM J. Res. Dev. 57 (6) (2013)
Zoran Budimlic, Michael G. Burke, Vincent Cavé, Kathleen Knobe, Geoff Lowney, Ryan Newton, Jens Palsberg, David M. Peixotto, Vivek Sarkar, Frank Schlimbach, Sagnak Tasirlar
Concurrent Collections. Sci. Program. 18 (3-4) (2010)
Christoph Reichenbach, Michael G. Burke, Igor Peshansky, Mukund Raghavachari
Analysis of imperative XML programs. Inf. Syst. 34 (7) (2009)
Michael G. Burke, Igor Peshansky, Mukund Raghavachari, Christoph Reichenbach
Analysis of Imperative XML Programs. DBPL (2007)
Rajesh Bordawekar, Michael G. Burke, Igor Peshansky, Mukund Raghavachari
XJ: Integration of XML Processing into Java. PLAN-X (2006)
Michael G. Burke, Cheryl Morris, Alessandro Orso, Martin P. Robillard
Eclipse technology eXchange (ETX) workshop. OOPSLA Companion (2006)
Matthew Harren, Mukund Raghavachari, Oded Shmueli, Michael G. Burke, Rajesh Bordawekar, Igor Pechtchanski, Vivek Sarkar
XJ: facilitating XML processing in Java. WWW (2005)
Rajesh Bordawekar, Michael G. Burke, Igor Peshansky, Mukund Raghavachari
XJ: robust XML processing in Java. OOPSLA Companion (2005)
Matthew Harren, Mukund Raghavachari, Oded Shmueli, Michael G. Burke, Vivek Sarkar, Rajesh Bordawekar
XJ: integration of XML processing into java. WWW (Alternate Track Papers & Posters) (2004)
Peter F. Sweeney, Michael G. Burke
Quantifying and evaluating the space overhead for alternative C++ memory layouts. Softw. Pract. Exp. 33 (7) (2003)
Oded Shmueli, Mukund Raghavachari, Vivek Sarkar, Rajesh Bordawekar, Michael G. Burke
Integrating Database and Programming Language Constraints. DBPL (2003)
Bowen Alpern, C. Richard Attanasio, John J. Barton, Michael G. Burke, Perry Cheng, Jong-Deok Choi, Anthony Cocchi, Stephen J. Fink, David Grove, Michael Hind, Susan Flynn Hummel, Derek Lieber, Vassily Litvinov, Mark F. Mergen, Ton Ngo, James R. Russell, Vivek Sarkar, Mauricio J. Serrano, Janice C. Shepherd, Stephen E. Smith, Vugranam C. Sreedhar, Harini Srinivasan, John Whaley
The Jalapeño virtual machine. IBM Syst. J. 39 (1) (2000)
Vugranam C. Sreedhar, Michael G. Burke, Jong-Deok Choi
A framework for interprocedural optimization in the presence of dynamic class loading. PLDI (2000)
Michael G. Burke
Panel Sessions at SIGPLAN Conferences. ACM SIGPLAN Notices 34 (2) (1999)
Michael Hind, Michael G. Burke, Paul R. Carini, Jong-Deok Choi
Interprocedural pointer alias analysis. ACM Trans. Program. Lang. Syst. 21 (4) (1999)
Michael G. Burke, Jong-Deok Choi, Stephen J. Fink, David Grove, Michael Hind, Vivek Sarkar, Mauricio J. Serrano, Vugranam C. Sreedhar, Harini Srinivasan, John Whaley
The Jalapeño Dynamic Optimizing Compiler for Java. Java Grande (1999)
Michael G. Burke, Paul R. Carini, Jong-Deok Choi, Michael Hind
Flow-Insensitive Interprocedural Alias Analysis in the Presence of Pointers. LCPC (1994)
Michael Hind, Michael G. Burke, Paul R. Carini, Samuel P. Midkiff
An Empirical Study of Precise Interprocedural Array Analysis. Sci. Program. 3 (3) (1994)
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) (1993)
Michael G. Burke, Linda Torczon
Interprocedural Optimization: Eliminating Unnecessary Recompilation. ACM Trans. Program. Lang. Syst. 15 (3) (1993)
Jong-Deok Choi, Michael G. Burke, Paul R. Carini
Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects. POPL (1993)
Michael G. Burke, Jong-Deok Choi
Precise and Efficient Integration of Interprocedural Alias Information into Data-Flow Analysis. LOPLAS 1 (1) (1992)
Michael G. Burke, Barbara G. Ryder
A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms. IEEE Trans. Software Eng. 16 (7) (1990)
Michael G. Burke
An Interval-Based Approach to Exhaustive and Incremental Interprocedural Data-Flow Analysis. ACM Trans. Program. Lang. Syst. 12 (3) (1990)
Michael G. Burke, Ron Cytron, Jeanne Ferrante, Wilson C. Hsieh
Automatic generation of nested, fork-join parallelism. J. Supercomput. 3 (2) (1989)
Frances E. Allen, Michael G. Burke, Ron Cytron, Jeanne Ferrante, Wilson C. Hsieh
A framework for determining useful parallelism. ICS (1988)
Frances E. Allen, Michael G. Burke, Philippe Charles, Ron Cytron, Jeanne Ferrante
An Overview of the PTRAN Analysis System for Multiprocessing. J. Parallel Distributed Comput. 5 (5) (1988)
Michael G. Burke, Ron Cytron, Jeanne Ferrante, Wilson C. Hsieh, Vivek Sarkar, David Shields
Automatic Discovery of Parallelism: A Tool and an Experiment (Extended Abstract). PPOPP/PPEALS (1988)
Michael G. Burke, Gerald A. Fisher
A Practical Method for LR and LL Syntactic Error Diagnosis. ACM Trans. Program. Lang. Syst. 9 (2) (1987)
Frances E. Allen, Michael G. Burke, Philippe Charles, Ron Cytron, Jeanne Ferrante
An Overview of the PTRAN Analysis System for Multiprocessing. ICS (1987)
Michael G. Burke, Ron Cytron
Interprocedural dependence analysis and parallelization. SIGPLAN Symposium on Compiler Construction (1986)
Michael G. Burke, Ron Cytron
Interprocedural dependence analysis and parallelization (with retrospective) Best of PLDI (1986)
Michael G. Burke, Gerald A. Fisher
A Practical Method for Syntactic Error Diagnosis and Recovery. SIGPLAN Symposium on Compiler Construction (1982)
Robert B. K. Dewar, Gerald A. Fisher, Edmond Schonberg, Robert Fröhlich, Stephen Bryant, Clinton F. Goss, Michael G. Burke
The NYU Ada translator and interpreter. SIGPLAN (1980)