1996 |
6 | | Robert D. Blumofe,
Christopher F. Joerg,
Bradley C. Kuszmaul,
Charles E. Leiserson,
Keith H. Randall,
Yuli Zhou:
Cilk: An Efficient Multithreaded Runtime System.
J. Parallel Distrib. Comput. 37(1): 55-69 (1996) |
1995 |
5 | | Robert D. Blumofe,
Christopher F. Joerg,
Bradley C. Kuszmaul,
Charles E. Leiserson,
Keith H. Randall,
Yuli Zhou:
Cilk: An Efficient Multithreaded Runtime System.
PPOPP 1995: 207-216 |
1994 |
4 | EE | Dan C. Stefanescu,
Yuli Zhou:
An Equational Framework for the Flow Analysis of Higher Order Functional Programs.
LISP and Functional Programming 1994: 318-327 |
1992 |
3 | EE | Robert Muller,
Yuli Zhou:
Abstract Interpretation in Weak Powerdomains.
LISP and Functional Programming 1992: 119-126 |
1990 |
2 | | Yuli Zhou,
Robert Muller:
Domain Theory for Nonmonotonic Functions.
ALP 1990: 144-157 |
1 | EE | Yuli Zhou,
Meichun Hsu:
A Theory for Rule Triggering Systems.
EDBT 1990: 407-421 |