A New Algorithm for Scalar Register Promotion based on SSA Form.
Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998
Parallel Destructive Updating in Strict Functional Languages.
Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994
Order-of-evaluation Analysis for Destructive Updates in Strict Functional Languages with Flat Aggregates.
Proceedings of the conference on Functional programming languages and computer architecture, 1993
A Compile-Time Memory-Reuse Scheme for Concurrent Logic Programs.
Proceedings of the Memory Management, 1992
Variable Threadedness Analysis for Concurrent Logic Programs.
Proceedings of the Logic Programming, 1992
Towards an Efficient Compile-Time Granularity Analysis Algorithm.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992
OR-Parallel Evaluation of Logic Programs on a Multi-Ring Dataflow Machine.
New Gener. Comput., 1991
A Dataflow Architecture for OR-Parallel Execution of Logic Programs.
Proceedings of the International Conference on Parallel Processing, 1988