Mae Milano on Mae Milano

Building Bridges: Safe Interactions with Foreign Languages through Omniglot

Flo: A Semantic Foundation for Progressive Stream Processing

Verifying a C Implementation of Derecho’s Coordination Mechanism Using VST and Coq

Looking for new PhD students!

I’m actively looking for new PhD students! Hey! If you’ve found this page, you’re (hopefully) looking at me as a potential advisor for a PhD in computer science. Welcome! I’m starting at Princeton for next semester (officially January 17th 2024), which makes fall 2023 the perfect time to apply to the PhD program! What might we work on together? My research focuses on…

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

Researching with Undergraduates: a Curricular Approach

Researching with, and as, an Undergraduate Student

Katara: Synthesizing CRDTs with Verified Lifting

A New Type System for Fearless Concurrency

A developer-centric approach to Fearless Concurrency

Fearless Concurrency PLDI Talk

Programming Distributed Systems