Travelled to:
1 × USA
Collaborated with:
A.F.Donaldson A.Lascu N.Chong
Talks about:
schedul (1) control (1) replay (1) record (1) detect (1) compil (1) spars (1) dynam (1) race (1) mani (1)
Person: Christopher Lidbury
DBLP: Lidbury:Christopher
Contributed to:
Wrote 3 papers:
- PLDI-2015-LidburyLCD #compilation #fuzzing #manycore
- Many-core compiler fuzzing (CL, AL, NC, AFD), pp. 65–76.
- POPL-2017-LidburyD #concurrent #detection
- Dynamic race detection for C++11 (CL, AFD), pp. 443–457.
- PLDI-2019-LidburyD #scheduling
- Sparse record and replay with controlled scheduling (CL, AFD), pp. 576–593.