Zhengyang Liu (he/him)
I am a Ph.D. candidate in the School of Computing, University of Utah,
where I am fortunate to be advised by John Regehr.
I work on making software run fast on new architectures.
I created the Minotaur superoptimizer.
I was the recipient of the Best Paper Awards of CGO'20 and PPOPP'21,
and the Distinguished Paper Awards of OOPSLA'20 and PLDI'21.
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. [arxiv]
- 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]
See my