フォロー
Zhengyang Liu
Zhengyang Liu
University of Utah
確認したメール アドレス: cs.utah.edu - ホームページ
タイトル
引用先
引用先
年
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
692021
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
322021
Testing Static Analyses for Precision and Soundness
J Taneja, Z Liu, J Regehr
322020
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
312018
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
122017
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
32023
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–9