2002 |
6 | | Allen Leung,
Krishna V. Palem,
Amir Pnueli:
TimeC: A Time Constraint Language for ILP Processor Compilation.
Constraints 7(2): 75-115 (2002) |
2001 |
5 | EE | Allen Leung,
Krishna V. Palem,
Amir Pnueli:
Scheduling time-constrained instructions on pipelined processors.
ACM Trans. Program. Lang. Syst. 23(1): 73-103 (2001) |
1999 |
4 | EE | Allen Leung,
Lal George:
Static Single Assignment Form for machine Code.
PLDI 1999: 204-214 |
1998 |
3 | EE | Allen Leung,
Krishna V. Palem,
Amir Pnueli:
A Fast Algorithm for Scheduling Time-Constrained Instructions on Processors with ILP.
IEEE PACT 1998: 158- |
1997 |
2 | | Allen Leung,
Krishna V. Palem,
Cristian Ungureanu:
Run-Time versus Compile-Time Instruction Scheduling in Superscalar (RISC) Processors: Performance and Trade-Off.
J. Parallel Distrib. Comput. 45(1): 13-28 (1997) |
1991 |
1 | | Allen Leung,
Prateek Mishra:
Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy Languages.
FPCA 1991: 328-351 |