Author

Alexander Y. Bai

h-index 1 View on Semantic Scholar

We have 2 of 7 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

Compiling WebAssembly Concolic Execution with Staging, Continuations, and Snapshots (Extended Version)

Concolic execution is a variant of symbolic execution that runs a program simultaneously with concrete and symbolic inputs. It records the symbolic constraints encountered along a concrete execution path, then solves those constraints to generate inputs that explore new paths. Existing concolic engines generally follow...

Ding-Hong Zhong, Alexander Y. Bai, Mikail Khan et al. · 0 citations

Jul 2026

Verifying Probabilistic Programs in Rust

Alerus is a framework for verifying probabilistic Rust programs based on Verus, a verification tool for Rust that supports SMT-based automation and separation-logic-inspired reasoning features and extends Verus with support for probabilistic reasoning while retaining these expressive features.

Alexander Y. Bai, Joseph Tassarotti · arXiv.org · 0 citations