Daniel Nezamabadi
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Verified VCG and Verified Compiler for Dafny | CPP 2026 | 2026-01-12 |
Builds a functional big‑step semantics for an imperative subset of Dafny and proves a verified VCG and verified compiler that translate Dafny (mutual… | ||
| Baking for Dafny: A CakeML Backend for Dafny | Dafny 2025 | 2025-01-19 |
A verified pipeline translates Dafny IR to CakeML by exporting the IR as S‑expressions, parsing and compiling inside HOL4, and extracting runnable CakeML code… | ||
| nothing matches | ||