Past Work at MIT and Yale
Decentralized and Distributed Systems (DEDIS) lab at EPFL
, an accountable anonymous group communication system.
, an experimental operating system for deterministic parallel computing.
Unmanaged Internet Architecture
, a system for naming and connecting mobile devices globally.
Structured Stream Transport
, a new transport protocol for modern Internet applications.
, a safe application-level execution environment for native x86 code.
IETF BEHAVE group
, setting standards for network address translators and
, a simple but powerful memoization-based parsing scheme.
, a component toolkit for building specialized operating systems.
, a microkernel designed around
recursive virtual machines
Google Scholar page
Decentralized and Distributed Systems (DeDiS) Group
Department of Computer Science
Parallel & Distributed Operating Systems (PDOS) Group
Computer Science & Artificial Intelligence Lab
Massachusetts Institute of Technology
Flux Research Group
School of Computing
University of Utah
Other Past Work
, a networking hardware startup.
's now-defunct cardiology unit.
I did on my own.
, where I work.)