E-LIB Suche - Ergebnisse für: Jacobs, Jules

1

KATch: A Fast Symbolic Verifier for NetKAT:

Moeller, Mark ; Jacobs, Jules ; Belanger, Olivier Savary...
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 1905-1928 , 2024

Link: https://doi.org/10.1145/..

2

Deadlock-Free Separation Logic: Linearity Yields Progress f..:

Jacobs, Jules ; Hinrichsen, Jonas Kastberg ; Krebbers, Robbert
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 1385-1417 , 2024

Link: https://doi.org/10.1145/..

3

Fast Coalgebraic Bisimilarity Minimization:

Jacobs, Jules ; Wißmann, Thorsten
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 1514-1541 , 2023

Link: https://doi.org/10.1145/..

4

Higher-Order Leak and Deadlock Free Locks:

Jacobs, Jules ; Balzer, Stephanie
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 1027-1057 , 2023

Link: https://doi.org/10.1145/..

5

Dependent Session Protocols in Separation Logic from First ..:

Jacobs, Jules ; Hinrichsen, Jonas Kastberg ; Krebbers, Robbert
Proceedings of the ACM on Programming Languages. 7 (2023) ICFP - p. 768-795 , 2023

Link: https://doi.org/10.1145/..

6

Multiparty GV: functional multiparty session types with cer..:

Jacobs, Jules ; Balzer, Stephanie ; Krebbers, Robbert
Proceedings of the ACM on Programming Languages. 6 (2022) ICFP - p. 466-495 , 2022

Link: https://doi.org/10.1145/..

7

Connectivity graphs: a method for proving deadlock freedom ..:

Jacobs, Jules ; Balzer, Stephanie ; Krebbers, Robbert
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-33 , 2022

Link: https://doi.org/10.1145/..

8

Connectivity graphs: a method for proving deadlock freedom ..:

Jacobs, Jules ; Balzer, Stephanie ; Krebbers, Robbert
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-33 , 2022

Link: https://dl.acm.org/doi/1..

9

Paradoxes of probabilistic programming: and how to conditio..:

Jacobs, Jules
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-26 , 2021

Link: https://dl.acm.org/doi/1..

10

Long-term ovarian hormone deprivation alters functional con..:

Kara, Firat ; Belloy, Michael E. ; Voncken, Rick...
Neurobiology of Aging. 102 (2021) - p. 139-150 , 2021

Link: https://doi.org/10.1016/..

11

Paradoxes of probabilistic programming: and how to conditio..:

Jacobs, Jules
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-26 , 2021

Link: https://doi.org/10.1145/..

12

Long‐term deprivation of ovarian hormones via ovariectomy a..:

Kara, Firat ; Belloy, Michael E ; Voncken, Rick...
Alzheimer's & Dementia. 16 (2020) S4 - p. , 2020

Link: https://doi.org/10.1002/..

13

Dependent Session Protocols in Separation Logic from First ..:

Jacobs, Jules ; Hinrichsen, Jonas Kastberg ; Krebbers, Robbert
Jacobs , J , Hinrichsen , J K & Krebbers , R 2023 , ' Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl) ' , Proceedings of the ACM on Programming Languages , vol. 7 , no. ICFP , 214 , pp. 768-795 . https://doi.org/10.1145/3607856. , 2023

Link: https://pure.au.dk/porta..

14

A Self-Dual Distillation of Session Types:

Jacobs, Jules
doi:10.4230/LIPIcs.ECOOP.2022.23. , 2022

Link: https://doi.org/10.4230/..

15

A Self-Dual Distillation of Session Types: Mechanized Proof..:

Jacobs, Jules
doi:10.4230/DARTS.8.2.15. , 2022

Link: https://doi.org/10.4230/..