TOPLAS 2025
20 papers
- A Brookes-Style Denotational Semantics for Release/Acquire Concurrency
- A Modular Approach to Metatheoretic Reasoning for Extensible Languages
- Changing of the Seasons at TOPLAS
- Circuit Width Estimation via Effect Typing and Linear Dependency
- Editorial: Embracing the Empirical with the New PL Experiments Track
- Editorial: New Year, New Paper Tracks
- Generic Bidirectional Typing for Dependent Type Theories
- Modal Crash Types for WAR-Aware Intermittent Computing
- Monadic Intersection Types, Relationally, and Ordered
- Observational Equality Meets CIC
- Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects
- Polynomial Bounds of CFLOBDDs against BDDs
- Rate-Based Session Types for IoT Systems
- Scoped Effects, Scoped Operations, and Parameterized Algebraic Theories
- Sound Static Data Race Verification for C: Is the Race Lost?
- Squibs and Discussions at TOPLAS
- Synthesizing Invariants for Polynomial Programs by Semidefinite Programming
- Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence
- Type-Safe Compilation of Dynamic Inheritance via Merging
- Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection