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

1. Minotaur: A SIMD Oriented Superoptimizer.
   Z. Liu, S. Mada and J. Regehr. OOPSLA'24. [paper]
   Recipient of Distinguished Paper Award
2. 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
3. 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
4. Dataflow-based Pruning for Speeding up Superoptimization.
   M. Mukherjee, P. Kant, Z. Liu and J. Regehr. OOPSLA'20. [paper]
   Recipient of Distinguished Paper Award
5. Testing Static Analyses for Precision and Soundness.
   J. Taneja, Z. Liu and J. Regehr. CGO'20. [paper]
   Recipient of Best Paper Award
6. 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]
   
7. Flexible and Efficient Memory Object Metadata.
   Z. Liu and J. Criswell. ISMM'18. [paper]
   

See my

• Github Page
• Google Scholar