Christoph Ohrem
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2021–2024
on a stage with
who talks about the same things
- Markus Müller-Olm3 talks
- Jens Oliver Gutsfeld3 talks
- James Worrell6 talks
- Thibault Dardinier9 talks
- Peter Müller28 talks
- Bernd Finkbeiner2 talks
| title | conference | date |
|---|---|---|
| A Navigation Logic for Recursive Programs with Dynamic Thread Creation | VMCAI 2024 | 2024-01-15 |
Defines NTL, a temporal logic for Dynamic Pushdown Networks that adds spawn and caller modalities to navigate thread-creation and call/return structure… | ||
| Deciding Asynchronous Hyperproperties for Recursive Programs | POPL 2024 | 2024-01-14 |
Paper introduces a new asynchronous hyperlogic that adds fixpoints, non-atomic tests (trace formulas with CARET-style call/return inspection), and a simpler… | ||
| Automata and Fixpoints for Asynchronous Hyperproperties | POPL 2021 | 2021-01-17 |
Introduces Hμ (a linear-time μ-calculus with named path quantifiers and indexed nexts) and Alternating Asynchronous Parity Automata as concrete tools, proves a… | ||
| nothing matches | ||