Werner Dietl
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- OOPSLA2 editions2020–2021
on a stage with
all 6 in the filters
who talks about the same things
- Michael Ernst3 talks
- Ondřej Lhoták11 talks
- Jonathan Aldrich17 talks
- Sebastian Erdweg13 talks
- Derek Dreyer35 talks
- Tamás Szabó6 talks
| title | conference | date |
|---|---|---|
| Scalability and Precision by Combining Expressive Type Systems and Deductive Verification | OOPSLA 2021 | 2021-10-17 |
Implementation builds a Property Checker and a JML translator that converts unproven type checks into assertions for KeY/OpenJML and proven ones into… | ||
| Precise Inference of Expressive Units of Measurement Types | OOPSLA 2020 | 2020-11-15 |
PUnits is a static unit-of-measurement system that proves sound in Coq, encodes units as boolean and integer variables, and solves whole-program constraints… | ||
| The Checker Framework In Action | Devoxx US 2017 | 2017-03-21 |
Checker Framework is an annotation‑processor plugin for javac that enforces about 20 pluggable type systems and scales to large projects; the demo runs the… | ||
| Preventing null pointer exceptions at compile time | Devoxx US 2017 | 2017-03-21 |
Tool demo shows a Nullness Checker from CheckerFramework.org that enforces a nullness type system at compile time, integrating with javac, Eclipse, IntelliJ… | ||
| nothing matches | ||