Rayna Dimitrova
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
- Philippe Heim2 talks
- Aaron Sidford9 talks
- Zachary Kincaid9 talks
- Rupak Majumdar21 talks
- Yingfei Xiong9 talks
- Ruyi Ji8 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… | ||
| Reactive Synthesis Empowered by Logical Reasoning | Satisfiability: Theory, Practice, and Beyond 2023 | 2023-04-17 |
Overview of SAT-based reactive synthesis with concrete encodings and results: bounded synthesis searches for finite-state implementations up to a given size… | ||
| nothing matches | ||