Supporting Structured Shared Virtual Memory Under Mach. - Ray Bryant; Paul R. Carini; Hung-Yang Chang; Bryan S. Rosenburg (USENIX MACH Symposium, 1991)

The Synthesis of Array Functions and Its Use in Parallel Computation. - Dz-Ching Ju; Chuan-lin Wu; Paul R. Carini (ICPP (2), 1992)

Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects. - Jong-Deok Choi; Michael G. Burke; Paul R. Carini (POPL, 1993)

A Primitive-Based Strategy for Producing Efficient Code for Very High Level Programs. - Wai-Mee Ching; Paul R. Carini; Dz-Ching Ju (Comput. Lang., 1993)

Pointer-Induced Aliasing: A Clarification. - Thomas J. Marlowe; Jong-Deok Choi; William Landi; Michael G. Burke; Barbara G. Ryder; Paul R. Carini (ACM SIGPLAN Notices, 1993)

Statement Merge: an Inter-Statement Optimization of Array Language Programs. - Dz-Ching Ju; Chuan-lin Wu; Paul R. Carini (ICPP (2), 1994)

Flow-Insensitive Interprocedural Alias Analysis in the Presence of Pointers. - Michael G. Burke; Paul R. Carini; Jong-Deok Choi; Michael Hind (LCPC, 1994)

An Empirical Study of Precise Interprocedural Array Analysis. - Michael Hind; Michael G. Burke; Paul R. Carini; Samuel P. Midkiff (Sci. Program., 1994)

The Classification, Fusion, and Parallelization of Array Language Primitives. - Dz-Ching Ju; Chuan-lin Wu; Paul R. Carini (IEEE Trans. Parallel Distributed Syst., 1994)

Flow-Sensitive Interprocedural Constant Propagation. - Paul R. Carini; Michael Hind (PLDI, 1995)

Interprocedural pointer alias analysis. - Michael Hind; Michael G. Burke; Paul R. Carini; Jong-Deok Choi (ACM Trans. Program. Lang. Syst., 1999)