| 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 | 126 | 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 | 97* | 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 | 82 | 2013 |
| MixT: A language for mixing consistency in geodistributed transactions M Milano, AC Myers ACM SIGPLAN Notices 53 (4), 226-241, 2018 | 62 | 2018 |
| New directions in cloud programming A Cheung, N Crooks, JM Hellerstein, M Milano arXiv preprint arXiv:2101.01159, 2021 | 40 | 2021 |
| 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 | 21 | 2022 |
| 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 | 21 | 2019 |
| A flexible type system for fearless concurrency M Milano, J Turcotti, AC Myers Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 16 | 2022 |
| Keep CALM and CRDT on S Laddad, C Power, M Milano, A Cheung, N Crooks, JM Hellerstein arXiv preprint arXiv:2210.12605, 2022 | 10 | 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 | 5* | 2017 |
| 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 | 2 | 2023 |
| 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 | 2 | 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 | 1 | 2023 |
| Flo: A Semantic Foundation for Progressive Stream Processing S Laddad, A Cheung, JM Hellerstein, M Milano Proceedings of the ACM on Programming Languages 9 (POPL), 241-270, 2025 | | 2025 |
| 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 |
| Chairs' Welcome M Milano, J Leo, K Eaton, M Sperber FARM 2023-Proceedings of the 11th ACM SIGPLAN International Workshop on …, 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 |
| Scalable FormalVerification in High-Level Hardware Languages A Dobis, F Schuiki, B Healy, H Ueno, M Erhart, L Truong, M Milano | | |
| 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 | | |
Kenneth P. BirmanCornell UniversityVerified email at cs.cornell.edu