Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy Languages. - Allen Leung; Prateek Mishra (FPCA, 1991)

Run-time versus compile-time instruction scheduling in superscalar (RISC) processors: performance and tradeoffs. - Allen Leung; Krishna V. Palem; Cristian Ungureanu (HiPC, 1996)

Run-Time versus Compile-Time Instruction Scheduling in Superscalar (RISC) Processors: Performance and Trade-Off. - Allen Leung; Krishna V. Palem; Cristian Ungureanu (J. Parallel Distributed Comput., 1997)

A Fast Algorithm for Scheduling Time-Constrained Instructions on Processors with ILP. - Allen Leung; Krishna V. Palem; Amir Pnueli (IEEE PACT, 1998)

Static Single Assignment Form for machine Code. - Allen Leung; Lal George (PLDI, 1999)

Scheduling time-constrained instructions on pipelined processors. - Allen Leung; Krishna V. Palem; Amir Pnueli (ACM Trans. Program. Lang. Syst., 2001)

Machine Level Optimizations for High Level Languages. - Allen Leung (2001)

TimeC: A Time Constraint Language for ILP Processor Compilation. - Allen Leung; Krishna V. Palem; Amir Pnueli (Constraints An Int. J., 2002)

Theorem Justification and Acquisition in Dynamic Geometry: A Case of Proof by Contradiction. - Allen Leung; Francis Lopez-Real (Int. J. Comput. Math. Learn., 2002)

Dragging in a Dynamic Geometry Environment Through the Lens of Variation. - Allen Leung (Int. J. Comput. Math. Learn., 2008)

A mapping path for multi-GPGPU accelerated computers from a portable high level programming abstraction. - Allen Leung; Nicolas Vasilache; Benoît Meister; Muthu Manikandan Baskaran; David Wohlford; Cédric Bastoul; Richard Lethin (GPGPU, 2010)

R-Stream Compiler. - Benoît Meister; Nicolas Vasilache; David Wohlford; Muthu Manikandan Baskaran; Allen Leung; Richard Lethin (Encyclopedia of Parallel Computing, 2011)