research
∙
11/22/2022
A Pragmatic Approach to Stateful Partial Order Reduction
Partial order reduction (POR) is a classic technique for dealing with th...
share
research
∙
09/15/2022
Proving Hypersafety Compositionally
Hypersafety properties of arity n are program properties that relate n t...
research
∙
08/25/2022
Coarser Equivalences for Concurrent Program Runs
Trace theory is a framework for designing equivalence relations for conc...
research
∙
10/31/2019
Reductions for Safety Proofs (Extended Version)
Program reductions are used widely to simplify reasoning about the corre...
research
∙
05/22/2019
Reductions for Automated Hypersafety Verification
We propose an automated verification technique for hypersafety propertie...
research
∙
04/01/2019
Modular Synthesis of Divide-and-Conquer Parallelism for Nested Loops (Extended Version)
We propose a methodology for automatic generation of divide-and-conquer ...
research
∙
01/17/2019