Greetings from Bellevue, Washington!

  • I am the creator and lead dev of Theseus OS, a novel OS written from scratch entirely in Rust.
  • Futurewei Technologies is funding our ongoing open-source work on Theseus OS.
  • I completed my PhD at Rice University working with Dr. Lin Zhong, now at Yale University.
  • For more, check out Theseus's technical blog or my CV.



  • Recent News

    • Our poster about correct and performant device drivers atop Theseus OS appeared in OSDI 2022. —   July 2022
    • Our ongoing work on Theseus OS has been funded by Futurewei Technologies! —   June 2021
    • Attending OSDI 2020 (virtually from home) to present our work on Theseus OS. —   November 4, 2020
    • Continuing our work on Theseus OS as a Research Engineer at Rice and Yale University. —   September 2020
    • Our paper on Theseus OS's structure and state management, was accepted into OSDI 2020.   —   August 24, 2020
    • Joining Microsoft Research for the summer, working with Sanjeev Mehrotra & Anuj Kalia.   —   June 29, 2020
    • Defended my dissertation (virtually from home) on Theseus OS. —   June 2020
    • Attending SOSP 2017 in Shanghai to present our Theseus OS paper at PLOS.   —   October 28, 2017
    • Our paper on a state spill-free OS design was accepted into PLOS 2017.   —   September 8, 2017
    • Attending MobiSys 2017 in Niagara Falls as the co-chair of the PhD Forum.   —   June 19, 2017
    • Our paper on State Spill characterization was accepted into EuroSys 2017.   —   January 23, 2017
    • In Singapore, demoing and presenting our work on Mobile VR at MobiSys 2016.  —   June 26, 2016
    • Our paper on Mobile VR was accepted into MobiSys 2016.   —   February 23, 2016
    • In Tokyo, presenting our paper at APSys 2015.  —   July 27, 2015
    • Our paper was accepted into APSys 2015.   —   June 19, 2015
    • Joining Microsoft Research for the summer, working with David Chu & Eduardo Cuervo.   —   June 1, 2015
    • Received Best Paper Award at MobiSys 2014.   —   June 18, 2014
    • Attending MobiSys 2014 in New Hampshire; presented at the PhD Forum.   —   June 16, 2014
    • In Chicago for the summer, working at ARRIS Applied Research.   —   May 27, 2014
    • Our paper on mobile I/O sharing was accepted into MobiSys 2014.   —   March 2, 2014
    • Attending ASPLOS 2014 and VEE in Salt Lake City.   —   March 1-5, 2014
    • Our paper on secure I/O paravirtualization was accepted into ASPLOS 2014.   —   November 1, 2013
    • Received NSF Honorable Mention Award.   —   March 29, 2013

    Latest Blog Post — Porting Wasmtime to no_std atop Theseus

    Our experience implementing the first ever no_std port of the Wasmtime WASM runtime project, which now runs on Theseus. This is the final post in a multi-part series that provides a detailed overview of Wasmtime and its many components, which can serve as a guide to porting Wasmtime to other platforms.
    Read more here....