Suivre
Jules Jacobs
Titre
Citée par
Citée par
Année
Multiparty GV: functional multiparty session types with certified deadlock freedom
J Jacobs, S Balzer, R Krebbers
Proceedings of the ACM on Programming Languages 6 (ICFP), 466-495, 2022
292022
Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Separation Logic
J Jacobs, S Balzer, R Krebbers
Proceedings of the ACM on Programming Languages (POPL), 2022
282022
Paradoxes of probabilistic programming: And how to condition on events of measure zero with infinitesimal probabilities
J Jacobs
Proceedings of the ACM on Programming Languages 5 (POPL), 1-26, 2021
192021
Long-term ovarian hormone deprivation alters functional connectivity, brain neurochemical profile and white matter integrity in the Tg2576 amyloid mouse model of Alzheimer's …
F Kara, ME Belloy, R Voncken, Z Sarwari, Y Garima, C Anckaerts, ...
Neurobiology of aging 102, 139-150, 2021
122021
Fast Coalgebraic Bisimilarity Minimization
J Jacobs, T Wißmann
Proceedings of the ACM on Programming Languages 7 (POPL), 1514-1541, 2023
112023
Higher-Order Leak and Deadlock Free Locks
J Jacobs, S Balzer
Proceedings of the ACM on Programming Languages 7 (POPL), 1027-1057, 2023
92023
Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing
J Jacobs, JK Hinrichsen, R Krebbers
Proceedings of the ACM on Programming Languages 8 (POPL), 1385-1417, 2024
62024
A Self-Dual Distillation of Session Types
J Jacobs
36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022
52022
Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl)
J Jacobs, JK Hinrichsen, R Krebbers
Proceedings of the ACM on Programming Languages 7 (ICFP), 768-795, 2023
32023
Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Separation Logic (Artifact)
J Jacobs, S Balzer, R Krebbers
Zenodo, 2021
32021
Long‐term deprivation of ovarian hormones via ovariectomy alters functional connectivity, brain neurochemistry and white matter integrity in a mouse model of Alzheimer's …
F Kara, ME Belloy, R Voncken, Z Sarwari, G Yadav, C Anckaerts, ...
Alzheimer's & Dementia 16, e037354, 2020
22020
KATch: A Fast Symbolic Verifier for NetKAT
M Moeller, J Jacobs, OS Belanger, D Darais, C Schlesinger, S Smolka, ...
Proceedings of the ACM on Programming Languages 8 (PLDI), 1905-1928, 2024
12024
Multris: Functional Verification of Multiparty Message Passing in Separation Logic
JK HINRICHSEN, J JACOBS, R KREBBERS
Proceedings of the ACM on Programming Languages (OOPSLA), 0
1*
Multris: Functional Verification of Multiparty Message Passing in Separation Logic-Coq Mechanization
JK Hinrichsen, J Jacobs, RJ Krebbers
Zenodo, 2024
2024
Guarantees by Construction
J Jacobs
Nijmegen: Radboud University Press, 2024
2024
A Simple Concurrent Lambda Calculus for Session Types
J Jacobs
Sl: TYPES, 2023
2023
A Self-Dual Distillation of Session Types: Mechanized Proofs (Artifact).
J Jacobs
Dagstuhl Artifacts Ser. 8 (2), 15:1-15:2, 2022
2022
Coalgebraic Partition Refinement For All Functors.
J Jacobs, T Wißmann
CoRR, 2022
2022
Bottom-up rewriting with smart constructors, hereditary substitution & normalization by evaluation
J Jacobs
2021
How to compile pattern matching
J Jacobs
2021
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20