Patents Issued by US Patent Office:
Michael G. Burke, Rosalva Gallardo-Valencia, Igor Peshansky. Computation of Impacted and Affected Code due to Database Schema Changes. US Patent number 8,782,001, July 2014.
Michael G. Burke, Igor Peshansky, Marco Pistoia, and Omer Tripp. Enforcement of Data Privacy to Maintain Obfuscation of Certain Data. U.S. Patent number 8,544,104, September 2013.
Azadeh Ahadian, Stephen Brodsky, Michael Burke, Igor Peshansky, et al. Identifying Impact of Database Changes on an Application. US Patent number 8,458,654, July 2013.
Azadeh Ahadian, Stephen Brodsky, Michael Burke, Igor Peshansky, Mukund Raghavachari, et al. Displaying and Refactoring Programs that Include Database Statements. U.S. Patent number 8,276,117, September 2012.
Rajesh Bordawekar, Michael Burke, Mukund Raghavachari, Oded Shmueli, Detecting an Integrity Constraint Violation in a Database by Analysis. U.S. Patent number 7,519,952, April 2009.
Michael Burke, Jong-Deok Choi, Vugranam Sreedhar. Interprocedural Analysis and Optimization of an Object Oriented Program in the Presence of Dynamic Class Loading. U.S. Patent number 6,865,730, March 2005.
Ted Law, Michael Burke, Harini Srinivasan, and Peter Sweeney. C++ Object Model Alternatives, U.S. Patent Number 5,794,041, August 11, 1998.
Paul Carini, Michael Burke, and Michael Hind. Interprocedural Data-Flow Analysis that Supports Recursion While Only Performing One Flow-Sensitive Analysis of Each Procedure. U.S. Patent Number 5,671,419, September 23, 1997.
Michael Burke, Paul Carini, and Jong-Deok Choi. Methods for Distinguishing Dynamically Allocated Storage Along Different Call Paths and for Providing a Compact Representation for Alias Analysis. U.S. Patent Number 5,535,394, July 9, 1996.
Michael Burke, Paul Carini, and Jong-Deok Choi. Using Program Call Graphs to Determine the Maximum Fixed Point Solution of Interprocedural Bidirectional Data Flow Problems in a Compiler. U.S. Patent Number 5,485,616, January 16, 1996.
Michael Burke, Jong-Deok Choi, and Ron Cytron. System and Method for Optimizing Computer Code Using a Compact Data Flow Representation. U.S. Patent Number 5,448,737, September 5, 1995.