Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects
- Jong-Deok Choi
- M. Burke
- et al.
- 1993
- POPL 1993
Publications
Date
Featured collections
Popular topics
22 results for Michael Burke
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)
An Interval-Based Approach to Exhaustive and Incremental Interprocedural Data-Flow Analysis
- Michael Burke
- 1990
- ACM Transactions on Programming Languages and Systems (TOPLAS)
A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms
- Michael G. Burke
- Barbara Gershon Ryder
- 1990
- IEEE Transactions on Software Engineering
Automatic generation of nested, fork-join parallelism
- Michael Burke
- Ron Cytron
- et al.
- 1989
- The Journal of Supercomputing
Automatic discovery of parallelism: A tool and an experiment
- Michael Burke
- Ron Cytron
- et al.
- 1988
- PPEALS 1988
A framework for determining useful parallelism
- Frances Allen
- Michael Burke
- et al.
- 1988
- ICS 1988
Automatic Discovery of Parallelism: A Tool and an Experiment (Extended Abstract)
- Michael Burke
- Ron Cytron
- et al.
- 1988
- ACM SIGPLAN Notices
An overview of the PTRAN analysis system for multiprocessing
- Frances Allen
- Michael Burke
- et al.
- 1988
- Journal of Parallel and Distributed Computing