Building Bridges: Safe Interactions with Foreign Languages through Omniglot

Tue, 08 Jul 2025 00:00:00 -0400

Flo: A Semantic Foundation for Progressive Stream Processing

Thu, 09 Jan 2025 00:00:00 -0500

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

Sat, 25 May 2024 00:00:00 -0400

Looking for new PhD students!

Fri, 20 Oct 2023 00:00:00 -0400

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 designing new Programming Languages to solve problems in Distributed Systems. I also have active, exciting projects purely in PL or DS.

In systems, I’m excited to build new abstractions and systems for wide-area, local-first, or large-scale distributed systems; really anything where the round-trip latency for communication is way too long, or the cost of coordination is way too high. Active projects in this vein include the Hydro project with Berkeley, the Derecho project with Cornell and Stevens, and some ongoing work with CRDTs.

In Programming Languages, I’m excited to build new languages and type systems which make specific classes of bugs easier for programmers to avoid. This includes things like avoiding concurrent races to ensure safe concurrency, or building new functional languages which feature true zero-cost abstractions. One of my overriding goals in this work is to keep the programmer-facing complexity low; while the type system internals can get complex, the user experience should remain friendly. My ultimate metric: does the language make programs meaningfully easier to “get right” while remaining easy for existing programmers in the domain to understand?

At the intersection, I’ve got lots of ideas on how to build new languages that make distributed systems easier to write and run. Projects in this space include using program synthesis to generate CRDTs that don’t screw with programmer expectations, new transactions languages that keep distributed transactions consistent, or even full programming language designs which rethink how objects can be shared across a distributed program. I’m generally excited to think about how writing communicating programs or programming with distributed storage can be made easier, by taking into account the semantics of the programs.

How does one apply?

Princeton’s Computer Science department features a centralized process for PhD applications; everyone fills out an online application via the graduate school’s application portal, which includes a series of boxes you can check to indicate particular areas of interest. If you’re interested in working with me, then please make sure to check the “Programming Languages” or “Systems” box on the application and mention my name somewhere in your application materials—typically the research statement. You can learn more about the program at the grad program main page, and more about the application itself at the admissions requirements page.

The application Deadline is December 15th

Should I reach out to you before applying?

In short, it’s not necessary.

Many students are encouraged to reach out and directly contact the faculty they want to work with, usually via email. If we’ve got a good research match, or you’ve come across my work before and have ideas of where we could take a collaboration, then by all means feel free to reach out! But please know that this does not affect how—or if—I will read your application. The best way to ensure that I look at your application is to mention my name somewhere in your application. And if you have emailed me or another faculty member without getting a response, then don’t fret! Faculty get a huge volume of email from prospective students, and it’s easy to accidentally miss a few. As long as you apply to the department, we will see your application, even if we’ve missed your email!

Monotonicity and Opportunistically-Batched Actions in Derecho

Sat, 30 Sep 2023 00:00:00 -0400

Initial Steps Toward a Compiler for Distributed Programs

Tue, 20 Jun 2023 00:00:00 -0400

Better Defunctionalization through Lambda Set Specialization

Tue, 06 Jun 2023 00:00:00 -0400

Keep CALM and CRDT On

Thu, 05 Jan 2023 00:00:00 -0500

Researching with Undergraduates: a Curricular Approach

Tue, 20 Dec 2022 00:00:00 -0500

Researching with, and as, an Undergraduate Student

Tue, 20 Dec 2022 00:00:00 -0500

Katara: Synthesizing CRDTs with Verified Lifting

Sat, 01 Oct 2022 00:00:00 -0400

A New Type System for Fearless Concurrency

Mon, 20 Jun 2022 00:00:00 -0400

A developer-centric approach to Fearless Concurrency

Mon, 20 Jun 2022 00:00:00 -0400

Fearless Concurrency PLDI Talk

Mon, 20 Jun 2022 00:00:00 -0400

Programming Distributed Systems

Mon, 20 Jun 2022 00:00:00 -0400

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!

What might we work on together?

How does one apply?

Should I reach out to you before applying?

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