 | 1995 |
|---|
| 14 |       | Li-Ling Chen,
Williams Ludwell Harrison III,
Kwangkeun Yi:
Efficient computation of fixpoints that arise in complex program analysis.
J. Prog. Lang. 3(1): (1995) |
| 1994 |
|---|
| 13 |  | Jyh-Herng Chow,
Williams Ludwell Harrison III:
State Space Reduction in Abstract Interpretation of Parallel Programs.
ICCL 1994: 265-276 |
| 12 | | Li-Ling Chen,
Williams Ludwell Harrison III:
An efficient approach to computing fixpoints for complex program analysis.
International Conference on Supercomputing 1994: 98-106 |
| 1993 |
|---|
| 11 | | Kwangkeun Yi,
Williams Ludwell Harrison III:
Automatic Generation and Management of Interprocedural Program Analyses.
POPL 1993: 246-259 |
| 1992 |
|---|
| 10 | | Jyh-Herng Chow,
Williams Ludwell Harrison III:
A General Framework for Analyzing Shared-Memory Parallel Programs.
ICPP (2) 1992: 192-199 |
| 9 | | Williams Ludwell Harrison III,
Zahira Ammarguellat:
A Program's Eye View of Miprac.
LCPC 1992: 512-537 |
| 8 | | Jyh-Herng Chow,
Williams Ludwell Harrison III:
Compile-Time Analysis of Parallel Programs that Share Memory.
POPL 1992: 130-141 |
| 1991 |
|---|
| 7 | | Williams Ludwell Harrison III,
Jyh-Herng Chow:
Dynamic control of parallelism and granularity in executing nested parallel loops.
SPDP 1991: 678-685 |
| 1990 |
|---|
| 6 | | Jyh-Herng Chow,
Williams Ludwell Harrison III:
Microtasking Recursive, Parallel Programs.
ICPP (2) 1990: 282-283 |
| 5 | | Zahira Ammarguellat,
Williams Ludwell Harrison III:
Automatic Recognition of Induction Variables and Recurrence Relations by Abstract Interpretation.
PLDI 1990: 283-295 |
| 4 | | Jyh-Herng Chow,
Williams Ludwell Harrison III:
Switch-stacks: a scheme for microtasking nested parallel loops.
SC 1990: 190-199 |
| 1989 |
|---|
| 3 | | Williams Ludwell Harrison III,
Zahira Ammarguellat:
The Design of Automatic Parallelizers for Symbolic and Numeric Programs.
Workshop on Parallel Lisp 1989: 235-253 |
| 2 | | Williams Ludwell Harrison III:
The Interprocedural Analysis and Automatic Parallelization of Scheme Programs.
Lisp and Symbolic Computation 2(2): 179-396 (1989) |
| 1986 |
|---|
| 1 | | Williams Ludwell Harrison III,
David A. Padua:
Representing S-Expressions for the Efficient Evaluation of LISP on Parallel Processors.
ICPP 1986: 703-710 |
