| 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 | 53 | 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 | 21 | 2021 |
| Actris 2.0: Asynchronous session-type based reasoning in separation logic.(2020) JK Hinrichsen, J Bengtson, R Krebbers Manuscript in preparation, 2020 | 10* | 2020 |
| 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 | 8 | 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 | 3 | 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 |
| 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 |
| Dependent Session Protocols in Separation Logic from First Principles JK HINRICHSEN | | 2023 |
| Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl) JK HINRICHSEN | | 2023 |
Robbert KrebbersAssociate Professor, Radboud University NijmegenVerified email at cs.ru.nl
