Jules Jacobs

According to our database, Jules Jacobs authored at least 19 papers between 2021 and 2026.

Collaborative distances:

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

2026

NEST: Network Enforced Session Types (Technical Report).

Jens Kanstrup Larsen, Alceste Scalas, Guy Amir, Jules Jacobs, Jana Wagemaker, Nate Foster

CoRR, April, 2026

Deciding Serializability in Network Systems.

Guy Amir, Mark Barbone, Nicolas Amat, Jules Jacobs

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

StacKAT artifact.

Jules Jacobs, Nate Foster, Tobias Kappé, Dexter Kozen, Lily Saada, Alexandra Silva, Jana Wagemaker

Dataset, May, 2025

StacKAT: Infinite State Network Verification.

Jules Jacobs, Nate Foster, Tobias Kappé, Dexter Kozen, Lily Saada, Alexandra Silva, Jana Wagemaker

Proc. ACM Program. Lang., 2025

CAGE challenge 4: A scalable multi-agent reinforcement learning gym for autonomous cyber defence.

Mitchell Kiely, Metin Ahiskali, Etienne Borde, Benjamin Bowman, David Bowman, Dirk Van Bruggen, KC Cowan, Prithviraj Dasgupta, Erich Devendorf, Ben Edwards, Alex Fitts, Sunny Fugate, Ryan Gabrys, Wayne Gould, H. Howie Huang, Jules Jacobs, Ryan Kerr, Isaiah J. King, Li Li, Luis Martinez, Christopher Moir, Craig Murphy, Olivia Naish, Claire Owens, Miranda Purchase, Ahmad Ridley, Adrian Taylor, Sara Farmer, William John Valentine, Yiyi Zhang

AI Mag., 2025

Exploring the Efficacy of Multi-Agent Reinforcement Learning for Autonomous Cyber Defence: A CAGE Challenge 4 Perspective.

Mitchell Kiely, Metin Ahiskali, Etienne Borde, Benjamin Bowman, David Bowman, Dirk Van Bruggen, KC Cowan, Prithviraj Dasgupta, Erich Devendorf, Ben Edwards, Alex Fitts, Sunny Fugate, Ryan Gabrys, Wayne Gould, H. Howie Huang, Jules Jacobs, Ryan Kerr, Isaiah J. King, Li Li, Luis Martinez, Christopher Moir, Craig Murphy, Olivia Naish, Claire Owens, Miranda Purchase, Ahmad Ridley, Adrian Taylor, Sara Farmer, William John Valentine, Yiyi Zhang

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

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

Multris: Functional Verification of Multiparty Message Passing in Separation Logic.

Jonas Kastberg Hinrichsen, Jules Jacobs, Robbert Krebbers

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