Chimera: hybrid program analysis for determinism.

Dongyoon Lee, Peter M. Chen, Jason Flinn, Satish Narayanasamy

Browse the full PLDI paper archive.