• 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