Follow
Mae Milano
Title
Cited by
Cited by
Year
A Coalgebraic Decision Procedure for NetKAT
N Foster, D Kozen, M Milano, A Silva, L Thompson
POPL '15 Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on …, 2015
1172015
Derecho: Fast state machine replication for cloud services
S Jha, J Behrens, T Gkountouvas, M Milano, W Song, E Tremel, ...
ACM Transactions on Computer Systems (TOCS) 36 (2), 1-49, 2019
88*2019
Python: The full monty
JG Politz, A Martinez, M Milano, S Warren, D Patterson, J Li, A Chitipothu, ...
ACM SIGPLAN Notices 48 (10), 217-232, 2013
772013
MixT: A language for mixing consistency in geodistributed transactions
M Milano, AC Myers
ACM SIGPLAN Notices 53 (4), 226-241, 2018
572018
New directions in cloud programming
A Cheung, N Crooks, JM Hellerstein, M Milano
arXiv preprint arXiv:2101.01159, 2021
272021
A tour of gallifrey, a language for geodistributed programming
M Milano, R Recto, T Magrino, AC Myers
3rd Summit on Advances in Programming Languages (SNAPL 2019), 2019
162019
Katara: Synthesizing CRDTs with verified lifting
S Laddad, C Power, M Milano, A Cheung, JM Hellerstein
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1349-1377, 2022
132022
A flexible type system for fearless concurrency
M Milano, J Turcotti, AC Myers
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
112022
Building smart memories and high-speed cloud services for the internet of things with derecho
S Jha, J Behrens, T Gkountouvas, M Milano, W Song, E Tremel, S Zink, ...
Proceedings of the 2017 Symposium on Cloud Computing, 632-632, 2017
5*2017
Better Defunctionalization through Lambda Set Specialization
W Brandon, B Driscoll, F Dai, W Berkow, M Milano
Proceedings of the ACM on Programming Languages 7 (PLDI), 977-1000, 2023
12023
Keep CALM and CRDT On
S Laddad, C Power, M Milano, A Cheung, N Crooks, JM Hellerstein
arXiv preprint arXiv:2210.12605, 2022
12022
Monotonicity and Opportunistically-Batched Actions in Derecho
K Birman, S Jha, M Milano, L Rosa, W Song, E Tremel
International Symposium on Stabilizing, Safety, and Security of Distributed …, 2023
2023
Initial Steps Toward a Compiler for Distributed Programs
JM Hellerstein, S Laddad, M Milano, C Power, M Samuel
Proceedings of the 5th workshop on Advanced tools, programming languages …, 2023
2023
Programming Safely with Weak (And Strong) Consistency
MP Milano
Cornell University, 2020
2020
Derecho’s Extensible, Intelligent Object Store
W Song, M Milano, S Jha, E Tremel, X Yang, K Birman
2019
The system can't perform the operation now. Try again later.
Articles 1–15