CF-GKAT: Efficient Validation of Control-Flow Transformations
(paper)
| 28 Nov 2024 | LIACS theory group seminar, Leiden ๐ณ๐ฑ | Slides |
| 16 Oct 2024 | NetTCS @ LIACS, Leiden ๐ณ๐ฑ | Slides |
Formal Abstractions for Packet Scheduling
(paper)
| 5 Jun 2024 | EPFL DCSL lunch talk, Lausanne ๐จ๐ญ | Slides |
A Complete Inference System for Skip-free GKAT
(paper)
| 7 Jun 2024 | EPFL IC Seminar, Lausanne ๐จ๐ญ | Slides |
| 6 May 2024 | LIACS theory group seminar, Leiden ๐ณ๐ฑ | Slides |
An Elementary Proof of the FMP for KA
(paper)
| 20 Nov 2024 | LLAMA seminar, Amsterdam ๐ณ๐ฑ | Slides |
| 22 Jan 2024 | LIACS seminar, Leiden ๐ณ๐ฑ | Slides |
| 28 Nov 2023 | Prague Workshop on Kleene Algebra and Many-Valued Logic ๐จ๐ฟ | Slides |
| 6 Sep 2023 | ICE-TCS Seminar, Reykjavik University ๐ฎ๐ธ | Slides |
| 16 Jun 2023 | (i)Po(m)set Project Online Seminar ๐ซ๐ท ๐ป | Slides |
| 4 Apr 2023 | RAMiCS 2023, Augsburg ๐ฉ๐ช | Slides |
| 28 Mar 2023 | OUrsi Seminar, Open University of the Netherlands ๐ณ๐ฑ | Slides |
(Probabilistic) Guarded Kleene Algebra with Tests
(paper)
| 22 Nov 2022 | OUrsi Seminar, Open University of the Netherlands ๐ณ๐ฑ | Slides |
| 10 Aug 2022 | JNF Group Meeting, Cornell ๐บ๐ธ | Slides |
Leapfrog: Certified Equivalence for Protocol Parsers
(paper)
| 11 Oct 2022 | TCS Seminar, FAU Erlangen ๐ฉ๐ช | Slides |
| 28 Jun 2022 | Computer Science Colloquium, University of Groningen ๐ณ๐ฑ | Slides |
| 14 Dec 2021 | ILLC Midwinter Colloquium, University of Amsterdam ๐ณ๐ฑ ๐ป | Slides |
| 2 Dec 2021 | PPLV Seminar, University College London ๐ฌ๐ง ๐ป | Slides |
Guarded Kleene Algebra with Tests: Coequations, Coinduction and Completeness
(paper)
| 31 Aug 2022 | Programming Languages Discussion Group, Cornell ๐บ๐ธ | Slides |
| 27 Oct 2021 | CS Seminar, Royal Holloway, University of London ๐ฌ๐ง ๐ป | Slides |
Associativity, monads, and diagrams
| 29 Mar 2021 | JNF Group SCORE, Cornell ๐บ๐ธ ๐ป | Slides |
Monadic Second Order Logic and Pomset Languages
| 18 Jan 2021 | CPP 2021 Lightning Talks ๐ฉ๐ฐ ๐ป | Video Slides |
Guarded Kleene Algebra with Tests
(paper)
| 26 Nov 2020 | 68NQRT Seminar, IRISA/INRIA Rennes ๐ซ๐ท ๐ป | Video Slides |
| 4 Nov 2020 | Programming Languages Seminar, Delft ๐ณ๐ฑ ๐ป | Slides |
| 21 Oct 2020 | Programming Languages Discussion Group, Cornell ๐บ๐ธ ๐ป | Slides |
| 7 Oct 2020 | Algebra|Coalgebra Seminar, Amsterdam ๐ณ๐ฑ ๐ป | Slides |
| 22 Jan 2020 | POPL 2020, New Orleans ๐บ๐ธ | Video Slides |
| 15 Jan 2020 | PPLV seminar, University College London ๐ฌ๐ง | Slides |
Kleene Algebra with Observations
(paper)
| 20 Sep 2019 | PPLV Research Trip, Galway ๐ฎ๐ช | Slides |
| 30 Aug 2019 | CONCUR 2019, Amsterdam ๐ณ๐ฑ | Slides |
Kleene Algebra
| 21 May 2019 | LaBRI, Bordeaux ๐ซ๐ท | Slides |
Towards concurrent NetKAT
| 12 Mar 2019 | CReNKAT kick-off workshop, University College London ๐ฌ๐ง | Slides |
The algebra of programs
| 19 Jan 2019 | Eerstejaarsreis DLF, University College London ๐ฌ๐ง | Slides |
Decision problems for Clark-congruential languages
(paper)
| 5 Sep 2018 | ICGI 2018, Wrocลaw ๐ต๐ฑ | Slides |
| 13 Jul 2018 | LearnAut 2018, Oxford ๐ฌ๐ง | Slides |
| 10 Jan 2018 | NII logic seminar, Tokyo ๐ฏ๐ต | Slides |
Concurrent Kleene Algebra: free model and completeness
(paper)
| 30 Apr 2018 | LIACS seminar, Leiden ๐ณ๐ฑ | Slides |
| 19 Apr 2018 | ESOP 2018, Thessaloniki ๐ฌ๐ท | Slides |
| 16 Feb 2018 | Verification and Testing seminar, Sheffield ๐ฌ๐ง | Slides |
| 16 Jan 2018 | Brouwer seminar, Nijmegen ๐ณ๐ฑ | Slides |
| 18 Oct 2017 | NII logic seminar, Tokyo ๐ฏ๐ต | Slides |
Concurrent Kleene Algebra
| 28 Mar 2018 | BCTCS 2018, Royal Holloway ๐ฌ๐ง | Slides |
Brzozowski goes concurrent: a Kleene theorem for Pomset languages
(paper)
| 8 Sep 2017 | CONCUR 2017, Berlin ๐ฉ๐ช | Slides |
A compositional framework for preference-aware agents
(paper)
| 4 Jun 2016 | VยฒCPS 2016, Reykjavรญk ๐ฎ๐ธ | Slides |
Composing constraint automata, state-by-state
(paper)
| 14 Oct 2015 | FACS 2015, Niterรณi ๐ง๐ท | Slides |
| 6 Oct 2015 | Amsterdam Coordination Group, CWI ๐ณ๐ฑ |
Moving the EOS namespace to NVRAM
| 26 Aug 2015 | CERN openlab, Meyrin ๐จ๐ญ | Video Slides |