research
∙
09/13/2023
CRIL: A Concurrent Reversible Intermediate Language
We present a reversible intermediate language with concurrency for trans...
share
research
∙
12/07/2022
revTPL: The Reversible Temporal Process Language
Reversible debuggers help programmers to find the causes of misbehaviour...
research
∙
05/13/2020
Multiparty Session Programming with Global Protocol Combinators
Multiparty Session Types (MPST) is a typing discipline for communication...
research
∙
08/27/2018
Reversing Parallel Programs with Blocks and Procedures
We show how to reverse a while language extended with blocks, local vari...
research
∙
09/04/2017