Mae Milano
Mae Milano
Bestätigte E-Mail-Adresse bei - Startseite
Zitiert von
Zitiert von
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
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
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
MixT: A language for mixing consistency in geodistributed transactions
M Milano, AC Myers
ACM SIGPLAN Notices 53 (4), 226-241, 2018
New directions in cloud programming
A Cheung, N Crooks, JM Hellerstein, M Milano
arXiv preprint arXiv:2101.01159, 2021
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
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
A flexible type system for fearless concurrency
M Milano, J Turcotti, AC Myers
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
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
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
Keep CALM and CRDT On
S Laddad, C Power, M Milano, A Cheung, N Crooks, JM Hellerstein
arXiv preprint arXiv:2210.12605, 2022
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
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
Programming Safely with Weak (And Strong) Consistency
MP Milano
Cornell University, 2020
Derecho’s Extensible, Intelligent Object Store
W Song, M Milano, S Jha, E Tremel, X Yang, K Birman
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–15