2 papers
cs.PL2013
Detecting Data Races on OpenCL Kernels with Symbolic Execution
Dino Distefano, Jeremy Dubreil
We present an automatic analysis technique for checking data races on OpenCL kernels. Our method defines symbolic execution techniques based on separation logic with suitable abstr…
cs.FL2012
Runtime Verification Based on Register Automata
Radu Grigore, Dino Distefano, Rasmus Lerchedahl Petersen +1
We propose TOPL automata as a new method for runtime verification of systems with unbounded resource generation. Paradigmatic such systems are object-oriented programs which can dy…