Jules Jacobs -

Registered user since Mon 13 Jan 2020

Name:Jules Jacobs

Contributions

POPL 2023	Author of Fast Coalgebraic Bisimilarity Minimization within the POPL-track Author of Higher-Order Leak and Deadlock Free Locks within the POPL-track
ICFP 2022	Author of Multiparty GV: Functional Multiparty Session Types With Certified Deadlock Freedom within the ICFP Papers and Events-track
ECOOP 2022	Author of A Self-Dual Distillation of Session Types (Pearl) within the Research Papers-track
PLDI 2022	Author of (POPL 2021) Paradoxes of probabilistic programming within the SIGPLAN Track-track Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
POPL 2022	Author of Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Separation Logic within the POPL-track
POPL 2021	Author of Paradoxes of probabilistic programming within the POPL-track