Collaborated with:
J.R.Wilcox C.Flanagan S.N.Freund
Talks about:
compress (1) shadow (1) precis (1) detect (1) state (1) dynam (1) array (1) race (1)
Person: Parker Finch
DBLP: Finch:Parker
Contributed to:
Wrote 1 papers:
- ASE-2015-WilcoxFFF #array #concurrent #detection #precise
- Array Shadow State Compression for Precise Dynamic Race Detection (T) (JRW, PF, CF, SNF), pp. 155–165.