Sequence-Based Software Specification of Deterministic Systems.
Building a Retargetable Local Instruction Scheduler.
Elastic Windows: Design, Implementation, and Evaluation of Multiwindow Operations.
A Formal Introduction to the Compilation of Java.
Maintaining Consistency in a Replicated Software Archive.