...born of a sense of civic duty toward making the parallel programming of Irregular Parallel Programs more correct and reliable


Website for the NSF CISE Award: Collaborative Research: SHF: Medium: Practical and Rigorous Correctness Checking and Correctness Preservation for Irregular Parallel Programs

NSF logo

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)

Blog Posts