Michael Ernst
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
- Werner Dietl4 talks
- Jan Ouwens10 talks
- Sander Mak18 talks
- Brian Vermeer66 talks
- Clara Wiatrowski3 talks
- Jaap Coomans6 talks
| title | conference | date |
|---|---|---|
| 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… | ||
| Interview | Open Source Bridge 2011 | 2011-06-21 |
Two concrete proposals: strengthening and weakening Java's type system with actual tools, proofs and implementations rather than vague examples. One project is… | ||
| nothing matches | ||