Follow
Zhengyang Liu
Title
Cited by
Cited by
Year
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
222018
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
192021
Hop-by-hop adaptive video streaming in content centric network
Z Liu, Y Wei
2016 IEEE International Conference on Communications (ICC), 1-7, 2016
192016
Testing Static Analyses for Precision and Soundness
J Taneja, Z Liu, J Regehr
142020
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
102021
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
102020
Flexible and efficient memory object metadata
Z Liu, J Criswell
ACM Sigplan Notices 52 (9), 36-46, 2017
82017
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
42018
The system can't perform the operation now. Try again later.
Articles 1–8