Jules Jacobs

According to our database, Jules Jacobs authored at least 12 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing.

Jules Jacobs, Jonas Kastberg Hinrichsen, Robbert Krebbers

Proc. ACM Program. Lang., January, 2024

KATch: A Fast Symbolic Verifier for NetKAT.

Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva

Proc. ACM Program. Lang., 2024

2023

Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl).

Jules Jacobs, Jonas Kastberg Hinrichsen, Robbert Krebbers

Proc. ACM Program. Lang., August, 2023

Fast Coalgebraic Bisimilarity Minimization.

Jules Jacobs, Thorsten Wißmann

Proc. ACM Program. Lang., January, 2023

Higher-Order Leak and Deadlock Free Locks.

Jules Jacobs, Stephanie Balzer

Proc. ACM Program. Lang., January, 2023

2022

Multiparty GV: functional multiparty session types with certified deadlock freedom.

Jules Jacobs, Stephanie Balzer, Robbert Krebbers

Proc. ACM Program. Lang., 2022

Connectivity graphs: a method for proving deadlock freedom based on separation logic.

Jules Jacobs, Stephanie Balzer, Robbert Krebbers

Proc. ACM Program. Lang., 2022

A Self-Dual Distillation of Session Types: Mechanized Proofs (Artifact).

Jules Jacobs

Dagstuhl Artifacts Ser., 2022

Coalgebraic Partition Refinement For All Functors.

Jules Jacobs, Thorsten Wißmann

CoRR, 2022

A Self-Dual Distillation of Session Types.

Jules Jacobs

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

Paradoxes of probabilistic programming: and how to condition on events of measure zero with infinitesimal probabilities.

Jules Jacobs

Proc. ACM Program. Lang., 2021

Paradoxes of Probabilistic Programming.

Jules Jacobs

CoRR, 2021