• Sign in
  • Sign up
conf.researchr.org / Jules Jacobs
  • 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
xSun 3 Dec 18:08
using conf.researchr.org (v1.62.0)
Support page
Sign Up