Christopher is investigating analysis of C++11 programs that use fine-grained concurrency. He is also a lead developer on the CLsmith project.

Group Publications