1995 |
13 | EE | 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 |
12 | | Jyh-Herng Chow,
Williams Ludwell Harrison III:
State Space Reduction in Abstract Interpretation of Parallel Programs.
ICCL 1994: 265-276 |
11 | EE | 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 |
10 | | Kwangkeun Yi,
Williams Ludwell Harrison III:
Automatic Generation and Management of Interprocedural Program Analyses.
POPL 1993: 246-259 |
1992 |
9 | | Jyh-Herng Chow,
Williams Ludwell Harrison III:
A General Framework for Analyzing Shared-Memory Parallel Programs.
ICPP (2) 1992: 192-199 |
8 | | Williams Ludwell Harrison III,
Zahira Ammarguellat:
A Program's Eye View of Miprac.
LCPC 1992: 512-537 |
7 | | Jyh-Herng Chow,
Williams Ludwell Harrison III:
Compile-Time Analysis of Parallel Programs that Share Memory.
POPL 1992: 130-141 |
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 | EE | 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 |