Matthew A. Johnson
where else to find them
no profile links on file
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2025–2026
on a stage with
all 9 in the filters
who talks about the same things
- Matthew J. Parkinson11 talks
- Tobias Wrigstad15 talks
- Sylvan Clebsch9 talks
- Guido van Rossum11 talks
- Eric Snow3 talks
- Marat Akhin4 talks
| title | conference | date |
|---|---|---|
| Dynamically Checked Deep Immutability in Python | PLDI 2026 | 2026-06-15 |
Adds deep immutability to CPython 3.15 via 7,000 lines of runtime code, an atomic refcount for immutable objects, and write barriers inserted at 148 hot sites… | ||
| Dynamic Region Ownership for Concurrency Safety | PLDI 2025 | 2025-06-16 |
Claims a runtime ownership model, Langfish, that enforces exclusive mutable access by grouping objects into regions and raising deterministic errors instead of… | ||
| Trieste: A C++ DSL for Flexible Tree Rewriting (Tool paper) | SLE 2024 | 2024-10-20 |
Trieste is a C++ DSL that implements in-place subtree pattern matching to run multipass compiler pipelines, with each pass checked by dynamic well-formedness… | ||
| nothing matches | ||