Zhengyang Liu

According to our database, Zhengyang Liu authored at least 6 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer.

Zhengyang Liu, Stefan Mada, John Regehr

Proc. ACM Program. Lang., 2024

2021

Synthesizing optimal collective algorithms.

Zixian Cai, Zhengyang Liu, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi

Proceedings of the PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021

Alive2: bounded translation validation for LLVM.

Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, John Regehr

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Dataflow-based pruning for speeding up superoptimization.

Manasij Mukherjee, Pranav Kant, Zhengyang Liu, John Regehr

Proc. ACM Program. Lang., 2020

Testing static analyses for precision and soundness.

Jubi Taneja, Zhengyang Liu, John Regehr

Proceedings of the CGO '20: 18th ACM/IEEE International Symposium on Code Generation and Optimization, 2020

2018

Reconciling high-level optimizations and low-level code in LLVM.

Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr, Nuno P. Lopes

Proc. ACM Program. Lang., 2018