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
1062015
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
642013
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
512019
MixT: A language for mixing consistency in geodistributed transactions
M Milano, AC Myers
ACM SIGPLAN Notices 53 (4), 226-241, 2018
392018
New directions in cloud programming
A Cheung, N Crooks, JM Hellerstein, M Milano
arXiv preprint arXiv:2101.01159, 2021
142021
Derecho: Group communication at the speed of light
J Behrens, K Birman, S Jha, M Milano, E Tremel, E Bagdasaryan, ...
Technical report, Technical Report. Cornell University, 2016
142016
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
122019
Groups, Subgroups and Auto-Sharding in Derecho: A Customizable RDMA Framework for Highly Available Cloud Services
K Birman, J Behrens, S Jha, M Milano, E Tremel, R Van Renesse
Submitted to NSDI ‘17, 2016
42016
A flexible type system for fearless concurrency
M Milano, J Turcotti, AC Myers
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
22022
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
22017
Building Smart Memories and Cloud Services with Derecho
S Jha, J Behrens, T Gkountouvas, M Milano, W Song, E Tremel, S Zink, ...
Technical Report, 2017
22017
Mixing consistency in geodistributed transactions: Technical report
MP Milano, AC Myers
22016
Synthesizing CRDTs from Sequential Data Types with Verified Lifting
S Laddad, C Power, M Milano, A Cheung, JM Hellerstein
arXiv preprint arXiv:2205.12425, 2022
2022
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
A Language for Mixing Consistency in Geodistributed Transactions: Technical Report
M MILANO, AC MYERS
2018
The system can't perform the operation now. Try again later.
Articles 1–16