Jules Jacobs

20 papers A* 1A 1Journal 17Unranked 1
YearRankTypeTitle / Venue / Authors
2026 — conf
Deciding Serializability in Network Systems.
TACAS (2)
Guy Amir, Mark Barbone, Nicolas Amat, Jules Jacobs
2026 J jnl
Deciding Serializability in Network Systems.
CoRR
Guy Amir, Mark Barbone, Nicolas Amat, Jules Jacobs
2025 J jnl
CAGE challenge 4: A scalable multi-agent reinforcement learning gym for autonomous cyber defence.
AI Mag.
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
2025 A* conf
Exploring the Efficacy of Multi-Agent Reinforcement Learning for Autonomous Cyber Defence: A CAGE Challenge 4 Perspective.
AAAI
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
2025 J jnl
StacKAT: Infinite State Network Verification.
CoRR
Jules Jacobs, Nate Foster, Tobias Kappé, Dexter Kozen, Lily Saada, Alexandra Silva, Jana Wagemaker
2025 J jnl
StacKAT: Infinite State Network Verification.
Proc. ACM Program. Lang.
Jules Jacobs, Nate Foster, Tobias Kappé, Dexter Kozen, Lily Saada, Alexandra Silva, Jana Wagemaker
2024 J jnl
Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing.
Proc. ACM Program. Lang.
Jules Jacobs, Jonas Kastberg Hinrichsen, Robbert Krebbers
2024 J jnl
KATch: A Fast Symbolic Verifier for NetKAT.
CoRR
Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva
2024 J jnl
KATch: A Fast Symbolic Verifier for NetKAT.
Proc. ACM Program. Lang.
Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva
2024 J jnl
Multris: Functional Verification of Multiparty Message Passing in Separation Logic.
Proc. ACM Program. Lang.
Jonas Kastberg Hinrichsen, Jules Jacobs, Robbert Krebbers
2023 J jnl
Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl).
Proc. ACM Program. Lang.
Jules Jacobs, Jonas Kastberg Hinrichsen, Robbert Krebbers
2023 J jnl
Fast Coalgebraic Bisimilarity Minimization.
Proc. ACM Program. Lang.
Jules Jacobs, Thorsten Wißmann
2023 J jnl
Higher-Order Leak and Deadlock Free Locks.
Proc. ACM Program. Lang.
Jules Jacobs, Stephanie Balzer
2022 A conf
A Self-Dual Distillation of Session Types.
ECOOP
Jules Jacobs
2022 J jnl
A Self-Dual Distillation of Session Types: Mechanized Proofs (Artifact).
Dagstuhl Artifacts Ser.
Jules Jacobs
2022 J jnl
Coalgebraic Partition Refinement For All Functors.
CoRR
Jules Jacobs, Thorsten Wißmann
2022 J jnl
Connectivity graphs: a method for proving deadlock freedom based on separation logic.
Proc. ACM Program. Lang.
Jules Jacobs, Stephanie Balzer, Robbert Krebbers
2022 J jnl
Multiparty GV: functional multiparty session types with certified deadlock freedom.
Proc. ACM Program. Lang.
Jules Jacobs, Stephanie Balzer, Robbert Krebbers
2021 J jnl
Paradoxes of Probabilistic Programming.
CoRR
Jules Jacobs
2021 J jnl
Paradoxes of probabilistic programming: and how to condition on events of measure zero with infinitesimal probabilities.
Proc. ACM Program. Lang.
Jules Jacobs