research
∙
09/07/2023
P4R-Type: a Verified API for P4 Control Plane Programs (Technical Report)
Software-Defined Networking (SDN) significantly simplifies programming, ...
share
research
∙
04/11/2023
Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
This volume contains the proceedings of PLACES 2023, the 14th edition of...
research
∙
12/14/2022
PSTMonitor: Monitor Synthesis from Probabilistic Session Types
We present PSTMonitor, a tool for the run-time verification of quantitat...
research
∙
08/08/2022
Proceedings 15th Interaction and Concurrency Experience
This volume contains the proceedings of ICE'22, the 15th Interaction and...
research
∙
07/05/2022
Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report)
Session types enable the specification and verification of communicating...
research
∙
09/30/2021
Proceedings 14th Interaction and Concurrency Experience
This volume contains the proceedings of ICE'21, the 14th Interaction and...
research
∙
07/19/2021
Towards Probabilistic Session-Type Monitoring
We present a tool-based approach for the runtime analysis of communicati...
research
∙
05/13/2021
On the Monitorability of Session Types, in Theory and Practice (Extended Version)
In concurrent and distributed systems, software components are expected ...
research
∙
10/26/2020
Precise Subtyping for Asynchronous Multiparty Sessions
This paper presents the first formalisation of the precise subtyping rel...
research
∙
09/25/2020
A formal model of Algorand smart contracts
We develop a formal model of Algorand stateless smart contracts (statele...
research
∙
09/16/2020
Proceedings 13th Interaction and Concurrency Experience
This volume contains the proceedings of ICE'20, the 13th Interaction and...
research
∙
09/11/2019