Check out Christopher’s thesis. Christopher now works at XTX Markets.
Group Publications
-
Sparse Record and Replay with Controlled Scheduling
Christopher Lidbury, Alastair F. Donaldson
40th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'19)
-
Dynamic Race Detection for C++11
Christopher Lidbury, Alastair F. Donaldson
44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'17)
-
Many-Core Compiler Fuzzing
Christopher Lidbury, Andrei Lascu, Nathan Chong, Alastair F. Donaldson
36th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'15)