research
∙
09/01/2023
Logical Relations for Session-Typed Concurrency
Program equivalence is the fulcrum for reasoning about and proving prope...
share
research
∙
08/29/2022
Recursive Session Logical Relations
Program equivalence is the fulcrum for reasoning about and proving prope...
research
∙
04/29/2021
Session Logical Relations for Noninterference
Information flow control type systems statically restrict the propagatio...
research
∙
01/15/2021
Manifestly Phased Communication via Shared Session Types
Session types denote message protocols between concurrent processes, all...
research
∙
09/28/2020
Ferrite: A Judgmental Embedding of Session Types in Rust
This article introduces Ferrite, a shallow embedding of session types in...
research
∙
04/01/2020
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
Modern hardware platforms, from the very small to the very large, increa...
research
∙
02/16/2019