Actris: Session-type based reasoning in separation logic JK Hinrichsen, J Bengtson, R Krebbers Proceedings of the ACM on Programming Languages 4 (POPL), 1-30, 2019 | 59* | 2019 |
Machine-checked semantic session typing JK Hinrichsen, D Louwrink, R Krebbers, J Bengtson Proceedings of the 10th ACM SIGPLAN International Conference on Certified …, 2021 | 23 | 2021 |
Actris 2.0: Asynchronous session-type based reasoning in separation logic JK Hinrichsen, J Bengtson, R Krebbers Logical Methods in Computer Science, 2022 | 16* | 2022 |
Verifying reliable network components in a distributed separation logic with dependent separation protocols L Gondelman, JK Hinrichsen, M Pereira, A Timany, L Birkedal Proceedings of the ACM on Programming Languages 7 (ICFP), 847-877, 2023 | 11 | 2023 |
Trillium: higher-order concurrent and distributed separation logic for intensional refinement A Timany, SO Gregersen, L Stefanesco, JK Hinrichsen, L Gondelman, ... Proceedings of the ACM on Programming Languages 8 (POPL), 241-272, 2024 | 5 | 2024 |
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 | 1 | 2024 |
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 |
Sessions and Separation JK Hinrichsen IT-Universitetet i København, 2021 | 1 | 2021 |
Multris: Functional Verification of Multiparty Message Passing in Separation Logic JK HINRICHSEN, J JACOBS, R KREBBERS | | |