An Interval-Based Approach to Exhaustive and Incremental Interprocedural Data-Flow Analysis
- Michael Burke
- 1990
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
22 results for Michael Burke
Automatic Discovery of Parallelism: A Tool and an Experiment (Extended Abstract)
- Michael Burke
- Ron Cytron
- et al.
- 1988
- ACM SIGPLAN Notices
Interprocedural Dependence Analysis and Parallelization
- Michael Burke
- Ron Cytron
- 1986
- ACM SIGPLAN Notices
Analysis of imperative XML programs
- Christoph Reichenbach
- Michael G. Burke
- et al.
- 2009
- Information Systems
Quantifying and evaluating the space overhead for alternative C++ memory layouts
- Peter F. Sweeney
- Michael Burke
- 2003
- Software - Practice and Experience
A framework for interprocedural optimization in the presence of dynamic class loading
- Vugranam C. Sreedhar
- Michael Burke
- et al.
- 2000
- SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
An empirical study of precise interprocedural array analysis
- Michael Hind
- Michael Burke
- et al.
- 1994
- Scientific Programming
Interprocedural Optimization: Eliminating Unnecessary Recompilation
- Michael Burke
- Linda Torczon
- 1993
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Precise and Efficient Integration of Interprocedural Alias Information into Data-Flow Analysis
- Michael Burke
- Jong-Deok Choi
- 1992
- ACM Letters on Programming Languages and Systems (LOPLAS)
A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms
- Michael G. Burke
- Barbara Gershon Ryder
- 1990
- IEEE Transactions on Software Engineering