Matija Pretnar
where else to find them
speakerdeck:matijapretnar
what they talk about
where they keep going back
- OOPSLA2 editions2021–2023
on a stage with
all 19 in the filters
who talks about the same things
- Daniel Hillerström11 talks
- Sam Lindley27 talks
- Luna Phipps-Costin2 talks
- Philipp Schuster13 talks
- Jonathan Immanuel Brachthäuser22 talks
- Andreas Rossberg13 talks
| title | conference | date |
|---|---|---|
| Bringing the WebAssembly Standard up to Speed with SpecTec | PLDI 2024 | 2024-06-24 |
SpecTec is a DSL and toolchain that serves as a single source of truth for Wasm semantics, generating typeset spec prose, formal definitions, and a meta-level… | ||
| Continuing WebAssembly with Effect Handlers | OOPSLA 2023 | 2023-10-23 |
WasmFX extends WebAssembly with WasmFX adds three instructions to create, suspend and resume continuations and with typed one-shot continuations that fit… | ||
| Efficient Compilation of Algebraic Effect Handlers | OOPSLA 2021 | 2021-10-17 |
An optimizing Eff→OCaml compiler is implemented that uses a two-phase ExEff/NoEff pipeline with type-and-effect directed rewrites, function specialization and… | ||
| Local algebraic effect theories | ICFP 2020 | 2020-08-23 |
Proposes tracking equational theories inside computation types so code can assume only the equations actually observed, not a single global theory. Claims this… | ||
| nothing matches | ||