Zhengyang Liu -

Registered user since Wed 15 Jul 2015

Name:Zhengyang Liu

Affiliation:University of Utah

Personal website:https://www.cs.utah.edu/~liuz/

Research interests:Optimizing compilers, performance optimizations, program syntheses and systems for ML

Contributions

ECOOP 2023	Committee Member in Artifact Evaluation Committee within the Artifacts-track Committee Member in Extended Review Committee within the Research Papers-track
PLDI 2023	Author in Artifact Evaluation Committee within the Research Artifacts-track
PLDI 2021	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track Author of Alive2: Bounded Translation Validation for LLVM within the PLDI-track
PPoPP 2021	Author of Synthesizing Optimal Collective Algorithms within the Main Conference-track
CGO 2021	Artifact Evaluation Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
SPLASH 2020	Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track Author of Dataflow-Based Pruning for Speeding up Superoptimization within the OOPSLA-track
SPLASH 2018	Author of Reconciling High-level Optimizations and Low-level Code in LLVM within the OOPSLA-track Author of Reconciling High-level Optimizations and Low-level Code in LLVM within the Posters-track Author of Reconciling High-level Optimizations and Low-level Code in LLVM within the Artifacts-track
ISMM 2017	Author of Flexible and Efficient Memory Object Metadata within the ISMM 2017-track