Jonas Kastberg Hinrichsen

12 papers B 2Journal 10
YearRankTypeTitle / Venue / Authors
2026 J jnl
Beyond platforms - Growing distributed transaction networks for digital commerce.
Inf. Softw. Technol.
Yvonne Dittrich, Kim Peiter Jørgensen, Ravi Prakash, Willard Rafnsson, Jonas Kastberg Hinrichsen
2026 B conf
Building Blocks for Step-Indexed Program Logics.
CPP
Thomas Somers, Jonas Kastberg Hinrichsen, Lennard Gäher, Robbert Krebbers
2025 J jnl
Beyond Platforms - Growing Distributed Transaction Networks for Digital Commerce.
CoRR
Yvonne Dittrich, Kim Peiter Jørgensen, Ravi Prakash, Willard Rafnsson, Jonas Kastberg Hinrichsen
2024 J jnl
Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing.
Proc. ACM Program. Lang.
Jules Jacobs, Jonas Kastberg Hinrichsen, Robbert Krebbers
2024 J jnl
Multris: Functional Verification of Multiparty Message Passing in Separation Logic.
Proc. ACM Program. Lang.
Jonas Kastberg Hinrichsen, Jules Jacobs, Robbert Krebbers
2024 J jnl
Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement.
Proc. ACM Program. Lang.
Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Jonas Kastberg Hinrichsen, Léon Gondelman, Abel Nieto, Lars Birkedal
2023 J jnl
Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl).
Proc. ACM Program. Lang.
Jules Jacobs, Jonas Kastberg Hinrichsen, Robbert Krebbers
2023 J jnl
Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols.
Proc. ACM Program. Lang.
Léon Gondelman, Jonas Kastberg Hinrichsen, Mário Pereira, Amin Timany, Lars Birkedal
2022 J jnl
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic.
Log. Methods Comput. Sci.
Jonas Kastberg Hinrichsen, Jesper Bengtson, Robbert Krebbers
2021 B conf
Machine-checked semantic session typing.
CPP
Jonas Kastberg Hinrichsen, Daniël Louwrink, Robbert Krebbers, Jesper Bengtson
2020 J jnl
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic.
CoRR
Jonas Kastberg Hinrichsen, Jesper Bengtson, Robbert Krebbers
2020 J jnl
Actris: session-type based reasoning in separation logic.
Proc. ACM Program. Lang.
Jonas Kastberg Hinrichsen, Jesper Bengtson, Robbert Krebbers