Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jules Jacobs
conf.researchr.org general profile
ECOOP 2022 profile
ICFP 2022 profile
ICFP 2023 profile
PLDI 2022 profile
POPL 2021 profile
POPL 2022 profile
POPL 2023 profile
POPL 2024 profile
Registered user since Mon 13 Jan 2020
Name:
Jules Jacobs
Contributions
2024
POPL
Author of Verified Message-Passing Concurrency in Iris: Separation Logic Meets Session Types within the TutorialFest-track
Author of Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing within the POPL-track
2023
ICFP
Author of Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl) within the ICFP Papers and Events-track
Author of Dependent Session Protocols in Separation Logic from First Principles (Artifact) within the Artifact Evaluation-track
POPL
Author of Fast Coalgebraic Bisimilarity Minimization within the POPL-track
Author of Higher-Order Leak and Deadlock Free Locks within the POPL-track
2022
ICFP
Author of Multiparty GV: Functional Multiparty Session Types With Certified Deadlock Freedom within the ICFP Papers and Events-track
ECOOP
Author of A Self-Dual Distillation of Session Types (Pearl) within the Research Papers-track
PLDI
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
Author of Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Separation Logic within the POPL-track
2021
POPL
Author of Paradoxes of probabilistic programming within the POPL-track
Share
x
Sun 3 Dec 18:08