Mae Milano - RankMe

23 papers A* 4A 2C 1Journal 10Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Building Bridges: Safe Interactions with Foreign Languages through Omniglot. OSDI Leon Schuermann, Jack Toubes, Tyler Potyondy, Pat Pannuto, Mae Milano, Amit Levy
2025	J	`jnl`	Flo: A Semantic Foundation for Progressive Stream Processing. Proc. ACM Program. Lang. Shadaj Laddad, Alvin Cheung, Joseph M. Hellerstein, Mae Milano
2024	J	`jnl`	Flo: a Semantic Foundation for Progressive Stream Processing. CoRR Shadaj Laddad, Alvin Cheung, Joseph M. Hellerstein, Mae Milano
2024	—	`ed.`	Proceedings of the 12th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design, FARM 2024, Milan, Italy, 2 September 2024 FARM Mae Milano, Stephen Taylor
2024	—	`conf`	Verifying a C Implementation of Derecho's Coordination Mechanism Using VST and Coq. NFM Ramana Nagasamudram, Lennart Beringer, Ken Birman, Mae Milano, David A. Naumann
2023	J	`jnl`	Better Defunctionalization through Lambda Set Specialization. Proc. ACM Program. Lang. William Brandon, Benjamin Driscoll, Frank Dai, Wilson Berkow, Mae Milano
2023	—	`conf`	Invited Paper: Initial Steps Toward a Compiler for Distributed Programs. ApPLIED@PODC Joseph M. Hellerstein, Shadaj Laddad, Mae Milano, Conor Power, Mingwei Samuel
2023	J	`jnl`	Invited Paper: Initial Steps Toward a Compiler for Distributed Programs. CoRR Joseph M. Hellerstein, Shadaj Laddad, Mae Milano, Conor Power, Mingwei Samuel
2023	C	`conf`	Invited Paper: Monotonicity and Opportunistically-Batched Actions in Derecho. SSS Ken Birman, Sagar Jha, Mae Milano, Lorenzo Rosa, Weijia Song, Edward Tremel
2023	—	`ed.`	Proceedings of the 11th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design, FARM 2023, Seattle, WA, USA, 8 September 2023 FARM Mae Milano, John Leo
2022	A*	`conf`	A flexible type system for fearless concurrency. PLDI Mae Milano, Joshua Turcotti, Andrew C. Myers
2022	J	`jnl`	Katara: synthesizing CRDTs with verified lifting. Proc. ACM Program. Lang. Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Joseph M. Hellerstein
2022	J	`jnl`	Keep CALM and CRDT On. CoRR Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein
2022	J	`jnl`	Keep CALM and CRDT On. Proc. VLDB Endow. Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein
2022	J	`jnl`	Synthesizing CRDTs from Sequential Data Types with Verified Lifting. CoRR Shadaj Laddad, Conor Power, Mae Milano, Alvin Cheung, Joseph M. Hellerstein
2021	A	`conf`	New Directions in Cloud Programming. CIDR Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein, Mae Milano
2021	J	`jnl`	New Directions in Cloud Programming. CoRR Alvin Cheung, Natacha Crooks, Joseph M. Hellerstein, Mae Milano
2019	—	`conf`	A Tour of Gallifrey, a Language for Geodistributed Programming. SNAPL Mae Milano, Rolph Recto, Tom Magrino, Andrew C. Myers
2018	J	`jnl`	Derecho: Fast State Machine Replication for Cloud Services. ACM Trans. Comput. Syst. Sagar Jha, Jonathan Behrens, Theo Gkountouvas, Mae Milano, Weijia Song, Edward Tremel, Robbert van Renesse, Sydney Zink, Kenneth P. Birman
2018	A*	`conf`	MixT: a language for mixing consistency in geodistributed transactions. PLDI Mae Milano, Andrew C. Myers
2017	—	`conf`	Building smart memories and high-speed cloud services for the internet of things with derecho. SoCC Sagar Jha, Jonathan Behrens, Theo Gkountouvas, Mae Milano, Weijia Song, Edward Tremel, Sydney Zink, Ken Birman, Robbert van Renesse
2015	A*	`conf`	A Coalgebraic Decision Procedure for NetKAT. POPL Nate Foster, Dexter Kozen, Mae Milano, Alexandra Silva, Laure Thompson
2013	A	`conf`	Python: the full monty. OOPSLA Joe Gibbs Politz, Alejandro Martinez, Mae Milano, Sumner Warren, Daniel Patterson, Junsong Li, Anand Chitipothu, Shriram Krishnamurthi