Sylvan Clebsch
where else to find them
what they talk about
all 6 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2025–2026
all 7 in the filters
on a stage with
all 31 in the filters
who talks about the same things
- Matthew J. Parkinson11 talks
- Tobias Wrigstad15 talks
- Sophia Drossopoulou11 talks
- Matthew A. Johnson3 talks
- Eric Snow3 talks
- Andreas Pavlogiannis18 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… | ||
| 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… | ||
| 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… | ||
| IA-CCF: Individual Accountability for Permissioned Ledgers | 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI '22) | 2022-04-04 |
A permissioned ledger implementation called IA-CCF signs and logs BFT protocol messages into the ledger and issues Merkle-tree receipts that clients can audit… | ||
| My Little Pony | Code Mesh 2015 | 2015-11-03 |
Deep dive into Pony and the Erlang ecosystem with concrete results: microbenchmarks show Pony beating C (C ~34% slower) and Java (~7.8x slower), tail-recursive… | ||
| nothing matches | ||