Zhengyang Liu

I am a Ph.D. student at School of Computing, University of Utah. I am advised by John Regehr. I work broadly on program syntheses and compiler optimizations. I was the recipient of the Best Paper Awards of CGO'20 and PPOPP'21, and the recipient of the Distinguished Paper Awards of OOPSLA'20 and PLDI'21. Before coming to Utah, I received my bachelor's degree from Beijing University of Posts and Telecommunications.

Research Interests:
Program Syntheses, Compiler Optimizations, Parallel Computing and Systems for ML.
Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, John Regehr. Alive2: Bounded Translation Validation for LLVM. PLDI 2021, Distinguished Paper Award. [doi]
Zixian Cai*, Zhengyang Liu* (Equal contributions), Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi. Synthesizing Optimal Collective Algorithms. PPoPP 2021, Best Paper Award. [arXiv][doi][video]
Manasij Mukherjee, Pranav Kant, Zhengyang Liu, John Regehr. Dataflow-based Pruning for Speeding up Superoptimization. OOPSLA 2020, Distinguished Paper Award. [doi]
Jubi Taneja, Zhengyang Liu, and John Regehr. Testing Static Analyses for Precision and Soundness. CGO 2020, Best Paper Award. [doi][artifact]
Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr, and Nuno P. Lopes. Reconciling High-level Optimizations and Low-level Code in LLVM. OOPSLA 2018. [doi]
Zhengyang Liu, and John Criswell. Flexible and Efficient Memory Object Metadata. International Symposium on Memory Management (ISMM), 2017. [doi]
Zhengyang Liu, and Yiran Wei. Hop-by-hop Adaptive Video Streaming in Content Centric Network. IEEE International Conference on Communication (ICC), 2016. [doi]
Tutorial: Reasoning About and Discovering LLVM Optimizations, PLDI'22, San Diego, CA, June 2022.
SuperVec, a superoptimizer for SIMD, Intel, September 2021.
Synthesizing Optimal Collective Algorithms, NVIDIA, September 2020.
Professional Services:
School of Computing MEB 3355
University of Utah
Salt Lake City, UT 84112
liuz at cs dot utah dot edu
Google Scholar
PGP Public Key
Github, Linkedin, Last.fm Profile