conf.researchr.org / Jonas Kastberg Hinrichsen
Registered user since Mon 8 Jul 2019
Name:Jonas Kastberg Hinrichsen
Country:Denmark
Affiliation:IT University of Copenhagen
Personal website: https://jihgfee.github.io/
Research interests:Formal Verification, Program Logics, Proof Assistants, Higher-Order Logic, Concurrency, Distributed Systems, Liveness, Formal Protocols
Contributions
2024
POPL
- Author of Verified Message-Passing Concurrency in Iris: Separation Logic Meets Session Types within the TutorialFest-track
- Author of Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing within the POPL-track
- Author of Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement within the POPL-track
2023
ICFP
- Author of Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl) within the ICFP Papers and Events-track
- Author of Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols within the Artifact Evaluation-track
- Author of Dependent Session Protocols in Separation Logic from First Principles (Artifact) within the Artifact Evaluation-track
- Author of Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols within the ICFP Papers and Events-track