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.

Feel free to reach me at alexander.bai@nyu.edu or abai@mpi-sws.org

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 [code]

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? ↩

Alexander Bai (白与尘)

Papers

Talks

Teaching