civic
...born of a sense of civic duty toward making the parallel programming of Irregular Parallel Programs more correct and reliable
About
Website for the NSF CISE Award: Collaborative Research: SHF: Medium: Practical and Rigorous Correctness Checking and Correctness Preservation for Irregular Parallel Programs
Collaborating institutions:
-
NSF 1955367, Texas State University (PI: Prof. Martin Burtscher)
-
NSF 1955852, University of Delaware (PI: Prof. Stephen F. Siegel)
-
NSF 1956106, University of Utah (PI: Prof. Ganesh Gopalakrishnan)