- Anirban Biswas, Kevin Bi: Bugs in KVM and QEMU
- Jacob Van Geffen: Synthesizing an eBPF compiler
- Logan Weber: μTVM
- Ming Liu, Tianyi Cui, Kevin Zhao: A predictable low-latency networking stack using credit-based flow control
- Sorawee Porncharoenwase: Symbolic optimization coaching