% Publications of Jules Jacobs (https://julesjacobs.com/).
% Entries come from the DOI registries (Crossref, DataCite).

@article{wu2026slice,
  title = {Type-Directed Discretization of Probabilistic Programs},
  volume = {10},
  ISSN = {2475-1421},
  url = {https://doi.org/10.1145/3839534},
  DOI = {10.1145/3839534},
  number = {OOPSLA2},
  journal = {Proceedings of the ACM on Programming Languages},
  publisher = {Association for Computing Machinery (ACM)},
  author = {Wu, Katherine and Jacobs, Jules and Batz, Kevin and Silva, Alexandra},
  year = {2026},
  month = Oct,
  pages = {2435--2462}
}

@article{peters2026modecrossing,
  title = {Mode Crossing},
  volume = {10},
  ISSN = {2475-1421},
  url = {https://doi.org/10.1145/3828681},
  DOI = {10.1145/3828681},
  number = {ICFP},
  journal = {Proceedings of the ACM on Programming Languages},
  publisher = {Association for Computing Machinery (ACM)},
  author = {Peters, Benjamin and Jacobs, Jules and Kalinichenko, Diana and Stevenson, Liam and Smith, Aspen and Dreyer, Derek and Eisenberg, Richard A.},
  year = {2026},
  month = Aug,
  pages = {236--266}
}

@inproceedings{larsen2026nest,
  doi = {10.4230/LIPICS.ECOOP.2026.17},
  url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2026.17},
  author = {Larsen, Jens Kanstrup and Scalas, Alceste and Amir, Guy and Jacobs, Jules and Wagemaker, Jana and Foster, Nate},
  keywords = {Session types, runtime verification, P4, programmable data planes, Software and its engineering → Software verification},
  language = {en},
  title = {NEST: Network Enforced Session Types},
  journal = {LIPIcs, Volume 372, ECOOP 2026},
  volume = {372},
  pages = {17:1-17:31},
  publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
  year = {2026},
  copyright = {Creative Commons Attribution 4.0 International license}

}

@inbook{amir2026serializability,
  title = {Deciding Serializability in Network Systems},
  ISBN = {9783032227492},
  ISSN = {1611-3349},
  url = {https://doi.org/10.1007/978-3-032-22749-2_5},
  DOI = {10.1007/978-3-032-22749-2_5},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems},
  publisher = {Springer Nature Switzerland},
  author = {Amir, Guy and Barbone, Mark and Amat, Nicolas and Jacobs, Jules},
  year = {2026},
  pages = {85--108}
}

@article{jacobs2025stackat,
  title = {StacKAT: Infinite State Network Verification},
  volume = {9},
  ISSN = {2475-1421},
  url = {https://doi.org/10.1145/3729257},
  DOI = {10.1145/3729257},
  number = {PLDI},
  journal = {Proceedings of the ACM on Programming Languages},
  publisher = {Association for Computing Machinery (ACM)},
  author = {Jacobs, Jules and Foster, Nate and Kappé, Tobias and Kozen, Dexter and Saada, Lily and Silva, Alexandra and Wagemaker, Jana},
  year = {2025},
  month = June,
  pages = {277--300}
}

@article{hinrichsen2024multris,
  title = {Multris: Functional Verification of Multiparty Message Passing in Separation Logic},
  volume = {8},
  ISSN = {2475-1421},
  url = {https://doi.org/10.1145/3689762},
  DOI = {10.1145/3689762},
  number = {OOPSLA2},
  journal = {Proceedings of the ACM on Programming Languages},
  publisher = {Association for Computing Machinery (ACM)},
  author = {Hinrichsen, Jonas Kastberg and Jacobs, Jules and Krebbers, Robbert},
  year = {2024},
  month = Oct,
  pages = {1446--1474}
}

@article{moeller2024katch,
  title = {KATch: A Fast Symbolic Verifier for NetKAT},
  volume = {8},
  ISSN = {2475-1421},
  url = {https://doi.org/10.1145/3656454},
  DOI = {10.1145/3656454},
  number = {PLDI},
  journal = {Proceedings of the ACM on Programming Languages},
  publisher = {Association for Computing Machinery (ACM)},
  author = {Moeller, Mark and Jacobs, Jules and Belanger, Olivier Savary and Darais, David and Schlesinger, Cole and Smolka, Steffen and Foster, Nate and Silva, Alexandra},
  year = {2024},
  month = June,
  pages = {1905--1928}
}

@book{jacobs2024thesis,
  title = {Guarantees by Construction},
  ISBN = {9789493296541},
  url = {https://doi.org/10.54195/9789493296541},
  DOI = {10.54195/9789493296541},
  publisher = {Radboud University Press},
  author = {Jacobs, Jules},
  year = {2024},
  month = June
}

@article{jacobs2024dlfactris,
  title = {Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing},
  volume = {8},
  ISSN = {2475-1421},
  url = {https://doi.org/10.1145/3632889},
  DOI = {10.1145/3632889},
  number = {POPL},
  journal = {Proceedings of the ACM on Programming Languages},
  publisher = {Association for Computing Machinery (ACM)},
  author = {Jacobs, Jules and Hinrichsen, Jonas Kastberg and Krebbers, Robbert},
  year = {2024},
  month = Jan,
  pages = {1385--1417}
}

@article{jacobs2023miniactris,
  title = {Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl)},
  volume = {7},
  ISSN = {2475-1421},
  url = {https://doi.org/10.1145/3607856},
  DOI = {10.1145/3607856},
  number = {ICFP},
  journal = {Proceedings of the ACM on Programming Languages},
  publisher = {Association for Computing Machinery (ACM)},
  author = {Jacobs, Jules and Hinrichsen, Jonas Kastberg and Krebbers, Robbert},
  year = {2023},
  month = Aug,
  pages = {768--795}
}

@article{jacobs2023locks,
  title = {Higher-Order Leak and Deadlock Free Locks},
  volume = {7},
  ISSN = {2475-1421},
  url = {https://doi.org/10.1145/3571229},
  DOI = {10.1145/3571229},
  number = {POPL},
  journal = {Proceedings of the ACM on Programming Languages},
  publisher = {Association for Computing Machinery (ACM)},
  author = {Jacobs, Jules and Balzer, Stephanie},
  year = {2023},
  month = Jan,
  pages = {1027--1057}
}

@article{jacobs2023boa,
  title = {Fast Coalgebraic Bisimilarity Minimization},
  volume = {7},
  ISSN = {2475-1421},
  url = {https://doi.org/10.1145/3571245},
  DOI = {10.1145/3571245},
  number = {POPL},
  journal = {Proceedings of the ACM on Programming Languages},
  publisher = {Association for Computing Machinery (ACM)},
  author = {Jacobs, Jules and Wißmann, Thorsten},
  year = {2023},
  month = Jan,
  pages = {1514--1541}
}

@article{jacobs2022mpgv,
  title = {Multiparty GV: functional multiparty session types with certified deadlock freedom},
  volume = {6},
  ISSN = {2475-1421},
  url = {https://doi.org/10.1145/3547638},
  DOI = {10.1145/3547638},
  number = {ICFP},
  journal = {Proceedings of the ACM on Programming Languages},
  publisher = {Association for Computing Machinery (ACM)},
  author = {Jacobs, Jules and Balzer, Stephanie and Krebbers, Robbert},
  year = {2022},
  month = Aug,
  pages = {466--495}
}

@inproceedings{jacobs2022lambdabar,
  doi = {10.4230/LIPICS.ECOOP.2022.23},
  url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.23},
  author = {Jacobs, Jules},
  keywords = {Linear types, concurrency, lambda calculus, session types, Software and its engineering → Concurrent programming languages},
  language = {en},
  title = {A Self-Dual Distillation of Session Types},
  journal = {LIPIcs, Volume 222, ECOOP 2022},
  volume = {222},
  pages = {23:1-23:22},
  publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
  year = {2022},
  copyright = {Creative Commons Attribution 4.0 International license}

}

@article{jacobs2022cgraphs,
  title = {Connectivity graphs: a method for proving deadlock freedom based on separation logic},
  volume = {6},
  ISSN = {2475-1421},
  url = {https://doi.org/10.1145/3498662},
  DOI = {10.1145/3498662},
  number = {POPL},
  journal = {Proceedings of the ACM on Programming Languages},
  publisher = {Association for Computing Machinery (ACM)},
  author = {Jacobs, Jules and Balzer, Stephanie and Krebbers, Robbert},
  year = {2022},
  month = Jan,
  pages = {1--33}
}

@article{kara2021ovarian,
  title = {Long-term ovarian hormone deprivation alters functional connectivity, brain neurochemical profile and white matter integrity in the Tg2576 amyloid mouse model of Alzheimer’s disease},
  volume = {102},
  ISSN = {0197-4580},
  url = {https://doi.org/10.1016/j.neurobiolaging.2021.02.011},
  DOI = {10.1016/j.neurobiolaging.2021.02.011},
  journal = {Neurobiology of Aging},
  publisher = {Elsevier BV},
  author = {Kara, Firat and Belloy, Michael E. and Voncken, Rick and Sarwari, Zahra and Garima, Yadav and Anckaerts, Cynthia and Langbeen, An and Leysen, Valerie and Shah, Disha and Jacobs, Jules and Hamaide, Julie and Bols, Peter and Van Audekerke, Johan and Daans, Jasmijn and Guglielmetti, Caroline and Kantarci, Kejal and Prevot, Vincent and Roßner, Steffen and Ponsaerts, Peter and Van der Linden, Annemie and Verhoye, Marleen},
  year = {2021},
  month = June,
  pages = {139--150}
}

@article{jacobs2021paradoxes,
  title = {Paradoxes of probabilistic programming: and how to condition on events of measure zero with infinitesimal probabilities},
  volume = {5},
  ISSN = {2475-1421},
  url = {https://doi.org/10.1145/3434339},
  DOI = {10.1145/3434339},
  number = {POPL},
  journal = {Proceedings of the ACM on Programming Languages},
  publisher = {Association for Computing Machinery (ACM)},
  author = {Jacobs, Jules},
  year = {2021},
  month = Jan,
  pages = {1--26}
}