Sasha Fedchin
Home
Publications
Resume
Projects
Tutorials
DafnyMPI
A library for writing provably correct message-passing concurrent code in the Dafny programming language.
Metamorph
A program synthesis tool for the Dafny programming language targeting creation of large heap-based objects.
DTest
A toolkit for automated test generation and dead-code detection for the Dafny programming language.
AcrosticSleuth
A program for identifying and ranking acrostics in multilingual corpora.
