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
Courses
Publications
  • 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.
Presentations
  • Peizhao Ou and Brian Demsky. CDSSPEC: Checking Concurrent Data Structures Under the C/C++11 Memory Model. (PPoPP'17), Austin, Texas, USA, Febuary 2017.

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

  • Byron Hawkins, Peizhao Ou and Brian Demsky. CrowdSafe Malware Defense (Poster). Trusted Infrastructure Workshop, University Park, PA, USA, Jun, 2013.