research
∙
07/07/2023
CODAG: Characterizing and Optimizing Decompression Algorithms for GPUs
Data compression and decompression have become vital components of big-d...
share
research
∙
10/10/2018
Trapezoidal Generalization over Linear Constraints
We are developing a model-based fuzzing framework that employs mathemati...
research
∙
12/04/2017
The JKind Model Checker
JKind is an open-source industrial model checker developed by Rockwell C...
research
∙
09/14/2017