An Interval-Based Approach to Exhaustive and Incremental Interprocedural Data-Flow Analysis
- Michael Burke
- 1990
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Publications
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