Patrick Cousot
where else to find them
no profile links on file
what they talk about
their talks carry no tags yet
where they keep going back
- POPL2 editions2024–2025
on a stage with
- Jeffery Wangonce
who talks about the same things
- Thibault Dardinier9 talks
- Zachary Kincaid9 talks
- Sharon Shoham13 talks
- Eric Koskinen13 talks
- Steven Keuchel5 talks
- Ohad Kammar19 talks
| title | conference | date |
|---|---|---|
| Calculational Design of Hyperlogics by Abstract Interpretation | POPL 2025 | 2025-01-19 |
Claims a calculational pipeline that starts from an algebraic semantics and builds a structural fixpoint abstract interpreter parameterized by algebraic… | ||
| Is Peter Correct or Incorrect? | O'Hearn Fest (POPL 2024) | 2024-01-14 |
Claims that incorrectness logic is the dual of Hoare-style total/partial correctness under abstract interpretation and gives a constructive, sound-and-complete… | ||
| Calculational Design of [In]Correctness Transformational Program Logics by Abstr... | POPL 2024 | 2024-01-14 |
Claims that transformational correctness and incorrectness logics are abstract interpretation of the relational semantics’ right-image transformer, covering… | ||
| nothing matches | ||