Mae Milano

According to our database, Mae Milano authored at least 15 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Verifying a C Implementation of Derecho's Coordination Mechanism Using VST and Coq.

Ramana Nagasamudram, Lennart Beringer, Ken Birman, Mae Milano, David A. Naumann

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2023

Better Defunctionalization through Lambda Set Specialization.

William Brandon, Benjamin Driscoll, Frank Dai, Wilson Berkow, Mae Milano

Proc. ACM Program. Lang., 2023

Invited Paper: Monotonicity and Opportunistically-Batched Actions in Derecho.

Ken Birman, Sagar Jha, Mae Milano, Lorenzo Rosa, Weijia Song, Edward Tremel

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2023

Invited Paper: Initial Steps Toward a Compiler for Distributed Programs.

Joseph M. Hellerstein, Shadaj Laddad, Mae Milano, Conor Power, Mingwei Samuel

Proceedings of the 5th workshop on Advanced tools, 2023

2022

Keep CALM and CRDT On.

Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein

Proc. VLDB Endow., 2022

Katara: synthesizing CRDTs with verified lifting.

Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Joseph M. Hellerstein

Proc. ACM Program. Lang., 2022

Synthesizing CRDTs from Sequential Data Types with Verified Lifting.

Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Joseph M. Hellerstein

CoRR, 2022

A flexible type system for fearless concurrency.

Mae Milano, Joshua Turcotti, Andrew C. Myers

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

New Directions in Cloud Programming.

Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein, Mae Milano

Proceedings of the 11th Conference on Innovative Data Systems Research, 2021

2019

A Tour of Gallifrey, a Language for Geodistributed Programming.

Mae Milano, Rolph Recto, Tom Magrino, Andrew C. Myers

Proceedings of the 3rd Summit on Advances in Programming Languages, 2019

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

MixT: a language for mixing consistency in geodistributed transactions.

Mae Milano, Andrew C. Myers

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017

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

Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

2015

A Coalgebraic Decision Procedure for NetKAT.

Nate Foster, Dexter Kozen, Mae Milano, Alexandra Silva, Laure Thompson

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2013

Python: the full monty.

Joe Gibbs Politz, Alejandro Martinez, Mae Milano, Sumner Warren, Daniel Patterson, Junsong Li, Anand Chitipothu, Shriram Krishnamurthi

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013