David J. Pearce
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 3 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Language Design meets Verifying Compilers | GPCE 2022 | 2022-12-06 |
Compares two real verifying-compiler languages and shows concrete trade-offs: Dafny+Boogie+Z3 lets the verifier replace typing (flow typing, interpreted vs… | ||
| Putting the Semantics into Semantic Versioning | SPLASH 2022 | 2022-12-05 |
Argues that three-number semantic versioning is unreliable and proposes semantic version calculators that combine scalable static analysis, fuzzing… | ||
| Putting the Semantics into Semantic Versioning | Onward! 2020 | 2020-11-15 |
Argues for certified, machine-checked semantic versioning: upstream emits machine-readable taxonomy labels for each change and provides provenance and tool… | ||
| nothing matches | ||