Marco Servetto
where else to find them
what they talk about
where they keep going back
- UNSOUND2 editions2022–2024
on a stage with
- Colin Gordononce
- Elena Zuccaonce
- Francesco Dagninoonce
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Java Method-Local Inner Classes are Unsound | UNSOUND 2024 | 2024-10-20 |
Claim: Java’s combination of method-local inner classes plus erased generics and class-based visibility lets a non-generic local class implicitly tied to a… | ||
| The 4 horsemen of unsoundness in OO languages | Unsound 2022 | 2022-12-06 |
Four concrete pitfalls: a pair of independently verified implementations that call each other via an interface produce nontermination despite each being marked… | ||
| Coeffects for Sharing and Mutation | OOPSLA 2022 | 2022-12-05 |
Coeffects model sharing in a Java-like calculus by representing effects as sets-of-links coeffects with a distinguished res link for result aliasing and… | ||
| nothing matches | ||