Peizhao Ou
Title
Cited by
Cited by
Year
Automatic parameter recommendation for practical API usage
C Zhang, J Yang, Y Zhang, J Fan, X Zhang, J Zhao, P Ou
2012 34th International Conference on Software Engineering (ICSE), 826-836, 2012
1152012
Checking Concurrent Data Structures Under the C/C++11 Memory Model
P Ou, B Demsky
Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of …, 2017
152017
Towards understanding the costs of avoiding out-of-thin-air results
P Ou, B Demsky
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-29, 2018
142018
Automo: Automatic inference of memory order parameters for c/c++ 11
P Ou, B Demsky
ACM SIGPLAN Notices 50 (10), 221-240, 2015
42015
An Initial Study of Two Approaches to Eliminating Out-of-Thin-Air Results
P Ou
UC Irvine, 2018
2018
CDSSPEC: Testing Concurrent Data Structures Under the C/C++ 11 Memory Model
P Ou
UC Irvine, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–6