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
1202015
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
92*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
342021
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
192019
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
172022
A flexible type system for fearless concurrency
M Milano, J Turcotti, AC Myers
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
122022
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
42022
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
22023
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
22023
Verifying a C Implementation of Derecho’s Coordination Mechanism Using VST and Coq
R Nagasamudram, L Beringer, K Birman, M Milano, DA Naumann
NASA Formal Methods Symposium, 99-117, 2024
2024
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
Verifying a C Implementation of Derecho’s Coordination Mechanism Using VST and Coq
M Milano, DA Naumann
NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field …, 0
The system can't perform the operation now. Try again later.
Articles 1–17