Jason Hickey
Assistant Professor of Computer Science
Division of Engineering and Applied Science
California Institute of Technology

Theses advised

[crt-phd-thesis] pdf BibTeX	Ţãpuş, Cristian, Distributed Speculations: Providing Fault-tolerance and Improving Performance, June 2006, Pasadena, CA, http://etd.caltech.edu/etd/available/etd-06022006-140421/.
[crt-ms-thesis] pdf BibTeX	Ţãpuş, Cristian, Kernel Level Distributed Inter-Process Communication System (KDIPC), June 2004, Pasadena, CA, http://etd.caltech.edu/etd/available/etd-08312004-184300/.
[Gra05] link BibTeX	Nathaniel Asoka Gray, High-confidence, modular compiler development in a formal environment, May 2005, Department of Computer Science.
[Smi03] link BibTeX	Justin D. Smith, Fault Tolerance using Whole-Process Migration and Speculative Execution, 2003, Department of Computer Science.
[YH03] pdf BibTeX	Xin Yu and Jason J. Hickey, Formalizing Abstract Algebra in Constructive Set Theory, CSTR2003.004, June 2003, Pasadena, CA, http://caltechcstr.library.caltech.edu/secure/00000491/01/formalaa.pdf.
[Kin02] link BibTeX	Joseph Kiniry, Kind Theory, May 2002, Department of Computer Science.
[Gin01] BibTeX	Paul Ginsparg, Creating a global knowledge network, Second Joint ICSU Press-UNESCO Expert Conference on Electronic Publishing in Science, 2001.
[Zim01] link BibTeX	Daniel Zimmerman, Dynamic UNITY, July 2001, Department of Computer Science (co-advised with Mani Chandy).