Keith H. Randall

I am now a software engineer at Google.

I was a research scientist at Compaq's System Research Center (SRC) in Palo Alto.

Papers

• to appear in PLDI '02: Denali: A Goal-directed Superoptimizer.
• PLDI '01: Related Field Analysis.
• WRL Tech Report 2000.2: The Swift Java Compiler: Design and Implementation.
• PLDI '00: Field Analysis: Getting Useful and Low-cost Interprocedural Information.
• Accurate Constant-z Scanline Perspective Texture Mapping.
• PhD Thesis: Cilk: Efficient Multithreaded Computing.
• Using de Bruijn Sequences to Index a 1 in a Computer Word.
• SPAA '98: Detecting Data Races in Cilk Programs that Use Locks.
• Zeitschrift fur Kristallographie '97: Enumeration of Periodic Tetrahedral Frameworks.
• PLDI '98: The Implementation of the Cilk-5 Multithreaded Language.
• MIT Student Workshop '98: Solving Rubik's Cube.
• SPAA '96: An Analysis of Dag-Consistent Distributed Shared-Memory Algorithms
• IPPS '96: Dag-Consistent Distributed Shared Memory
• PPoPP '95, JPDC '96: Cilk: An Efficient Multithreaded Runtime System
• SPAA '95, Theory of Computing Systems '97: Parallel Algorithms for the Circuit Value Update Problem
• Masters' Thesis: Virtual Networks: Implementation and Analysis
• Bachelors' Thesis: An Experimental Comparison of Edge-Triggering and Level-Clocking

Hobbies

• Volleyball, volleyball, and more volleyball. Also, Ultimate, skiing, and hiking.
• Check out Meridian 59, a 3D interactive adventure game on the internet! I helped write the most excellent texture-mapped graphics.
• Rubik's cube

Address

Fun Stuff