Mt. Whitney, Aug, 2015
| Peizhao Ou | |
| E-mail: | "$FirstName"+"o" [at] uci [dot] edu |
| Biography |
- I am currently a software engineer at Google. I received my Master and Ph.D. degrees in Computer Engineering in Fall 2018 from the Department of Electrical Engineering and Computer Science at the University of California, Irvine, where I worked 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 |
-
My research mainly focuses on building reliable concurrent software and systems, including dynamic/static analysis and tool support, and studying simple, clean, and easy-to-understand concurrency semantics for programming languages. More specifically, I am actively involved in implementation, verification and testing of concurrent data structures under relaxed memory models. I also have a general interest in static and dynamic analysis for building useful compilers or related tools, and in the design and implementation of robust and highly-scalable distributed systems.
| Education |
- M.S. & Ph.D. in Computer Engineering
-
(Sep 2012 - Nov 2018)
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)
- Software Engineer at Google Inc., CA, USA (Dec 2018 - Present)
| 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. [extended version] [slides]
- Peizhao Ou and Brian Demsky. Checking Concurrent Data Structures Under the C/C++11 Memory Model. (PPoPP'17), Austin, Texas, USA. February, 2017. [preprint] [slides]
- Peizhao Ou and Brian Demsky. AutoMO: Automatic Inference of Memory Order Parameters for C/C++11. (OOPSLA'15), Pittsburgh, Pennsylvania, USA. October 2015. [preprint] [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]
- Peizhao Ou. An Initial Study of Two Approaches to Eliminating Out-of-Thin-Air Results. (Ph.D. Dissertation), UC Irvine. December, 2018.
- Peizhao Ou. CDSSPEC: Testing Concurrent Data Structures Under the C/C++ 11 Memory Model. (M.S. Thesis), UC Irvine. December, 2014.
Peer-reviewed:
Non-peer-reviewed:
| 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.