Jonas Kastberg Hinrichsen

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 8

Top Topics

Semantically Meaningful

Message Passing

Logic Programming

Top Venues

Proc. ACM Program. Lang.

Log. Methods Comput. Sci.

Publications

Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Jonas Kastberg Hinrichsen, Léon Gondelman, Abel Nieto, Lars Birkedal
Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement. Proc. ACM Program. Lang. 8 (POPL) (2024)
Jules Jacobs, Jonas Kastberg Hinrichsen, Robbert Krebbers
Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing. Proc. ACM Program. Lang. 8 (POPL) (2024)
Léon Gondelman, Jonas Kastberg Hinrichsen, Mário Pereira, Amin Timany, Lars Birkedal
Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Jules Jacobs, Jonas Kastberg Hinrichsen, Robbert Krebbers
Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl). Proc. ACM Program. Lang. 7 (ICFP) (2023)
Jonas Kastberg Hinrichsen, Jesper Bengtson, Robbert Krebbers
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic. Log. Methods Comput. Sci. 18 (2) (2022)
Jonas Kastberg Hinrichsen, Daniël Louwrink, Robbert Krebbers, Jesper Bengtson
Machine-checked semantic session typing. CPP (2021)
Jonas Kastberg Hinrichsen, Jesper Bengtson, Robbert Krebbers
Actris: session-type based reasoning in separation logic. Proc. ACM Program. Lang. 4 (POPL) (2020)
Jonas Kastberg Hinrichsen, Jesper Bengtson, Robbert Krebbers
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic. CoRR (2020)