Sebastian Erdweg
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- OOPSLA3 editions2020–2024
all 6 in the filters
on a stage with
all 9 in the filters
who talks about the same things
- André Pacak4 talks
- Tamás Szabó6 talks
- Sven Keidel3 talks
- Michel Steuwer17 talks
- Derek Dreyer35 talks
- Michael Sammler16 talks
| title | conference | date |
|---|---|---|
| Stateful Differential Operators for Incremental Computing | POPL 2026 | 2026-01-11 |
Presents a formal specification for stateful differential operators that lets operators store and update custom state, proves correctness in Rocq, and extracts… | ||
| A Framework of Differential Operators | CoqPL 2025 | 2025-01-25 |
A Coq formalization presents a reusable framework that defines change structures (value, delta, patch, valid-change relation) and proves correctness of… | ||
| Taming Unsoundness with Gradual Abstract Interpretation | UNSOUND 2024 | 2024-10-20 |
Proposes that optimistic but unsound assumptions in abstract interpretation become safe by automatically inserting runtime checks so analysis results are sound… | ||
| A Typed Multi-Level Datalog IR and its Compiler Framework | OOPSLA 2024 | 2024-10-20 |
A compiler framework implements a typed multi-level Datalog IR in Scala, formalizing a bipolar, flow-sensitive type system with three-valued contexts that both… | ||
| Interactive Debugging of Datalog Programs | OOPSLA 2023 | 2023-10-23 |
Claims the first small-step operational semantics for top-down (query/subquery) Datalog, formalizing where a debugger can stop; implements a debugger for core… | ||
| Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters | ICFP 2023 | 2023-09-04 |
Library of 12 fixpoint combinators composes to control big‑step abstract interpreters: each combinator enforces one of three divergence fixes (cut off… | ||
| Incremental Processing of Structured Data in Datalog | GPCE 2022 | 2022-12-06 |
Proposes a relational encoding that makes small edits to trees and lists produce small changes to Datalog inputs, claims up to 10,000x incremental speedups on… | ||
| A Systematic Approach to Deriving Incremental Type Checkers | OOPSLA 2020 | 2020-11-15 |
Provides a compiler from textbook-style typing rules to Datalog that yields an incremental type checker and a DSL for language specs, with a concrete encoding… | ||
| nothing matches | ||