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
89*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
312021
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
142022
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
Keep CALM and CRDT On
S Laddad, C Power, M Milano, A Cheung, N Crooks, JM Hellerstein
arXiv preprint arXiv:2210.12605, 2022
22022
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
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