Philippe Heim
where else to find them
what they talk about
where they keep going back
- POPL2 editions2024–2025
on a stage with
who talks about the same things
- Rayna Dimitrova3 talks
- Bernd Finkbeiner2 talks
- Aaron Sidford9 talks
- Arthur Correnson5 talks
- Zachary Kincaid9 talks
- Sharon Shoham13 talks
| title | conference | date |
|---|---|---|
| Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis | POPL 2025 | 2025-01-19 |
Proposes a monitor with SMT-based invariants that keeps first-order and temporal structure during translation to symbolic games, emits four verdicts… | ||
| Solving Infinite-State Games via Acceleration | POPL 2024 | 2024-01-14 |
Presents a new symbolic semi-algorithm that uses acceleration lemmas to force convergence of attractor fixpoint computations that otherwise diverge on… | ||
| nothing matches | ||