Mae Milano

23 papers A* 4A 2C 1Journal 10Unranked 4
YearRankTypeTitle / Venue / Authors
2025 A* conf
Building Bridges: Safe Interactions with Foreign Languages through Omniglot.
OSDI
Leon Schuermann, Jack Toubes, Tyler Potyondy, Pat Pannuto, Mae Milano, Amit Levy
2025 J jnl
Flo: A Semantic Foundation for Progressive Stream Processing.
Proc. ACM Program. Lang.
Shadaj Laddad, Alvin Cheung, Joseph M. Hellerstein, Mae Milano
2024 J jnl
Flo: a Semantic Foundation for Progressive Stream Processing.
CoRR
Shadaj Laddad, Alvin Cheung, Joseph M. Hellerstein, Mae Milano
2024 — ed.
Proceedings of the 12th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design, FARM 2024, Milan, Italy, 2 September 2024
FARM
Mae Milano, Stephen Taylor
2024 — conf
Verifying a C Implementation of Derecho's Coordination Mechanism Using VST and Coq.
NFM
Ramana Nagasamudram, Lennart Beringer, Ken Birman, Mae Milano, David A. Naumann
2023 J jnl
Better Defunctionalization through Lambda Set Specialization.
Proc. ACM Program. Lang.
William Brandon, Benjamin Driscoll, Frank Dai, Wilson Berkow, Mae Milano
2023 — conf
Invited Paper: Initial Steps Toward a Compiler for Distributed Programs.
ApPLIED@PODC
Joseph M. Hellerstein, Shadaj Laddad, Mae Milano, Conor Power, Mingwei Samuel
2023 J jnl
Invited Paper: Initial Steps Toward a Compiler for Distributed Programs.
CoRR
Joseph M. Hellerstein, Shadaj Laddad, Mae Milano, Conor Power, Mingwei Samuel
2023 C conf
Invited Paper: Monotonicity and Opportunistically-Batched Actions in Derecho.
SSS
Ken Birman, Sagar Jha, Mae Milano, Lorenzo Rosa, Weijia Song, Edward Tremel
2023 — ed.
Proceedings of the 11th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design, FARM 2023, Seattle, WA, USA, 8 September 2023
FARM
Mae Milano, John Leo
2022 A* conf
A flexible type system for fearless concurrency.
PLDI
Mae Milano, Joshua Turcotti, Andrew C. Myers
2022 J jnl
Katara: synthesizing CRDTs with verified lifting.
Proc. ACM Program. Lang.
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Joseph M. Hellerstein
2022 J jnl
Keep CALM and CRDT On.
CoRR
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein
2022 J jnl
Keep CALM and CRDT On.
Proc. VLDB Endow.
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein
2022 J jnl
Synthesizing CRDTs from Sequential Data Types with Verified Lifting.
CoRR
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Joseph M. Hellerstein
2021 A conf
New Directions in Cloud Programming.
CIDR
Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein, Mae Milano
2021 J jnl
New Directions in Cloud Programming.
CoRR
Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein, Mae Milano
2019 — conf
A Tour of Gallifrey, a Language for Geodistributed Programming.
SNAPL
Mae Milano, Rolph Recto, Tom Magrino, Andrew C. Myers
2018 J jnl
Derecho: Fast State Machine Replication for Cloud Services.
ACM Trans. Comput. Syst.
Sagar Jha, Jonathan Behrens, Theo Gkountouvas, Mae Milano, Weijia Song, Edward Tremel, Robbert van Renesse, Sydney Zink, Kenneth P. Birman
2018 A* conf
MixT: a language for mixing consistency in geodistributed transactions.
PLDI
Mae Milano, Andrew C. Myers
2017 — conf
Building smart memories and high-speed cloud services for the internet of things with derecho.
SoCC
Sagar Jha, Jonathan Behrens, Theo Gkountouvas, Mae Milano, Weijia Song, Edward Tremel, Sydney Zink, Ken Birman, Robbert van Renesse
2015 A* conf
A Coalgebraic Decision Procedure for NetKAT.
POPL
Nate Foster, Dexter Kozen, Mae Milano, Alexandra Silva, Laure Thompson
2013 A conf
Python: the full monty.
OOPSLA
Joe Gibbs Politz, Alejandro Martinez, Mae Milano, Sumner Warren, Daniel Patterson, Junsong Li, Anand Chitipothu, Shriram Krishnamurthi