research
∙
08/07/2023
Monitoring Hyperproperties With Prefix Transducers
Hyperproperties are properties that relate multiple execution traces. Pr...
share
research
∙
11/03/2020
Fast Computation of Strong Control Dependencies
We introduce new algorithms for computing non-termination sensitive cont...
research
∙
10/30/2018
