Jonas Kastberg Hinrichsen

According to our database, Jonas Kastberg Hinrichsen authored at least 9 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

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

Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Jonas Kastberg Hinrichsen, Léon Gondelman, Abel Nieto, Lars Birkedal

Proc. ACM Program. Lang., January, 2024

Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing.

Jules Jacobs, Jonas Kastberg Hinrichsen, Robbert Krebbers

Proc. ACM Program. Lang., January, 2024

Multris: Functional Verification of Multiparty Message Passing in Separation Logic.

Jonas Kastberg Hinrichsen, Jules Jacobs, Robbert Krebbers

Proc. ACM Program. Lang., 2024

2023

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

Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Jonas Kastberg Hinrichsen, Léon Gondelman, Abel Nieto, Lars Birkedal

Dataset, November, 2023

Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl).

Jules Jacobs, Jonas Kastberg Hinrichsen, Robbert Krebbers

Proc. ACM Program. Lang., August, 2023

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

Léon Gondelman, Jonas Kastberg Hinrichsen, Mário Pereira, Amin Timany, Lars Birkedal

Proc. ACM Program. Lang., August, 2023

2022

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

Jonas Kastberg Hinrichsen, Jesper Bengtson, Robbert Krebbers

Log. Methods Comput. Sci., 2022

2021

Machine-checked semantic session typing.

Jonas Kastberg Hinrichsen, Daniël Louwrink, Robbert Krebbers, Jesper Bengtson

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2020

Actris: session-type based reasoning in separation logic.

Jonas Kastberg Hinrichsen, Jesper Bengtson, Robbert Krebbers

Proc. ACM Program. Lang., 2020