Zhengyang Liu (he/him)
I am now a compiler engineer at d-matrix.
I graduated with a Ph.D. degree from University of Utah, where I was fortunate to be advised by John Regehr.
I am the recipient of the Distinguished Paper Awards of OOPSLA'20, CGO'20, PLDI'21, PPOPP'21 and OOPSLA'24.
Interests
- Program Syntheses
- Compiler Optimizations and Verifications
- Parallel Computing
- Systems for Machine Learning
Publications
- Minotaur: A SIMD Oriented Superoptimizer.
Z. Liu, S. Mada and J. Regehr. OOPSLA'24. [paper]
Recipient of Distinguished Paper Award - Alive2: Bounded Translation Validation for LLVM.
N. P. Lopes, J. Lee, C-Kil. Hur, Z. Liu and J. Regehr. PLDI'21. [paper]
Recipient of Distinguished Paper Award - Synthesizing Optimal Collective Algorithms.
Z. Liu*, Z. Cai*, S.Maleki, M. Musuvathi, T. Mytkowicz, J. Nelson and O. Saarikivi. PPoPP'21. [paper] [talk]
* Equally Contributed
Recipient of Best Paper Award - Dataflow-based Pruning for Speeding up Superoptimization.
M. Mukherjee, P. Kant, Z. Liu and J. Regehr. OOPSLA'20. [paper]
Recipient of Distinguished Paper Award - Testing Static Analyses for Precision and Soundness.
J. Taneja, Z. Liu and J. Regehr. CGO'20. [paper]
Recipient of Best Paper Award - Reconciling High-level Optimizations and Low-level Code in LLVM.
J. Lee, C-Kil. Hur, R. Jung, Z. Liu, J. Regehr, and N. P. Lopes. OOPSLA'18. [paper]
- Flexible and Efficient Memory Object Metadata.
Z. Liu and J. Criswell. ISMM'18. [paper]