Jonas Kastberg Hinrichsen

Actris: session-type based reasoning in separation logic

Jonas Kastberg Hinrichsen, Jesper Bengtson, Robbert Krebbers · Proceedings of the ACM on Programming Languages · 2019 · 42 citations · Full text

Computing, Computer Science, Computer Systems +17

Machine-checked semantic session typing

Jonas Kastberg Hinrichsen, Daniël Louwrink, Robbert Krebbers et al. · 2021 · 20 citations · Full text

Computing, Computer Science, Formal Methods +16

Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic

Jonas Kastberg Hinrichsen, Jesper Bengtson, Robbert Krebbers · Logical Methods in Computer Science · 2022 · 16 citations · Full text

Computing, Computer Science, Computer Systems +16

Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols

Léon Gondelman, Jonas Kastberg Hinrichsen, Amin Timany et al. · Proceedings of the ACM on Programming Languages · 2023 · 11 citations · Full text

Computing, Computer Science, Computer Systems +17

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement

Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco et al. · Proceedings of the ACM on Programming Languages · 2024 · 11 citations · Full text

Computing, Computer Science, Computer Systems +15