Tobias Wrigstad
where else to find them
what they talk about
all 8 in the filters
where they keep going back
- OOPSLA2 editions2023–2024
- ISMM2 editions2024–2026
- PLDI Workshop Honoring Andreas Podelski2 editions2025–2026
all 11 in the filters
on a stage with
all 33 in the filters
who talks about the same things
- Matthew J. Parkinson11 talks
- Sylvan Clebsch9 talks
- Matthew A. Johnson3 talks
- Sophia Drossopoulou11 talks
- Jeehoon Kang14 talks
- Guido Martínez10 talks
| title | conference | date |
|---|---|---|
| How should we evaluate garbage collectors? | ISMM 2026 | 2026-06-16 |
Argues current GC evaluation fixes heap sizes and reports throughput but misses system dynamics, supported by 34 papers surveyed showing 28 used DaCapo and… | ||
| Predicate E-Graphs with Symbolic Conditional Rewriting | EGRAPHS 2026 | 2026-06-15 |
Defines predicate e-graphs that attach Boolean fact-sets to colors and maintain a dynamic pre-order that approximates implication; supports adding edges and… | ||
| 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… | ||
| PyErlang -- a stepping stone towards behaviour-oriented concurrency in Python | Erlang 2025 | 2025-10-12 |
PyErlang implements direct sharing of deeply immutable Python objects across Python 3.12 sub‑interpreters by adding a dynamic freeze operation that enforces… | ||
| 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… | ||
| Mark–Scavenge: Waiting for Trash to Take Itself Out | OOPSLA 2024 | 2024-10-20 |
Implements MS-ZGC on OpenJDK that delays evacuation and only scavenges previously selected sparse pages, using just-in-time evacuations to avoid OOM. Compares… | ||
| Reference Counting Deeply Immutable Data Structures with Cycles | ISMM 2024 | 2024-06-25 |
Claim: deeply frozen object graphs are collectible by reference counting by collapsing strongly connected components and maintaining single reference counter… | ||
| On Modelling Heap Invariants for Type Systems in Dafny | WITS 2024 | 2024-01-20 |
Claims that a middle-level heap model can express ownership-style invariants and that Dafny can both encode and check them. Builds a prototype ~500 lines of… | ||
| Work in Progress: Modelling Incorrect Programs in the Open World with D... | Incorrectness 2024 | 2024-01-17 |
Proposes using Dafny to model open‑world trust assumptions by adding an opaque ghost predicate (a “bay”) to pre/postconditions so specs explicitly record… | ||
| Concurrent Mutation must go | POCL 2024 | 2024-01-16 |
Argument: concurrent mutation causes the costly read-reclaim race so the simple claim is remove concurrent mutation for temporal safety. Evidence: survey of… | ||
| Reference Capabilities for Flexible Memory Management | OOPSLA 2023 | 2023-10-23 |
Verona organises all objects into tree-shaped regions with a window of mutability that only allows allocation and deallocation in the active region, making… | ||
| When Concurrency Matters: Behaviour-Oriented Concurrency | OOPSLA 2023 | 2023-10-23 |
Behaviour-Oriented Concurrency (BoC) introduces cones as exclusive shared-data owners, behaviors as spawned units that declare required cones, and a single… | ||
| Heap Size Adjustment with CPU Control | MPLR 2023 | 2023-10-22 |
Automatic heap sizing uses a target fraction of CPU time spent in GC to drive heap capacity, implemented in ZGC in OpenJDK and evaluated on a 32-core CB… | ||
| Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom | Onward! 2021 | 2021-10-20 |
Dala is a dynamic capability model that guarantees data-race freedom for safe objects while allowing unsafe objects to coexist. It defines three… | ||
| SICP JS: Ketchup on Caviar? | Scheme 2020 | 2020-08-28 |
Adapts SICP to real-world JavaScript by defining four Source sublanguages that map SICP chapters to ECMAScript 2015 features (let/const, arrow funcs), adds an… | ||
| nothing matches | ||