Zhengyang Liu

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 7

Top Topics

Pruning Algorithm

Top Venues

Proc. ACM Program. Lang.

Publications

Zhengyang Liu, Stefan Mada, John Regehr
Minotaur: A SIMD-Oriented Synthesizing Superoptimizer. CoRR (2023)
Zixian Cai, Zhengyang Liu, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi
Synthesizing optimal collective algorithms. PPoPP (2021)
Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, John Regehr
Alive2: bounded translation validation for LLVM. PLDI (2021)
Zixian Cai, Zhengyang Liu, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi
Synthesizing Optimal Collective Algorithms. CoRR (2020)
Jubi Taneja, Zhengyang Liu, John Regehr
Testing static analyses for precision and soundness. CGO (2020)
Manasij Mukherjee, Pranav Kant, Zhengyang Liu, John Regehr
Dataflow-based pruning for speeding up superoptimization. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr, Nuno P. Lopes
Reconciling high-level optimizations and low-level code in LLVM. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)