Python: the full monty. - Joe Gibbs Politz; Alejandro Martinez; Mae Milano; Sumner Warren; Daniel Patterson 001; Junsong Li; Anand Chitipothu; Shriram Krishnamurthi (OOPSLA, 2013)

A Coalgebraic Decision Procedure for NetKAT. - Nate Foster; Dexter Kozen; Mae Milano; Alexandra Silva 001; Laure Thompson (POPL, 2015)

Building smart memories and high-speed cloud services for the internet of things with derecho. - Sagar Jha; Jonathan Behrens; Theo Gkountouvas; Mae Milano; Weijia Song; Edward Tremel; Sydney Zink; Ken Birman; Robbert van Renesse (SoCC, 2017)

MixT: a language for mixing consistency in geodistributed transactions. - Mae Milano; Andrew C. Myers (PLDI, 2018)

Derecho: Fast State Machine Replication for Cloud Services. - Sagar Jha; Jonathan Behrens; Theo Gkountouvas; Mae Milano; Weijia Song; Edward Tremel; Robbert van Renesse; Sydney Zink; Kenneth P. Birman (ACM Trans. Comput. Syst., 2018)

A Tour of Gallifrey, a Language for Geodistributed Programming. - Mae Milano; Rolph Recto; Tom Magrino; Andrew C. Myers (SNAPL, 2019)

New Directions in Cloud Programming. - Alvin Cheung; Natacha Crooks; Joseph M. Hellerstein; Mae Milano (CIDR, 2021)

A flexible type system for fearless concurrency. - Mae Milano; Joshua Turcotti; Andrew C. Myers (PLDI, 2022)

Synthesizing CRDTs from Sequential Data Types with Verified Lifting. - Shadaj Laddad; Conor Power; Mae Milano; Alvin Cheung; Joseph M. Hellerstein (CoRR, 2022)

Katara: synthesizing CRDTs with verified lifting. - Shadaj Laddad; Conor Power; Mae Milano; Alvin Cheung; Joseph M. Hellerstein (Proc. ACM Program. Lang., 2022)

Keep CALM and CRDT On. - Shadaj Laddad; Conor Power; Mae Milano; Alvin Cheung; Natacha Crooks; Joseph M. Hellerstein (Proc. VLDB Endow., 2022)

Invited Paper: Initial Steps Toward a Compiler for Distributed Programs. - Joseph M. Hellerstein; Shadaj Laddad; Mae Milano; Conor Power; Mingwei Samuel (ApPLIED@PODC, 2023)

Invited Paper: Monotonicity and Opportunistically-Batched Actions in Derecho. - Ken Birman; Sagar Jha; Mae Milano; Lorenzo Rosa; Weijia Song; Edward Tremel (SSS, 2023)

Better Defunctionalization through Lambda Set Specialization. - William Brandon; Benjamin Driscoll; Frank Dai; Wilson Berkow; Mae Milano (Proc. ACM Program. Lang., 2023)

Verifying a C Implementation of Derecho's Coordination Mechanism Using VST and Coq. - Ramana Nagasamudram; Lennart Beringer; Ken Birman; Mae Milano; David A. Naumann (NFM, 2024)

Verifying a C implementation of Derecho's coordination mechanism using VST and Coq (artifact). - Ramana Nagasamudram; Lennart Beringer; Ken Birman; Mae Milano; David A. Naumann (Zenodo, 2024)

Building Bridges: Safe Interactions with Foreign Languages through Omniglot. - Leon Schuermann; Jack Toubes; Tyler Potyondy; Pat Pannuto; Mae Milano; Amit Levy (OSDI, 2025)

Flo: A Semantic Foundation for Progressive Stream Processing. - Shadaj Laddad; Alvin Cheung; Joseph M. Hellerstein; Mae Milano (Proc. ACM Program. Lang., 2025)