Moses Ganardi
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2023–2024
on a stage with
all 6 in the filters
who talks about the same things
- Georg Zetzsche6 talks
- Pascal Baumann4 talks
- Ramanathan S. Thinniyam5 talks
- Anthony W. Lin8 talks
- Sharon Shoham13 talks
- Zachary Kincaid9 talks
| title | conference | date |
|---|---|---|
| Ramsey Quantifiers in Linear Arithmetics | POPL 2024 | 2024-01-14 |
Proves an elimination procedure for Ramsey quantifiers over Linear Integer, Real, and mixed arithmetic (LIA, LRA, LIRA) that, for existential input formulas… | ||
| Context-Bounded Verification of Context-Free Specifications | POPL 2023 | 2023-01-15 |
Shows that context-bounded refinement where the implementation is a multistack pushdown automaton and the specification is a Dyck or input‑deterministic… | ||
| nothing matches | ||