Alexander Bai (白与尘)

I'm a first year PhD student at NYU Courant, advised by Joseph Tassarotti. I finished my undergrad at Tufts University, majoring in computer science and mathematics. I was a member of TuPL, where I worked on synthesizing Dafny programs with Jeff and "continuing" Wasm with Guannan¹.

I'm interested in programming languages, formal methods, and automated reasoning. I also have a lasting interest in probabilistic programming languages.

I was a research intern at Bryan Parno's Secure Foundations Lab (2023), and at Ben Titzer's group (2024). Both of these internships are through the REUSE program.
In 2025, I was a research intern at MPI-SWS working with Andrea Lattuada and Derek Dreyer.

Feel free to reach me at alexander.bai@nyu.edu

Alexander Bai

(Photo by Nicole)

Debugging WebAssembly? Put some Whamm on it!
Elizabeth Gilbert, Matthew Schneider, Zixi An, Suhas Thalanki, Wavid Bowman, Alexander Y. Bai, Ben L. Titzer, Heather Miller
Accepted at OOPSLA 2025 [arXiv] [code]
Metamorph: Synthesizing Large Objects from Dafny Specifications
Aleksandr Fedchin, Alexander Y. Bai, Jeffrey S. Foster
OOPSLA 2025 [ACM DL] [artifact] [code]
Reconstructing Continuation-Passing Semantics for WebAssembly
Guannan Wei, Alexander Y. Bai, Dinghong Zhong, Jiatai Zhang
To appear at TFP 2025 [Springer] [code]

Tunable Automation in Automated Program Verification
VSTTE, SRI Headquarters, Oct 2025
Reconstructing Continuation-Passing Semantics for WebAssembly
TFP, Oxford, Jan 2025 [slides]
Metamorph: Synthesizing Large Objects from Dafny APIs
NEPLS, NEU, Sep 2024 [slides]

I TAed a number of courses at Tufts.

Fall 2024: CS 160 Algorithms, EN 1 Exploring Computer Science
Spring 2024: CS 160 Algorithms
Fall 2023: CS 163 Computational Geometry, EN 1 Exploring Computer Science
Spring 2023: CS 105 Programming Languages
Fall 2022: CS 160 Algorithms, CS 170 M1 Theory of Computation

[1] Isn't this the coolest domain name? ↩