Dino Distefano

Identifiers

• name variant Dino Distefano 0.60 · backfill

Papers (2)

1. Detecting Data Races on OpenCL Kernels with Symbolic Execution cs.PL · 2013 · author #1
2. Runtime Verification Based on Register Automata cs.FL · 2012 · author #2

Mentions

• 1308.3203 #1 · backfill · confidence 0.70 Dino Distefano
• 1209.5325 #2 · backfill · confidence 0.70 Dino Distefano

Frequent Coauthors

• Jeremy Dubreil 1 shared papers
• Nikos Tzevelekos 1 shared papers
• Radu Grigore 1 shared papers
• Rasmus Lerchedahl Petersen 1 shared papers