Jules Jacobsjulesjacobs@gmail.com |
![]() |
Some of my favourite things are: type theory, parametricity, SSA as a dataflow lattice, generating functions & Kirchoff's matrix-tree theorem, differential forms & the Gauss-Bonnet theorem, star semirings, Lagrangian mechanics.
19 Jan 2022 |
Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Separation Logic
POPL'22
|
12 Oct 2021 |
Mechanized Deadlock Freedom for Session Types
FCG, University of Groningen
|
19 July 2021 |
Pardoxes of Probabilistic Programming
(and deleted scenes)
VeriProP'21
|
12 July 2021 |
Mechanized Deadlock Fredom for Session Types
VEST'21
|
3 Feb 2021 |
Deadlock Freedom for Session Types Using Separation Logic
SWS Seminar
|
22 Jan 2021 |
Paradoxes of Probabilistic Programming
POPL'21
|
25 Nov. 2020 |
Paradoxes of Probabilistic Programming
PL Seminar, TU Delft
|
23 Nov. 2020 |
Paradoxes of Probabilistic Programming
PPLV, University College London
|
28 Oct. 2020 |
Paradoxes of Probabilistic Programming
SWS Seminar, Radboud University
|
2022 | Assisting with the Program Verification course at RU. |
2021 | Assisting with the Type Theory course at RU. |
2021 | Assisting with the MFOCS seminar at RU. |
2020 | Assisting with the Type Theory course at RU. |
2020 | Assisting Robbert Krebbers with the supervision of a master thesis project. |
2020 | Assisted Robbert Krebbers with the Software Verification course at TU Delft. |
2022 | PLDI'22 AEC |
2022 | ESOP'22 AEC |
2021 | VCA for Behavioural Types: Bridging Theory and Practice |
2020 | Reviewer for ESOP'21. |
2020 | Reviewer for ICFP'20. |