Emmy: The Search for Distributed Robustness through Algebraic Properties via Fuzz Testing and Bounded Model Checking (EECS-2026-132)
Nathaniel Macasaet

BeeGees: Stayin' Alive in Chained BFT (EECS-2026-21)
Neil Giridharan, Florian Suri-Payer, Matthew Ding, Heidi Howard, Ittai Abraham and Natacha Crooks

Extending Delayed Fair Sharing: A Generalizable Framework for Multi-Resource Performance Isolation (EECS-2025-97)
James DeLoye, Tyler Griggs, Dev Bali, Wenjie Ma, Audrey Cheng, Jae Hong, Soujanya Ponnapalli, Natacha Crooks, Scott Shenker, Ion Stoica and Matei Zaharia