PPaperPicks

Jules Jacobs

6 papers at tracked venues · 4 at CORE A* · active 2024–2026

Venues

Frequent coauthors

Nate Foster
×2
Alexandra Silva
×2
Jonas Kastberg Hinrichsen
×2
Robbert Krebbers
×2
Benjamin Peters
×1
Diana Kalinichenko
×1
Liam Stevenson
×1
Aspen Smith
×1
Derek Dreyer
×1
Richard A. Eisenberg
×1
Mitchell Kiely
×1
Metin Ahiskali
×1

Papers

  1. Mode Crossing
    ICFP 2026 ·
    Benjamin Peters
    , Jules Jacobs,
    Diana Kalinichenko
    ,
    Liam Stevenson
    ,
    Aspen Smith
    ,
    Derek Dreyer
    ,
    Richard A. Eisenberg
  2. Exploring the Efficacy of Multi-Agent Reinforcement Learning for Autonomous Cyber Defence: A CAGE Challenge 4 Perspective
    AAAI 2025 ·
    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
  3. StacKAT: Infinite State Network Verification
    PLDI 2025 · Jules Jacobs,
    Nate Foster
    ,
    Tobias Kappé
    ,
    Dexter Kozen
    ,
    Lily Saada
    ,
    Alexandra Silva
    ,
    Jana Wagemaker
  4. Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing
    POPL 2024 · Jules Jacobs,
    Jonas Kastberg Hinrichsen
    ,
    Robbert Krebbers
  5. KATch: A Fast Symbolic Verifier for NetKAT
    PLDI 2024 ·
    Mark Moeller
    , Jules Jacobs,
    Olivier Savary Bélanger
    ,
    David Darais
    ,
    Cole Schlesinger
    ,
    Steffen Smolka
    ,
    Nate Foster
    ,
    Alexandra Silva
  6. Multris: Functional Verification of Multiparty Message Passing in Separation Logic
    OOPSLA 2024 ·
    Jonas Kastberg Hinrichsen
    , Jules Jacobs,
    Robbert Krebbers