Williams Ludwell Harrison III
According to our database1, Williams Ludwell Harrison III authored at least 14 papers between 1986 and 1995.
Legend:Book In proceedings Article PhD thesis Other
Efficient computation of fixpoints that arise in complex program analysis.
J. Prog. Lang., 1995
An efficient approach to computing fixpoints for complex program analysis.
Proceedings of the 8th international conference on Supercomputing, 1994
State Space Reduction in Abstract Interpretation of Parallel Programs.
Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, 1994
Automatic Generation and Management of Interprocedural Program Analyses.
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993
Compile-Time Analysis of Parallel Programs that Share Memory.
Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992
A Program's Eye View of Miprac.
Proceedings of the Languages and Compilers for Parallel Computing, 1992
A General Framework for Analyzing Shared-Memory Parallel Programs.
Proceedings of the 1992 International Conference on Parallel Processing, 1992
Dynamic control of parallelism and granularity in executing nested parallel loops.
Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, 1991
Switch-stacks: a scheme for microtasking nested parallel loops.
Proceedings of the Proceedings Supercomputing '90, New York, NY, USA, November 12-16, 1990, 1990
Automatic Recognition of Induction Variables and Recurrence Relations by Abstract Interpretation.
Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), 1990
Microtasking Recursive, Parallel Programs.
Proceedings of the 1990 International Conference on Parallel Processing, 1990
The Interprocedural Analysis and Automatic Parallelization of Scheme Programs.
LISP Symb. Comput., 1989
The Design of Automatic Parallelizers for Symbolic and Numeric Programs.
Proceedings of the Parallel Lisp: Languages and Systems, 1989
Representing S-Expressions for the Efficient Evaluation of LISP on Parallel Processors.
Proceedings of the International Conference on Parallel Processing, 1986