Hickey, Jason J.

Advisor — 8 thesises

• Țăpuș, Cristian — Distributed Speculations: Providing Fault-Tolerance and Improving Performance (2006, Dissertation (Ph.D.))
• Smith, Justin David — Fault Tolerance Using Whole-Process Migration and Speculative Execution (2003, Master's thesis)
• Gray, Nathaniel Asoka — High-Confidence, Modular Compiler Development in a Formal Environment (2005, Master's thesis)
• Țăpuș, Cristian — Kernel Level Distributed Inter-Process Communication System (KDIPC) (2004, Master's thesis)
• Kiniry, Joseph Roland — Kind Theory (2002, Dissertation (Ph.D.))
• Noblet, David Alexander — MojaveComm: a View-Oriented Group Communication Protocol with Support for Virtual Synchrony (2008, Master's thesis)
• White, Jerome S. — Receive Buffer Dynamics and OS Scheduling (2008, Master's thesis)
• Yu, Xin — Reflection and Its Application to Mechanized MetaReasoning About Programming Languages (2007, Dissertation (Ph.D.))