Fabian Muehlboeck
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2018–2021
on a stage with
- Alex Potaninonce
- Ross Tateonce
- Sasha Pakonce
who talks about the same things
- Mickaël Laurent2 talks
- Ross Tate7 talks
- Xuejing Huang4 talks
- Matthew Lutze5 talks
- Matías Toro6 talks
- Lionel Parreaux19 talks
| title | conference | date |
|---|---|---|
| A Verified Thread-Safe Array in Rust | IWACO 2025 | 2025-10-14 |
A verified thread-safe array API in Rust uses the Verus verifier and permission-based interior mutability to let shared references enable arbitrary parallel… | ||
| Transitioning from Structural to Nominal Code with Efficient Gradual Typing | OOPSLA 2021 | 2021-10-17 |
MonNom is an object language that lets untyped structural records and lambdas dynamically acquire nominal interfaces (but not classes) via monotonic casts… | ||
| Empowering Union and Intersection Types with Integrated Subtyping | OOPSLA 2018 | 2018-11-07 |
Framework implements a decision procedure that combines a simple, textbook reductive subtyping kernel with user-specified extensions to recognize… | ||
| nothing matches | ||