| Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Separation Logic J Jacobs, S Balzer, R Krebbers | 24 | 2022 |
| 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 | 18 | 2022 |
| 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 | 16 | 2021 |
| 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 | 9 | 2021 |
| Higher-Order Leak and Deadlock Free Locks J Jacobs, S Balzer Proceedings of the ACM on Programming Languages 7 (POPL), 1027-1057, 2023 | 5 | 2023 |
| A Self-Dual Distillation of Session Types J Jacobs 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022 | 5 | 2022 |
| Fast Coalgebraic Bisimilarity Minimization J Jacobs, T Wißmann Proceedings of the ACM on Programming Languages 7 (POPL), 1514-1541, 2023 | 4 | 2023 |
| Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Separation Logic (Artifact) J Jacobs, S Balzer, R Krebbers Zenodo, 2021 | 3 | 2021 |
| 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 | 2 | 2020 |
| 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 | 1 | 2023 |
| 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 | | 2024 |
| A Simple Concurrent Lambda Calculus for Session Types J Jacobs Sl: TYPES, 2023 | | 2023 |
| Coalgebraic Partition Refinement For All Functors J Jacobs, T Wißmann arXiv preprint arXiv:2204.12368, 2022 | | 2022 |
| A Self-Dual Distillation of Session Types: Mechanized Proofs (Artifact). J Jacobs Dagstuhl Artifacts Ser. 8 (2), 15:1-15:2, 2022 | | 2022 |
| Bottom-up rewriting with smart constructors, hereditary substitution & normalization by evaluation J Jacobs | | 2021 |
| How to compile pattern matching J Jacobs | | 2021 |
| A magic determinant formula for symmetric polynomials of eigenvalues J Jacobs arXiv preprint arXiv:2009.01345, 2020 | | 2020 |
| A Self-Dual Distillation of Session Types (Pearl) J Jacobs | | |
Stephanie BalzerCarnegie Mellon UniversityVerified email at cs.cmu.edu
