Peizhao Ou's Homepage
My
	Image
Mt. Whitney, Aug, 2015
Peizhao Ou
Ph.D. Candidate
Office: EH 4403
E-mail: "$FirstName"+"o" [at] uci [dot] edu
Biography
Research Interests
  • I mainly focus on building reliable concurrent software and systems, including static/dynamic analysis and tool support. More specifically, I am actively involved in the verification and testing of concurrent data structures under relaxed memory models.

Education
Professional Experience
  • Software Engineer Intern at Google Inc., CA, USA (Jun 2017 - Sep 2017)

Teaching Experience
Publications
  • Peizhao Ou and Brian Demsky. Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results. (OOPSLA'18), Boston, Massachusetts, USA. November, 2018.
    [preprint] [slides]

  • Peizhao Ou and Brian Demsky. Checking Concurrent Data Structures Under the C/C++11 Memory Model. (PPoPP'17), Austin, Texas, USA. February, 2017.
    [paper] [slides]

  • Peizhao Ou and Brian Demsky. AutoMO: Automatic Inference of Memory Order Parameters for C/C++11. (OOPSLA'15), Pittsburgh, Pennsylvania, USA. October 2015.
    [paper] [slides]

  • Cheng Zhang, Juyuan Yang, Yi Zhang, Jing Fan, Xin Zhang, Jianjun Zhao and Peizhao Ou. Automatic Parameter Recommendation for Practical API Usage. (ICSE'12), Zurich, Switzerland. June, 2012.
    [paper]

Software
  • CDSSpec: a specificatioin checker framework for concurrent data structures written in the C/C++11 memory model.

  • AutoMO: a memory order parameter inference framework for the C/C++11 memory model.