| 1997 |
6 | | Paul Havlak:
Nesting of Reducible and Irreducible Loops.
ACM Trans. Program. Lang. Syst. 19(4): 557-567 (1997) |
5 | | Joel H. Saltz,
Gagan Agrawal,
Chialin Chang,
Raja Das,
Guy Edjlali,
Paul Havlak,
Yuan-Shin Hwang,
Bongki Moon,
Ravi Ponnusamy,
Shamik D. Sharma,
Alan Sussman,
Mustafa Uysal:
Programming Irregular Applications: Runtime Support, Compilation and Tools.
Advances in Computers 45: 105-153 (1997) |
| 1995 |
4 | | Raja Das,
Paul Havlak,
Joel H. Saltz,
Ken Kennedy:
Index Array Flattening Through Program Transformation.
SC 1995 |
| 1993 |
3 | | Paul Havlak:
Construction of Thinned Gated Single-Assignment Form.
LCPC 1993: 477-499 |
| 1991 |
2 | | Paul Havlak,
Ken Kennedy:
An Implementation of Interprocedural Bounded Regular Section Analysis.
IEEE Trans. Parallel Distrib. Syst. 2(3): 350-360 (1991) |
| 1990 |
1 | | Paul Havlak,
Ken Kennedy:
Experience with interprocedural analysis of array side effects.
SC 1990: 952-961 |