Follow
Zhengyang Liu
Title
Cited by
Cited by
Year
Alive2: bounded translation validation for LLVM
NP Lopes, J Lee, CK Hur, Z Liu, J Regehr
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
672021
Testing Static Analyses for Precision and Soundness
J Taneja, Z Liu, J Regehr
312020
Synthesizing optimal collective algorithms
Z Cai, Z Liu, S Maleki, M Musuvathi, T Mytkowicz, J Nelson, O Saarikivi
Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of …, 2021
292021
Reconciling high-level optimizations and low-level code in LLVM
J Lee, CK Hur, R Jung, Z Liu, J Regehr, NP Lopes
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-28, 2018
292018
Hop-by-hop adaptive video streaming in content centric network
Z Liu, Y Wei
2016 IEEE International Conference on Communications (ICC), 1-7, 2016
242016
Dataflow-based pruning for speeding up superoptimization
M Mukherjee, P Kant, Z Liu, J Regehr
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-24, 2020
182020
Flexible and efficient memory object metadata
Z Liu, J Criswell
ACM Sigplan Notices 52 (9), 36-46, 2017
112017
Reconciling high-level optimizations and low-level code with twin memory allocation
J Lee, CK Hur, R Jung, Z Liu, J Regehr, NP Lopes
Proceedings of the 2018 ACM SIGPLAN International Conference on Object …, 2018
62018
Minotaur: A SIMD-oriented synthesizing superoptimizer
Z Liu, S Mada, J Regehr
arXiv preprint arXiv:2306.00229, 2023
22023
The system can't perform the operation now. Try again later.
Articles 1–9