Zhengyang Liu

Alive2: bounded translation validation for LLVM

Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur et al. · 2021 · 92 citations

Computing, Computer Science, Computer Systems +11

Shifting ontological perspectives in reasoning about physical systems

Zhengyang Liu, Arthur M. Farley · 1990 · 25 citations

Computing, Electrical Engineering, Physics +14

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

Juneyoung Lee, Chung-Kil Hur, Ralf Jung et al. · Proceedings of the ACM on Programming Languages · 2018 · 25 citations · Full text

Computing, Computer Science, Compilers +13

A real-time multi-head mixed attention mechanism-based prediction method for tunnel boring machine disc cutter wear

Haodi Wang, Chengjin Qin, Honggan Yu et al. · Science China Technological Sciences · 2024 · 25 citations

Engineering, Computer Science, Mechanical Engineering +10

Dataflow-based pruning for speeding up superoptimization

Manasij Mukherjee, Pranav Kant, Zhengyang Liu et al. · Proceedings of the ACM on Programming Languages · 2020 · 21 citations · Full text

Computing, Computer Engineering, Computer Science +15