We stand with Ukraine  

Jules Jacobs

Orcid: 0000-0003-1976-3182

According to our database1, Jules Jacobs authored at least 13 papers between 2021 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing.
[BibTeX]
[DOI]
Jules Jacobs
,
Jonas Kastberg Hinrichsen
,
Robbert Krebbers
Proc. ACM Program. Lang., January, 2024

KATch: A Fast Symbolic Verifier for NetKAT.
[BibTeX]
[DOI]
Mark Moeller
,
Jules Jacobs
,
Olivier Savary Bélanger
,
David Darais
,
Cole Schlesinger
,
Steffen Smolka
,
Nate Foster
,
Alexandra Silva
Proc. ACM Program. Lang., 2024

Multris: Functional Verification of Multiparty Message Passing in Separation Logic.
[BibTeX]
[DOI]
Jonas Kastberg Hinrichsen
,
Jules Jacobs
,
Robbert Krebbers
Proc. ACM Program. Lang., 2024

2023
Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl).
[BibTeX]
[DOI]
Jules Jacobs
,
Jonas Kastberg Hinrichsen
,
Robbert Krebbers
Proc. ACM Program. Lang., August, 2023

Fast Coalgebraic Bisimilarity Minimization.
[BibTeX]
[DOI]
Jules Jacobs
,
Thorsten Wißmann
Proc. ACM Program. Lang., January, 2023

Higher-Order Leak and Deadlock Free Locks.
[BibTeX]
[DOI]
Jules Jacobs
,
Stephanie Balzer
Proc. ACM Program. Lang., January, 2023

2022
Multiparty GV: functional multiparty session types with certified deadlock freedom.
[BibTeX]
[DOI]
Jules Jacobs
,
Stephanie Balzer
,
Robbert Krebbers
Proc. ACM Program. Lang., 2022

Connectivity graphs: a method for proving deadlock freedom based on separation logic.
[BibTeX]
[DOI]
Jules Jacobs
,
Stephanie Balzer
,
Robbert Krebbers
Proc. ACM Program. Lang., 2022

A Self-Dual Distillation of Session Types: Mechanized Proofs (Artifact).
[BibTeX]
[DOI]
Jules Jacobs
Dagstuhl Artifacts Ser., 2022

Coalgebraic Partition Refinement For All Functors.
[BibTeX]
[DOI]
Jules Jacobs
,
Thorsten Wißmann
CoRR, 2022

A Self-Dual Distillation of Session Types.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Jules Jacobs
Proc. ACM Program. Lang., 2021

Paradoxes of Probabilistic Programming.
[BibTeX]
[DOI]
Jules Jacobs
CoRR, 2021


  Loading...