Interprocedural pointer alias analysis
- Michael Hind
- Michael Burke
- et al.
- 1999
- ACM TOPLAS
Publications
9 results for Paul Carini
Flow-sensitive interprocedural constant propagation
- Paul R. Carini
- Michael Hindt
- 1995
- PLDI 1995
Flow-Sensitive Interprocedural Constant Propagation
- Paul R. Carini
- Michael Hind
- 1995
- ACM SIGPLAN Notices
Statement merge: An inter-statement optimization of array language programs
- D. Ju
- Chuan-Lin Wu
- et al.
- 1994
- ICPP 1994
An empirical study of precise interprocedural array analysis
- Michael Hind
- Michael Burke
- et al.
- 1994
- Scientific Programming
The Classification, Fusion, and Parallelization of Array Language Primitives
- Dz-Ching R. Ju
- Paul Carini
- 1994
- IEEE TPDS
Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects
- Jong-Deok Choi
- M. Burke
- et al.
- 1993
- POPL 1993
A primitive-based strategy for producing efficient code for very high level programs
- Wai-Mee Ching
- Paul Carini
- et al.
- 1993
- Computer Languages
Supporting structured shared virtual memory under Mach
- Ray Bryant
- Paul Carini
- et al.
- 1991
- USENIX MACH Symposium 1991