Collaborated with:
K.Chatterjee A.Pavlogiannis N.Sinha Kapil Vaidya
Talks about:
partial (1) centric (1) reduct (1) order (1) dynam (1) data (1)
Person: Marek Chalupa
DBLP: Chalupa:Marek
Contributed to:
Wrote 1 papers:
- POPL-2018-ChalupaCPSV #partial order #reduction
- Data-centric dynamic partial order reduction (MC, KC, AP, NS, KV), p. 30.