Mae Milano

Orcid: 0000-0003-3126-7771

Affiliations:
  • University of California, Berkeley, Sky Computing Lab, CA, USA
  • Cornell University, Ithaca, NY, USA (former, PhD 2020)


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Verifying a C Implementation of Derecho's Coordination Mechanism Using VST and Coq.
Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2023
Better Defunctionalization through Lambda Set Specialization.
Proc. ACM Program. Lang., 2023

Invited Paper: Monotonicity and Opportunistically-Batched Actions in Derecho.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2023

Invited Paper: Initial Steps Toward a Compiler for Distributed Programs.
Proceedings of the 5th workshop on Advanced tools, 2023

2022
Keep CALM and CRDT On.
Proc. VLDB Endow., 2022

Katara: synthesizing CRDTs with verified lifting.
Proc. ACM Program. Lang., 2022

Synthesizing CRDTs from Sequential Data Types with Verified Lifting.
CoRR, 2022

A flexible type system for fearless concurrency.
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.
Proceedings of the 11th Conference on Innovative Data Systems Research, 2021

2019
A Tour of Gallifrey, a Language for Geodistributed Programming.
Proceedings of the 3rd Summit on Advances in Programming Languages, 2019

2018
Derecho: Fast State Machine Replication for Cloud Services.
ACM Trans. Comput. Syst., 2018

MixT: a language for mixing consistency in geodistributed transactions.
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.
Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

2015
A Coalgebraic Decision Procedure for NetKAT.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2013
Python: the full monty.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013


  Loading...