Aleksandr Fedchin
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Jeffrey S. Foster3×
- Aaron Tombonce
- Alexander Baionce
all 6 in the filters
who talks about the same things
- Jeffrey S. Foster10 talks
- Alexander Bai5 talks
- Nadia Polikarpova24 talks
- Işıl Dillig21 talks
- Armando Solar-Lezama18 talks
- Deepak Garg18 talks
| title | conference | date |
|---|---|---|
| DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs | POPL 2026 | 2026-01-11 |
DafnyMPI is a pure Dafny library that verifies MPI programs by requiring a statically declared communication topology and unique message tags so preconditions… | ||
| Metamorph: Synthesizing Large Objects from Dafny Specifications | OOPSLA 2025 | 2025-10-16 |
Metamorph synthesizes long sequences of Dafny-specified API calls by replaying verifier counterexamples one step at a time and framing search as weighted A… | ||
| Dafny Test Generation | Dafny 2024 | 2024-01-14 |
DTest generates executable unit and system tests by inserting failing assertions, asking the Dafny verifier for counterexamples, and extracting concrete inputs… | ||
| nothing matches | ||