SVE: Distributed Video Processing at Facebook Scale. - Qi Huang; Petchean Ang; Peter Knowles; Tomasz Nykiel; Iaroslav Tverdokhlib; Amit Yajurvedi; Paul Dapolito IV; Xifan Yan; Maxim Bykov; Chuen Liang; Mohit Talwar; Abhishek Mathur; et al. (SOSP, 2017)

Obladi: Oblivious Serializable Transactions in the Cloud. - Natacha Crooks; Matthew Burke 001; Ethan Cecchetti; Sitar Harel; Rachit Agarwal 001; Lorenzo Alvisi (OSDI, 2018)

Gryff: Unifying Consensus and Shared Registers. - Matthew Burke 001; Audrey Cheng; Wyatt Lloyd (NSDI, 2020)

PRISM: Rethinking the RDMA Interface for Distributed Systems. - Matthew Burke 001; Sowmya Dharanipragada; Shannon Joyner; Adriana Szekeres; Jacob Nelson 001; Irene Zhang; Dan R. K. Ports (SOSP, 2021)

Regular Sequential Serializability and Regular Sequential Consistency. - Jeffrey Helt; Matthew Burke 001; Amit Levy; Wyatt Lloyd (SOSP, 2021)

Basil: Breaking up BFT with ACID (transactions). - Florian Suri-Payer; Matthew Burke 001; Zheng Wang 078; Yunhao Zhang; Lorenzo Alvisi; Natacha Crooks (SOSP, 2021)

Morty: Scaling Concurrency Control with Re-Execution. - Matthew Burke 001; Florian Suri-Payer; Jeffrey Helt; Lorenzo Alvisi; Natacha Crooks (EuroSys, 2023)