My Papers


Reasoning with Simple and Exhaustive Demand in Higher-order Lazy Languages, with Prateek Mishra. In Functional Programming and Computer Architecture '91, pages 328-351. Springer-Verlag, LNCS-523, 1991

Run-Time Versus Compile-Time Instruction Scheduling in Superscalar (RISC) Processors: Performance and Tradeoffs, with Krishna V. Palem, and Cristian Ungureanu. In Proceedings of 3rd International Conference on High Performance Computing, 1996. Also appeared in Journal of Parallel and Distributed Computing, vol 43, 1997

TimeC: A Time Specification Language for ILP Processor Compilation, with Krishna K. Palem, Amir Pnueli, 1998. In The 5th Annual Australasian Conference on Parallel And Real-Time Systems, 1998.

A fast algorithm for scheduling time-constrained instructions on processor with ILP, with Krishna K. Palem, Amir Pnueli, 1998. In The International Conference on Parallel Architectures and Compilation Techniques, 1998.
Extended version, with improved results and full proofs, and corrections. Last updated October 8th, 1999.

Static Single Assignment Form for Machine Code, with Lal George, 1999. In PLDI '99.

A New MLRISC Register Allocator, with Lal George, 1999. This techreport describes the design and implementation of the register allocator in SML/NJ release 110.23+.

MLRISC Annotations, with Lal George, 1999. This note describes the annotation mechanism in the MLRISC customizable code generator.

Frequency Based Live Range Splitting and Rematerialization, Hansoo Kim and Allen Leung, 1999.


Back to my home page Validate this page