Automatic parameter recommendation for practical API usage. - Cheng Zhang; Juyuan Yang; Yi Zhang; Jing Fan; Xin Zhang 035; Jianjun Zhao 001; Peizhao Ou (ICSE, 2012)

AutoMO: automatic inference of memory order parameters for C/C++11. - Peizhao Ou; Brian Demsky (OOPSLA, 2015)

Checking Concurrent Data Structures Under the C/C++11 Memory Model. - Peizhao Ou; Brian Demsky (PPoPP, 2017)

Towards understanding the costs of avoiding out-of-thin-air results. - Peizhao Ou; Brian Demsky (Proc. ACM Program. Lang., 2018)

An Initial Study of Two Approaches to Eliminating Out-of-Thin-Air Results. - Peizhao Ou (2018)