research
∙
07/19/2023
Cross-thread critical sections and efficient dynamic race prediction methods
The lock set method and the partial order method are two main approaches...
share
research
∙
04/07/2023
Parameterized Algebraic Protocols
We propose algebraic protocols that enable the definition of protocol te...
research
∙
03/02/2023
Intrinsically Typed Sessions With Callbacks
All formalizations of session types rely on linear types for soundness a...
research
∙
10/31/2022
Polymorphic Typestate for Session Types
Session types provide a principled approach to typed communication proto...
research
∙
05/18/2022
Global Type Inference for Featherweight Generic Java
Java's type system mostly relies on type checking augmented with local t...
research
∙
08/26/2021
A Typed Programmatic Interface to Contracts on the Blockchain
Smart contract applications on the blockchain can only reach their full ...
research
∙
08/18/2021
Generation of TypeScript Declaration Files from JavaScript Code
Developers are starting to write large and complex applications in TypeS...
research
∙
06/12/2021
Polymorphic Context-free Session Types
Context-free session types provide a typing discipline for recursive str...
research
∙
10/16/2020
Relating Functional and Imperative Session Types
Imperative session types provide an imperative interface to session-type...
research
∙
04/03/2020
Duality of Session Types: The Final Cut
Duality is a central concept in the theory of session types. Since a fla...
research
∙
11/02/2019
Label-Dependent Session Types
Session types have emerged as a typing discipline for communication prot...
research
∙
08/26/2019
Kindly Bent to Free Us
Systems programming often requires the manipulation of resources like fi...
research
∙
08/08/2019
Intrinsically-Typed Mechanized Semantics for Session Types
Session types have emerged as a powerful paradigm for structuring commun...
research
∙
09/15/2018
Gradual Session Types
Session types are a rich type discipline, based on linear types, that li...
research
∙
08/24/2017