KUDA is a framework for GPU accelerated dynamic program analyses.
KUDA currently includes data-race detection (the Eraser and Goldilocks algorithm) and reduction-based atomicity-violation detection algorithms. We are planning to extend it with deadlock and livelock detection algorithms.
KUDA is developed at the Koç University Research Center for Multi-Core Software Engineering
at Koc University (where KU comes from).
For more information, see our WoDet3 paper:KUDA: GPU accelerated split race-checker framework
or our technical reportRethinking Runtime Verification on Hundreds of Cores: Challenges and Opportunities.
The Parallel Computing Lab. (ParLab), UC Berkeleyhttp://sites.google.com/site/tayfunelmas/
The CADT Lab., Koc University, Istanbul, Turkeyhttp://canbekar.com/
The CADT Lab., Koc University, Istanbul, Turkeyhttp://www.semihokur.com/
The CADT Lab., Koc University, Istanbul, Turkeyhttp://home.ku.edu.tr/~stasiran/