Current Projects

For current projects please refer to the "PROJECTS" Section of the side navigation bar.

Past Projects

These projects are still being maintained and used by several communities. Please click on the thumbnail or direct quick link for corresponding project to visit each project's page.


ISP

‘In-situ Partial Order’ – dynamic formal verification tool for MPI.


GEM

‘Graphical Explorer of MPI Programs’ – a graphical front end for ISP, utilizing the Eclipse IDE


GIG

An Eclipse plugin that interfaces a local/remote installation of GKLEE
with currently being investigated CUDA C by GKLEE


DAMPI

‘Distributed Analyzer for MPI’ – a scalable, distributed dynamic
verification tool for MPI programs


Inspect

a thread-level (for PThreads) formal verification tool (no recent work)


GKLEE

A symbolic analyzer for C++ CUDA programs


PUG

‘Prover of User GPU programs’ (no recent work)


EddyMurphi

a distributed (via MPI) Murphi model checker.


XUM

‘eXtensible Utah Multicore Project’ – an open-source multicore
research platform of broad scope.