Allen Leung

According to our database, Allen Leung authored at least 12 papers between 1991 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2011

R-Stream Compiler.

Benoît Meister, Nicolas Vasilache, David Wohlford, Muthu Manikandan Baskaran, Allen Leung, Richard Lethin

Proceedings of the Encyclopedia of Parallel Computing, 2011

2010

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

Proceedings of 3rd Workshop on General Purpose Processing on Graphics Processing Units, 2010

2008

Dragging in a Dynamic Geometry Environment Through the Lens of Variation.

Allen Leung

Int. J. Comput. Math. Learn., 2008

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

TimeC: A Time Constraint Language for ILP Processor Compilation.

Allen Leung, Krishna V. Palem, Amir Pnueli

Constraints An Int. J., 2002

2001

Machine Level Optimizations for High Level Languages.

Allen Leung

PhD thesis, 2001

Scheduling time-constrained instructions on pipelined processors.

Allen Leung, Krishna V. Palem, Amir Pnueli

ACM Trans. Program. Lang. Syst., 2001

1999

Static Single Assignment Form for machine Code.

Allen Leung, Lal George

Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999

1998

A Fast Algorithm for Scheduling Time-Constrained Instructions on Processors with ILP.

Allen Leung, Krishna V. Palem, Amir Pnueli

Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques, 1998

1997

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

1996

Run-time versus compile-time instruction scheduling in superscalar (RISC) processors: performance and tradeoffs.

Allen Leung, Krishna V. Palem, Cristian Ungureanu

Proceedings of the 3rd International Conference on High Performance Computing, 1996

1991

Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy Languages.

Allen Leung, Prateek Mishra

Proceedings of the Functional Programming Languages and Computer Architecture, 1991