Collaborated with:
C.Flanagan S.N.Freund
Talks about:
placement (1) static (1) detect (1) dynam (1) check (1) race (1) foot (1) big (1)
Person: Dustin Rhodes
DBLP: Rhodes:Dustin
Contributed to:
Wrote 1 papers:
- PLDI-2017-RhodesFF #concurrent #detection #named #static analysis
- BigFoot: static check placement for dynamic race detection (DR, CF, SNF), pp. 141–156.