| 2026 | ACL | HisDoc-OCR: Restoring Visual Grounding in MLLMs for Chinese Historical Document OCR. | Jiahuan Cao, Yongxin Shi, Zeyu Shan, Zhengyang Lu, Lianwen Jin |
| 2026 | CP | Learning Unified Graph and Language Representations for SMT Algorithm Selection. | Zhengyang Lu, Paul Sarnighausen-Cahn, Jiahao Chen, Arie Gurfinkel, Florin Manea, Vijay Ganesh |
| 2025 | AAAI | Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract). | Zhengyang Lu, Po-Chun Chien, Nian-Ze Lee, Vijay Ganesh |
| 2025 | CAV | Btor2-Select: Machine Learning Based Algorithm Selection for Hardware Model Checking. | Zhengyang Lu, Po-Chun Chien, Nian-Ze Lee, Arie Gurfinkel, Vijay Ganesh |
| 2024 | IJCAI | Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis. | Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh |
| 2023 | CLUSTER | HASpMV: Heterogeneity-Aware Sparse Matrix-Vector Multiplication on Modern Asymmetric Multicore Processors. | Wenxuan Li, Helin Cheng, Zhengyang Lu, Yuechen Lu, Weifeng Liu |
| 2022 | PPoPP | TileSpGEMM: a tiled algorithm for parallel sparse general matrix-matrix multiplication on GPUs. | Yuyao Niu, Zhengyang Lu, Haonan Ji, Shuhui Song, Zhou Jin, Weifeng Liu |
| 2020 | ICPP | Efficient Block Algorithms for Parallel Sparse Triangular Solve. | Zhengyang Lu, Yuyao Niu, Weifeng Liu |