Остановите войну!
for scientists:
default search action
Michael G. Burke
- > Home > Persons > Michael G. Burke
Publications
- 2018
- [c23]Jisheng Zhao, Michael G. Burke, Vivek Sarkar:
Parallel sparse flow-sensitive points-to analysis. CC 2018: 59-70 - 2015
- [i2]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) - 2014
- [c20]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 - 2013
- [j16]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) - 2011
- [r1]Michael G. Burke, Kathleen Knobe, Ryan Newton, Vivek Sarkar:
Concurrent Collections Programming Model. Encyclopedia of Parallel Computing 2011: 364-371 - 2010
- [j15]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): 203-217 (2010) - 2009
- [j14]Christoph Reichenbach, Michael G. Burke, Igor Peshansky, Mukund Raghavachari:
Analysis of imperative XML programs. Inf. Syst. 34(7): 624-642 (2009) - 2007
- [c18]Michael G. Burke, Igor Peshansky, Mukund Raghavachari, Christoph Reichenbach:
Analysis of Imperative XML Programs. DBPL 2007: 216-230 - 2006
- [c16]Rajesh Bordawekar, Michael G. Burke, Igor Peshansky, Mukund Raghavachari:
XJ: Integration of XML Processing into Java. PLAN-X 2006: 85 - 2005
- [c15]Rajesh Bordawekar, Michael G. Burke, Igor Peshansky, Mukund Raghavachari:
XJ: robust XML processing in Java. OOPSLA Companion 2005: 175 - [c14]Matthew Harren, Mukund Raghavachari, Oded Shmueli, Michael G. Burke, Rajesh Bordawekar, Igor Pechtchanski, Vivek Sarkar:
XJ: facilitating XML processing in Java. WWW 2005: 278-287 - 2004
- [c13]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: 340-341 - 2003
- [j13]Peter F. Sweeney, Michael G. Burke:
Quantifying and evaluating the space overhead for alternative C++ memory layouts. Softw. Pract. Exp. 33(7): 595-636 (2003) - [c12]Oded Shmueli, Mukund Raghavachari, Vivek Sarkar, Rajesh Bordawekar, Michael G. Burke:
Integrating Database and Programming Language Constraints. DBPL 2003: 90-109 - 2000
- [j12]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): 211-238 (2000) - [c11]Vugranam C. Sreedhar, Michael G. Burke, Jong-Deok Choi:
A framework for interprocedural optimization in the presence of dynamic class loading. PLDI 2000: 196-207 - 1999
- [j10]Michael Hind, Michael G. Burke, Paul R. Carini, Jong-Deok Choi:
Interprocedural pointer alias analysis. ACM Trans. Program. Lang. Syst. 21(4): 848-894 (1999) - [c10]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: 129-141 - 1994
- [j9]Michael Hind, Michael G. Burke, Paul R. Carini, Samuel P. Midkiff:
An Empirical Study of Precise Interprocedural Array Analysis. Sci. Program. 3(3): 255-271 (1994) - [c9]Michael G. Burke, Paul R. Carini, Jong-Deok Choi, Michael Hind:
Flow-Insensitive Interprocedural Alias Analysis in the Presence of Pointers. LCPC 1994: 234-250 - 1993
- [j8]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) - [c8]Jong-Deok Choi, Michael G. Burke, Paul R. Carini:
Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects. POPL 1993: 232-245 - 1992
- [j6]Michael G. Burke, Jong-Deok Choi:
Precise and Efficient Integration of Interprocedural Alias Information into Data-Flow Analysis. LOPLAS 1(1): 14-21 (1992) - 1990
- [j4]Michael G. Burke, Barbara G. Ryder:
A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms. IEEE Trans. Software Eng. 16(7): 723-728 (1990) - 1989
- [j3]Michael G. Burke, Ron Cytron, Jeanne Ferrante, Wilson C. Hsieh:
Automatic generation of nested, fork-join parallelism. J. Supercomput. 3(2): 71-88 (1989) - 1988
- [j2]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): 617-640 (1988) - [c7]Frances E. Allen, Michael G. Burke, Ron Cytron, Jeanne Ferrante, Wilson C. Hsieh:
A framework for determining useful parallelism. ICS 1988: 207-215 - [c6]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: 77-84 - 1987
- [j1]Michael G. Burke, Gerald A. Fisher:
A Practical Method for LR and LL Syntactic Error Diagnosis. ACM Trans. Program. Lang. Syst. 9(2): 164-197 (1987) - [c5]Frances E. Allen, Michael G. Burke, Philippe Charles, Ron Cytron, Jeanne Ferrante:
An Overview of the PTRAN Analysis System for Multiprocessing. ICS 1987: 194-211 - 1986
- [c4]Michael G. Burke, Ron Cytron:
Interprocedural dependence analysis and parallelization (with retrospective). Best of PLDI 1986: 139-154 - [c3]Michael G. Burke, Ron Cytron:
Interprocedural dependence analysis and parallelization. SIGPLAN Symposium on Compiler Construction 1986: 162-175 - 1982
- [c2]Michael G. Burke, Gerald A. Fisher:
A Practical Method for Syntactic Error Diagnosis and Recovery. SIGPLAN Symposium on Compiler Construction 1982: 67-78 - 1980
- [c1]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: 194-201
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-02 22:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint