collaborators

1 paper

cs.DC2025

SIMT/GPU Data Race Verification using ISCC and Intermediary Code Representations: A Case Study

Andrew Osterhout, Ganesh Gopalakrishnan

It is often difficult to write code that you can ensure will be executed in the right order when programing for parallel compute tasks. Due to the way that today's parallel compute…