1998
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

1994
Parallel Destructive Updating in Strict Functional Languages.
Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994

1993
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

1992
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

1991
OR-Parallel Evaluation of Logic Programs on a Multi-Ring Dataflow Machine.
New Gener. Comput., 1991

1988
A Dataflow Architecture for OR-Parallel Execution of Logic Programs.
Proceedings of the International Conference on Parallel Processing, 1988