Better Counterexamples for Dafny. - Aleksandar Chakarov; Aleksandr Fedchin; Zvonimir Rakamaric; Neha Rungta (TACAS (1), 2022)

A Toolkit for Automated Testing of Dafny. - Aleksandr Fedchin; Tyler Dean; Jeffrey S. Foster; Eric Mercer; Zvonimir Rakamaric; Giles Reger; Neha Rungta; Robin Salkeld; Lucas G. Wagner; Cassidy Waldrip (NFM, 2023)

AcrosticSleuth: Probabilistic Identification and Ranking of Acrostics in Multilingual Corpora. - Aleksandr Fedchin; Isabel Cooperman; Pramit Chaudhuri; Joseph P. Dexter (NAACL (Findings), 2025)

Metamorph: Synthesizing Large Objects from Dafny Specifications. - Aleksandr Fedchin; Alexander Y. Bai; Jeffrey S. Foster (Proc. ACM Program. Lang., 2025)