Paradoxes of Probabilistic Programming. - Jules Jacobs (CoRR, 2021)

Paradoxes of probabilistic programming: and how to condition on events of measure zero with infinitesimal probabilities. - Jules Jacobs (Proc. ACM Program. Lang., 2021)

A Self-Dual Distillation of Session Types. - Jules Jacobs (ECOOP, 2022)

Coalgebraic Partition Refinement For All Functors. - Jules Jacobs; Thorsten Wißmann (CoRR, 2022)

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

Connectivity graphs: a method for proving deadlock freedom based on separation logic. - Jules Jacobs; Stephanie Balzer; Robbert Krebbers (Proc. ACM Program. Lang., 2022)

Multiparty GV: functional multiparty session types with certified deadlock freedom. - Jules Jacobs; Stephanie Balzer; Robbert Krebbers (Proc. ACM Program. Lang., 2022)

Higher-Order Leak and Deadlock Free Locks. - Jules Jacobs; Stephanie Balzer (Proc. ACM Program. Lang., 2023)

Fast Coalgebraic Bisimilarity Minimization. - Jules Jacobs; Thorsten Wißmann (Proc. ACM Program. Lang., 2023)

Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl). - Jules Jacobs; Jonas Kastberg Hinrichsen; Robbert Krebbers (Proc. ACM Program. Lang., 2023)

Multris: Functional Verification of Multiparty Message Passing in Separation Logic. - Jonas Kastberg Hinrichsen; Jules Jacobs; Robbert Krebbers (Proc. ACM Program. Lang., 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 001 (Proc. ACM Program. Lang., 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., 2024)

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; et al. (AAAI, 2025)

StacKAT: Infinite State Network Verification. - Jules Jacobs; Nate Foster; Tobias Kappé; Dexter Kozen; Lily Saada; Alexandra Silva 001; Jana Wagemaker (Proc. ACM Program. Lang., 2025)