Alexander Y. Bai

Orcid: 0009-0009-7458-7864

According to our database¹, Alexander Y. Bai authored at least 4 papers in 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2025

Tunable Automation in Automated Program Verification.

[BibT_eX]

[DOI]

Alexander Y. Bai

Chris Hawblitzel

Andrea Lattuada

CoRR, December, 2025

Debugging WebAssembly? Put Some Whamm on It!

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2025

Metamorph: Synthesizing Large Objects from Dafny Specifications.

[BibT_eX]

[DOI]

Aleksandr Fedchin

Alexander Y. Bai

Jeffrey S. Foster

Proc. ACM Program. Lang., 2025

Reconstructing Continuation-Passing Semantics for WebAssembly.

[BibT_eX]

[DOI]

Proceedings of the Trends in Functional Programming - 26th International Symposium, 2025

Alexander Y. Bai

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...