Projects

LLOV

A static data-race checker for OpenMP programs.

Open-WBO-Inc

An open-source solver for incomplete MaxSAT

GPURepair

A tool for automated repair of CUDA and OpenCL kernels

OpenWBO

An open-source MaxSAT and Pseudo-Boolean solver

Pinaka

A symbolic execution engine