Canary: practical static detection of inter-thread value-flow bugs.

Yuandao Cai, Peisen Yao, Charles Zhang

Browse the full PLDI paper archive.