research
∙
08/26/2022
Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types
In program verification, constraint-based random testing is a powerful t...
share
research
∙
07/03/2019
The Combinatorics of Barrier Synchronization
In this paper we study the notion of synchronization from the point of v...
research
∙
03/02/2018
