Jonas Kastberg Hinrichsen - POPL 2024

Sun 14 - Sat 20 January 2024 London, United Kingdom

Registered user since Mon 8 Jul 2019

Name:Jonas Kastberg Hinrichsen

Country:Denmark

Affiliation:Aarhus University, Denmark

Personal website: https://jihgfee.github.io/

Research interests:Formal Verification, Session Types

Contributions

2024

POPL

Verified Message-Passing Concurrency in Iris: Separation Logic Meets Session Types
Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing
Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement

Show activities from other conferences

POPL 2024-profile
View general profile