Alexander Bai -

Registered user since Wed 29 Jun 2022

Name:Alexander Bai

Country:United States

Affiliation:New York University

Personal website: https://cs.nyu.edu/~ayb5065/

GitHub: https://github.com/ahuoguo

Research interests:Programming Languages, Formal Verification, Automated Reasoning

Contributions

2025

ICFP/SPLASH

SPLASH

Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Author of Metamorph: Synthesizing Large Objects from Dafny Specifications within the OOPSLA-track
Author of Debugging WebAssembly? Put some Whamm on it! within the OOPSLA-track

WebAssembly Workshop

Author of Efficient Concolic Execution of WebAssembly by Compilation and Snapshot Reuse within the WebAssembly Workshop @ ICFP/SPLASH 2025-track

PLDI

WAW

Author of A Big-Step Compositional Continuation-Passing Semantics for WebAssembly within the WAW-track

2024

SPLASH

Video Chair in Organizing Committee

ICFP

Video Co-Chair in Organizing Committee

PLDI

Volunteers Co-Chair in Organizing Committee