Mae Milano

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 10

Top Topics

Situation Calculus

Wavelet Transform

Complex Data Types

Microsoft Sql Server

Top Venues

Proc. ACM Program. Lang.

Proc. VLDB Endow.

Publications

Ramana Nagasamudram, Lennart Beringer, Ken Birman, Mae Milano, David A. Naumann
Verifying a C Implementation of Derecho's Coordination Mechanism Using VST and Coq. NFM (2024)
Joseph M. Hellerstein, Shadaj Laddad, Mae Milano, Conor Power, Mingwei Samuel
Invited Paper: Initial Steps Toward a Compiler for Distributed Programs. CoRR (2023)
Joseph M. Hellerstein, Shadaj Laddad, Mae Milano, Conor Power, Mingwei Samuel
Invited Paper: Initial Steps Toward a Compiler for Distributed Programs. ApPLIED@PODC (2023)
William Brandon, Benjamin Driscoll, Frank Dai, Wilson Berkow, Mae Milano
Better Defunctionalization through Lambda Set Specialization. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Ken Birman, Sagar Jha, Mae Milano, Lorenzo Rosa, Weijia Song, Edward Tremel
Invited Paper: Monotonicity and Opportunistically-Batched Actions in Derecho. SSS (2023)
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein
Keep CALM and CRDT On. CoRR (2022)
Mae Milano, Joshua Turcotti, Andrew C. Myers
A flexible type system for fearless concurrency. PLDI (2022)
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Joseph M. Hellerstein
Synthesizing CRDTs from Sequential Data Types with Verified Lifting. CoRR (2022)
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Joseph M. Hellerstein
Katara: synthesizing CRDTs with verified lifting. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein
Keep CALM and CRDT On. Proc. VLDB Endow. 16 (4) (2022)