Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

9 results for Paul Carini

Flow-sensitive interprocedural constant propagation
- - Paul R. Carini
  - Michael Hindt
- 1995
- PLDI 1995
Statement merge: An inter-statement optimization of array language programs
- - D. Ju
  - Chuan-Lin Wu
  - et al.
- 1994
- ICPP 1994
Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects
- - Jong-Deok Choi
  - M. Burke
  - et al.
- 1993
- POPL 1993
Supporting structured shared virtual memory under Mach
- - Ray Bryant
  - Paul Carini
  - et al.
- 1991
- USENIX MACH Symposium 1991
Interprocedural pointer alias analysis
- - Michael Hind
  - Michael Burke
  - et al.
- 1999
- ACM TOPLAS
Flow-Sensitive Interprocedural Constant Propagation
- - Paul R. Carini
  - Michael Hind
- 1995
- ACM SIGPLAN Notices
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
A primitive-based strategy for producing efficient code for very high level programs
- - Wai-Mee Ching
  - Paul Carini
  - et al.
- 1993
- Computer Languages