Arthur Correnson
where else to find them
linkedin:arthur-correnson-b17ab9146
what they talk about
where they keep going back
- ICFP2 editions2022–2025
all 4 in the filters
on a stage with
all 11 in the filters
who talks about the same things
- Bernd Finkbeiner2 talks
- Haoyi Zeng2 talks
- Sharon Shoham13 talks
- Thibault Dardinier9 talks
- Mooly Sagiv18 talks
- Oded Padon11 talks
| title | conference | date |
|---|---|---|
| A Deductive System for Contract Satisfaction Proofs | PLDI 2026 | 2026-06-15 |
Claims a sound-and-complete deductive system for relative bisimulation that characterizes relative trace equality via a nested coinductive–inductive fixpoint… | ||
| Almost Fair Simulations | ICFP 2025 | 2025-10-12 |
Proves that language inclusion for nondeterministic Büchi automata can be established by a family of fairness‑preserving simulations: direct simulation, delay… | ||
| Coinductive Proofs for Temporal Hyperliveness | POPL 2025 | 2025-01-19 |
Framework shows that every forall∃ψ hyperproperty with ψ a safety relation admits a coinductive approximation, enabling incremental witness construction via… | ||
| What do Relational Properties Have to Say About Legal Expert Systems ? | ProLaLa 2023 | 2023-01-15 |
Legal expert systems often lack a formal single-input/specification so correctness is framed relationally by comparing runs; testing finds counterexamples but… | ||
| Student Research Competition Final Presentations | ICFP 2022 | 2022-09-11 |
Session collects six short student projects with concrete artifacts and techniques: HenBlocks: structured editing for Coq is a client‑side web app (GS‑Coq… | ||
| nothing matches | ||