Liam O'Connor
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2023–2024
all 5 in the filters
on a stage with
all 11 in the filters
who talks about the same things
- Xueying Qin3 talks
- Ohad Kammar19 talks
- Michel Steuwer17 talks
- Gabriel Scherer12 talks
- Steve Zdancewic19 talks
- Olin Shivers9 talks
| title | conference | date |
|---|---|---|
| ICFP Contest Report | ICFP 2025 | 2025-10-12 |
ICFP programming contest tasks teams to reconstruct randomized maps of a labyrinth whose rooms have six doors and only two‑bit labels; a server returns… | ||
| Shoggoth - A Formal Foundation for Strategic Rewriting | POPL 2024 | 2024-01-14 |
Provides a formal denotational semantics for System S and a big-step operational semantics that explicitly models divergence, proves computational soundness… | ||
| Dargent: A Silver Bullet for Verified Data Layout Refinement | POPL 2023 | 2023-01-15 |
Dargent provides a declarative layout language integrated into Cogent that generates verified C getters and setters so algebraic types map to bit-precise… | ||
| Holbert: Reading, Writing, Proving and Learning in the Browser | HATRA 2022 | 2022-12-05 |
Holbert is a browser-based pedagogical proof assistant and online textbook platform that embeds editable proof exercises and rule definitions directly in… | ||
| Writing Valuable Papers | PLMW @ POPL 2022 | 2022-01-17 |
Advice: write to persuade the programming‑languages community that a real problem exists, that it imposes a measurable cost, and that the proposed solution… | ||
| Deferring the Details and Deriving Programs | TyDe 2019 | 2019-08-18 |
Claims a proof-delay applicative that moves embedded proof terms out of data and program ASTs, implemented in Trip inside Agda. Builds a verification-condition… | ||
| nothing matches | ||