Mae Milano
Home
CV
Projects
Publications
Talks
Posts
Teaching
Page not found
Perhaps you were looking for one of these?
Posts
Looking for new PhD students!
My Dissertation is Now Available!
Mixing Consistency with MixT: Technical Report Available!
Publications
Monotonicity and Opportunistically-Batched Actions in Derecho
Initial Steps Toward a Compiler for Distributed Programs
Better Defunctionalization through Lambda Set Specialization
Keep CALM and CRDT On
Katara: Synthesizing CRDTs with Verified Lifting
Talks
Researching with, and as, an Undergraduate Student
Programming Distributed Systems
A New Type System for Fearless Concurrency
Researching with Undergraduates: a Curricular Approach
A developer-centric approach to Fearless Concurrency
Projects
Bringing Fearless Concurrency to the Masses
Hydro: Software that Runs at Every Scale
Morphic: Pure Functional Code at the Speed of C
Gallifrey: a New Language for Distributed Programming
Programming Replicated, Distributed Systems
Cite
×