Designing Software for Ease of Extension and Contraction (1979)

Slides from a lecture series on algebraic geometry for computer graphics (2022)

The Transmeta Code Morphing Software: Using Speculation, Recovery, and Adaptive Retranslation to Address Real-Life Challenges (2003)

UW CSE 391 – System and Software Tools

Algebraic Geometry for Computer Graphics

The MasPar MP-1 architecture (1990)

A Unified Theory of Garbage CollectIon (2004)

A History of Modern 64-bit Computing (2007)

Pilot: An Operating System for a Personal Computer (1980)

Automated Verification of RISC-V Kernel Code (2016)

A study of branch prediction strategies (1981)

The Manchester prototype dataflow computer (1985)

A History of Modern 64-bit Computing

A history of modern 64 bit computing