Aleksandr Fedchin

According to our database, Aleksandr Fedchin authored at least 5 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs.

Aleksandr Fedchin, Antero Mejr, Hari Sundar, Jeffrey S. Foster

Proc. ACM Program. Lang., 2026

2025

Metamorph: Synthesizing Large Objects from Dafny Specifications.

Aleksandr Fedchin, Alexander Y. Bai, Jeffrey S. Foster

Proc. ACM Program. Lang., 2025

AcrosticSleuth: Probabilistic Identification and Ranking of Acrostics in Multilingual Corpora.

Aleksandr Fedchin, Isabel Cooperman, Pramit Chaudhuri, Joseph P. Dexter

Proceedings of the Findings of the Association for Computational Linguistics: NAACL 2025, Albuquerque, New Mexico, USA, April 29, 2025

2023

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

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2022

Better Counterexamples for Dafny.

Aleksandar Chakarov, Aleksandr Fedchin, Zvonimir Rakamaric, Neha Rungta

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022