| 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 | 22 | 2021 |
| Actris 2.0: Asynchronous session-type based reasoning in separation logic JK Hinrichsen, J Bengtson, R Krebbers Logical Methods in Computer Science, 2022 | 15* | 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 | 9 | 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 | 4 | 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 | | |
Robbert KrebbersAssociate Professor, Radboud University Nijmegen確認したメール アドレス: cs.ru.nl
