My research has won Best Paper at NSDI, and been published at SIGCOMM, EuroSys, and PAM, alongside a granted time-synchronization patent.
A Method and Apparatus for Network Time Syncing
A server-initiated alternative to PTP that uses Layer 1 networking and high-precision timestamps to estimate network delay, reaching roughly 50 picoseconds of synchronization accuracy.
Downloading Hardware: The Quiet Revolution in Networking
How FPGAs let small companies like Exablaze out-innovate established networking vendors on ultra-low-latency hardware for high-frequency trading.
Where Has My Time Gone?
A holistic, experimentally grounded breakdown of where latency actually goes as a packet moves from the application layer to the wire.
Enabling End-Host Network Functions
Eden, an architecture that moves network functions like load balancing and congestion control out of the network and into the end host, where they can see application-level state.
Queues Don't Matter If You Can JUMP Them!
QJump, a deployable QoS scheme that lets latency-sensitive traffic jump ahead of throughput-hungry traffic in the queue, awarded Best Paper at NSDI 2015 (watch the talk).
Musketeer: All for One, One for All in Data Processing Systems
Musketeer, a workflow manager that decouples how a data-processing job is described from the engine that runs it, mapping four query languages onto seven different execution backends.
Jump the Queue to Lower Latency
A ;login: magazine walkthrough of QJump, showing how giving latency-sensitive traffic priority in the queue cuts tail latency under real Hadoop and Naiad workloads.
seL4 Reference Manual
The official API reference manual for the seL4 microkernel, covering system calls, capabilities, and kernel objects.
New Wine in Old Skins: The Case for Distributed Operating Systems in the Data Center
A position paper arguing that distributed operating systems, out of academic favor since the 1980s, deserve a second look as the natural abstraction for the modern data center.
R2D2: Bufferless, Switchless Data Center Networks Using Commodity Ethernet Hardware
R2D2, a bufferless, switchless data center network design built from commodity Ethernet hardware that pushes in-network latency toward the physical speed-of-light limit.
CamIO: Declaring Flexible and Performant Application I/O
CamIO, a flexible application I/O interface that lets software switch between transport primitives at runtime instead of committing to one at compile time.
uvNIC: Rapid Prototyping Network Interface Controller Device Drivers
uvNIC, a userspace virtual NIC framework that lets driver developers write and test FPGA NIC device drivers before the hardware itself is finished.