Stephanie Balzer
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- POPL6 editions2022–2026
all 5 in the filters
on a stage with
all 16 in the filters
who talks about the same things
- Jules Jacobs11 talks
- Robbert Krebbers26 talks
- Sam Westrick12 talks
- Alexandre Moine8 talks
- Umang Mathur20 talks
- Jeehoon Kang14 talks
| title | conference | date |
|---|---|---|
| TypeDis: A Type System for Disentanglement | POPL 2026 | 2026-01-11 |
TypeDis is a type system that guarantees any well-typed program is disentangled and so permits task-local, synchronization-free garbage collection; it… | ||
| A Semantic Logical Relation for Termination of Intuitionistic Linear Logic Session Types | CoqPL 2025 | 2025-01-25 |
Proves termination for intuitionistic linear logic session types (ILLST) by building a semantic unary logical relation and showing the fundamental theorem… | ||
| Semantic Logical Relations for Timed Message-Passing Protocols | POPL 2025 | 2025-01-19 |
Presents a semantic logical relation that proves any well‑typed program inhabits the timed protocol relation (fundamental theorem) and also lets per‑instance… | ||
| DisLog: A Separation Logic for Disentanglement | POPL 2024 | 2024-01-14 |
Claims a first static program logic that proves disentanglement for fork‑join programs and gives a high‑level variant that yields disentanglement for race‑free… | ||
| Future Directions for Session Types | ST30 2023 | 2023-10-22 |
Panelists argue concrete next steps: integrate failure handling plus timeouts/congestion into the theory, design a missing module system for session types, and… | ||
| Higher-Order Leak and Deadlock Free Locks | POPL 2023 | 2023-01-15 |
Presents a linearly typed lambda calculus that enforces both deadlock and memory-leak freedom for first-class, nestable locks, proving that well-typed programs… | ||
| Multiparty GV: Functional Multiparty Session Types with Certified Deadlock Fre... | ICFP 2022 | 2022-09-11 |
A functional language MPGV extends GV with multiparty session types, first-class channel endpoints, dynamic spawning and a new redirect construct that enables… | ||
| The Future of Concurrency and Parallelism | POPL 2022 Virtual Workshop | 2022-01-27 |
Panelists contrast concrete methods and hard surprises: mechanized proofs in Coq/Agda and concurrent separation logic are used to prove deadlock freedom and… | ||
| Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Separation L | POPL 2022 | 2022-01-16 |
Introduces connectivity graphs as a generic, parametric graph abstraction plus local Separation Logic predicates that let one prove preservation and global… | ||
| Shared Session Types for Safe, Practical Concurrency | Typelevel Summit Philadelphia 2019 | 2019-04-01 |
Introduces a type system that layers linear and shared session types with up/down modalities to enforce an acquire-release discipline and an equi-synchronizing… | ||
| nothing matches | ||