Dino Distefano
Identifiers
- name variant Dino Distefano 0.60 · backfill
Papers (2)
- Detecting Data Races on OpenCL Kernels with Symbolic Execution cs.PL · 2013 · author #1
- Runtime Verification Based on Register Automata cs.FL · 2012 · author #2
Mentions
Frequent Coauthors
- Jeremy Dubreil 1 shared papers
- Nikos Tzevelekos 1 shared papers
- Radu Grigore 1 shared papers
- Rasmus Lerchedahl Petersen 1 shared papers