Sasha Fedchin

Home Papers Resume Graphics

Fedchin A., Bai A., Foster J.S. Synthesizing Large Objects from Dafny Specifications. OOPSLA, 2025
Fedchin A., Cooperman I., Chaudhuri P., Dexter P. AcrosticSleuth: Probabilistic Identification and Ranking of Acrostics in Multilingual Corpora. NAACL, 2025
Fedchin A., Dean T., Foster J.S., Mercer E., Rakamaric Z., Reger G., Rungta N., Salkeld R., Wagner L., Waldrip C. A Toolkit for Automated Testing of Dafny. NFM, 2023
Chakarov A., Fedchin A., Rakamaric Z., Rungta N. Better Counterexamples for Dafny. TACAS, 2022
Fedchin A., Burns P., Chaudhuri P., Dexter P. Senecan Trimeter and Humanist Tragedy. AJP, 2022