Williams Ludwell Harrison III

According to our database1, Williams Ludwell Harrison III authored at least 14 papers between 1986 and 1995.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1995
Efficient computation of fixpoints that arise in complex program analysis.
J. Prog. Lang., 1995

1994
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

1993
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

1992
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

1991
Dynamic control of parallelism and granularity in executing nested parallel loops.
Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, 1991

1990
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

1989
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

1986
Representing S-Expressions for the Efficient Evaluation of LISP on Parallel Processors.
Proceedings of the International Conference on Parallel Processing, 1986


  Loading...