research
∙
03/24/2022
Provable GPU Data-Races in Static Race Detection
We extend the theory behind the Faial tool-chain, which can soundly prov...
share
research
∙
11/23/2021
kmclib: Automated Inference and Verification of Session Types
Theories and tools based on multiparty session types offer correctness g...
research
∙
09/30/2021
Proceedings 14th Interaction and Concurrency Experience
This volume contains the proceedings of ICE'21, the 14th Interaction and...
research
∙
04/26/2021
A Session Subtyping Tool (Extended Version)
Session types are becoming popular and have been integrated in several m...
research
∙
01/20/2021
Fair Refinement for Asynchronous Session Types (extended version)
Session types are widely used as abstractions of asynchronous message pa...
research
∙
09/16/2020
Proceedings 13th Interaction and Concurrency Experience
This volume contains the proceedings of ICE'20, the 13th Interaction and...
research
∙
05/24/2020
Featherweight Go
We describe a design for generics in Go inspired by previous work on Fea...
research
∙
04/03/2020
Bounded verification of message-passing concurrency in Go using Promela and Spin
This paper describes a static verification framework for the message-pas...
research
∙
06/30/2019
A Sound Algorithm for Asynchronous Session Subtyping (extended version)
Session types, types for structuring communication between endpoints in ...
research
∙
01/28/2019
Verifying Asynchronous Interactions via Communicating Session Automata
The relationship between communicating automata and session types is the...
research
∙
10/27/2016