Paul R. Carini

Publication Activity (10 Years)

Years Active: 1991-1999
Publications (10 Years): 0

Publications

Michael Hind, Michael G. Burke, Paul R. Carini, Jong-Deok Choi
Interprocedural pointer alias analysis. ACM Trans. Program. Lang. Syst. 21 (4) (1999)
Paul R. Carini, Michael Hind
Flow-Sensitive Interprocedural Constant Propagation. PLDI (1995)
Michael G. Burke, Paul R. Carini, Jong-Deok Choi, Michael Hind
Flow-Insensitive Interprocedural Alias Analysis in the Presence of Pointers. LCPC (1994)
Dz-Ching Ju, Chuan-lin Wu, Paul R. Carini
Statement Merge: an Inter-Statement Optimization of Array Language Programs. ICPP (2) (1994)
Dz-Ching Ju, Chuan-lin Wu, Paul R. Carini
The Classification, Fusion, and Parallelization of Array Language Primitives. IEEE Trans. Parallel Distributed Syst. 5 (10) (1994)
Michael Hind, Michael G. Burke, Paul R. Carini, Samuel P. Midkiff
An Empirical Study of Precise Interprocedural Array Analysis. Sci. Program. 3 (3) (1994)
Thomas J. Marlowe, Jong-Deok Choi, William Landi, Michael G. Burke, Barbara G. Ryder, Paul R. Carini
Pointer-Induced Aliasing: A Clarification. ACM SIGPLAN Notices 28 (9) (1993)
Wai-Mee Ching, Paul R. Carini, Dz-Ching Ju
A Primitive-Based Strategy for Producing Efficient Code for Very High Level Programs. Comput. Lang. 19 (1) (1993)
Jong-Deok Choi, Michael G. Burke, Paul R. Carini
Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects. POPL (1993)
Dz-Ching Ju, Chuan-lin Wu, Paul R. Carini
The Synthesis of Array Functions and Its Use in Parallel Computation. ICPP (2) (1992)
Ray Bryant, Paul R. Carini, Hung-Yang Chang, Bryan S. Rosenburg
Supporting Structured Shared Virtual Memory Under Mach. USENIX MACH Symposium (1991)