Aaron Tomb
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Adam Wickonce
- Aleksandr Fedchinonce
- Andrei Stefanescuonce
all 15 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| 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… | ||
| Portfolio Solving for Dafny | Dafny 2024 | 2024-01-14 |
A cloud-hosted portfolio runs multiple SMT engines (Z3 4.2.1, 4.8.5, newer Z3, CVC5, Vampire) against the same 177k‑LOC Dafny repo with ~14k VCs and returns… | ||
| A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs | OOPSLA 2021 | 2021-10-17 |
A memory-safe Rust-like type system called Heapster typechecks LLVM IR and extracts Coq functions that represent imperative behavior without pointer reasoning… | ||
| nothing matches | ||