research
∙
02/03/2022
Bunched Fuzz: Sensitivity for Vector Metrics
"Program sensitivity" measures the distance between the outputs of a pro...
share
research
∙
04/15/2021
Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes
We address the problem of analysing the complexity of concurrent program...
research
∙
10/03/2019
