Allen Leung

Publication Activity (10 Years)

Years Active: 1991-2010
Publications (10 Years): 0

Publications

Allen Leung, Nicolas Vasilache, Benoît Meister, Muthu Manikandan Baskaran, David Wohlford, Cédric Bastoul, Richard Lethin
A mapping path for multi-GPGPU accelerated computers from a portable high level programming abstraction. GPGPU (2010)
Allen Leung
Dragging in a Dynamic Geometry Environment Through the Lens of Variation. Int. J. Comput. Math. Learn. 13 (2) (2008)
Allen Leung, Krishna V. Palem, Amir Pnueli
TimeC: A Time Constraint Language for ILP Processor Compilation. Constraints An Int. J. 7 (2) (2002)
Allen Leung, Francis Lopez-Real
Theorem Justification and Acquisition in Dynamic Geometry: A Case of Proof by Contradiction. Int. J. Comput. Math. Learn. 7 (2) (2002)
Allen Leung, Krishna V. Palem, Amir Pnueli
Scheduling time-constrained instructions on pipelined processors. ACM Trans. Program. Lang. Syst. 23 (1) (2001)
Allen Leung, Lal George
Static Single Assignment Form for machine Code. PLDI (1999)
Allen Leung, Krishna V. Palem, Amir Pnueli
A Fast Algorithm for Scheduling Time-Constrained Instructions on Processors with ILP. IEEE PACT (1998)
Allen Leung, Krishna V. Palem, Cristian Ungureanu
Run-Time versus Compile-Time Instruction Scheduling in Superscalar (RISC) Processors: Performance and Trade-Off. J. Parallel Distributed Comput. 45 (1) (1997)
Allen Leung, Krishna V. Palem, Cristian Ungureanu
Run-time versus compile-time instruction scheduling in superscalar (RISC) processors: performance and tradeoffs. HiPC (1996)
Allen Leung, Prateek Mishra
Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy Languages. FPCA (1991)