Neta Elad
where else to find them
what they talk about
where they keep going back
- POPL3 editions2024–2026
on a stage with
- Sharon Shoham3×
- Adithya Muralionce
- Oded Padononce
who talks about the same things
- Sharon Shoham13 talks
- Oded Padon11 talks
- Adithya Murali6 talks
- Kenneth L. McMillan4 talks
- Mooly Sagiv18 talks
- James R. Wilcox4 talks
| title | conference | date |
|---|---|---|
| Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof(…) | POPL 2026 | 2026-01-11 |
Main claim: the common fold/unfold proof steps are sound and — for the quantifier‑free, theory‑free fragment — complete for a weaker semantics called Weak… | ||
| Axe 'Em: Eliminating Spurious States with Induction Axioms | POPL 2025 | 2025-01-19 |
First-order abstractions get refined into well-founded or finite-domain semantics by instantiating an induction axiom schema guided by finitely representable… | ||
| An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Dedu... | POPL 2024 | 2024-01-14 |
Proposes a finite, machine-checkable representation of certain infinite first-order models called symbolic structures and encodes model checking into linear… | ||
| nothing matches | ||