Mt. Whitney, Aug, 2015
| Peizhao Ou | |
| Ph.D. Candidate | |
| Office: | EH 4403 |
| E-mail: | "$FirstName"+"o" [at] uci [dot] edu |
| Biography |
-
I am currently a Ph.D. candidate in Computer Engineering from the Department of Electrical Engineering and Computer Science at the University of California, Irvine, starting from Fall 2012. I am working with my advisor, Professor Brian Demsky, in the Programming Language Research Group.
-
I received my B.S. in Software Engineering in 2012 from the School of Software Engineering at Shanghai Jiao Tong University in Shanghai, China. I worked with Professor Jianjun Zhao in the STAP group.
| 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 |
- Ph.D. Candidate in Computer Engineering
-
(Sep 2012 - present)
Department of Eletrical Engineering and Computer Science,
University of California, Irvine, CA, USA
- B.S. in Software Engineering
-
(Sep 2008 - Jun 2012)
School of Software Engineering,
Shanghai Jiao Tong University, Shanghai, China
| Professional Experience |
- Software Engineer Intern at Google Inc., CA, USA (Jun 2017 - Sep 2017)
| Teaching Experience |
- EECS40 Object-Oriented Systems and Programming, Spring 16 & Spring 17, Teaching Assisstant
| 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.
- OOTA-Free Compilers: an LLVM-based C/C++ compiler framework that forbids out-of-thin-air results.