Zhengyang Lu

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 21

Top Topics

Depth Estimation

Monte Carlo Tree Search

Top Venues

J. Electronic Imaging

CCF Trans. High Perform. Comput.

Publications

Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis. SMT@CAV (2024)
Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis. CoRR (2024)
Chunxiao Li, Charlie Liu, Jonathan Chung, Zhengyang Lu, Piyush Jha, Vijay Ganesh
A Reinforcement Learning based Reset Policy for CDCL SAT Solvers. CoRR (2024)
Zhengyang Lu, Ying Chen
Self-supervised monocular depth estimation on water scenes via specular reflection prior. Digit. Signal Process. 149 (2024)
Zhengyang Lu, Feng Wang
City scene super-resolution via geometric error minimization. J. Electronic Imaging 33 (1) (2024)
Zhengyang Lu, Feng Wang
City Scene Super-Resolution via Geometric Error Minimization. CoRR (2024)
Zhengyang Lu, Ying Chen
Self-supervised Monocular Depth Estimation on Water Scenes via Specular Reflection Prior. CoRR (2024)
Piyush Jha, Zhengyu Li, Zhengyang Lu, Curtis Bright, Vijay Ganesh
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems. CoRR (2024)
Zhengyang Lu, Ying Chen
Joint Self-supervised Depth and Optical Flow Estimation towards Dynamic Objects. Neural Process. Lett. 55 (8) (2023)
Wenxuan Li, Helin Cheng, Zhengyang Lu, Yuechen Lu, Weifeng Liu
HASpMV: Heterogeneity-Aware Sparse Matrix-Vector Multiplication on Modern Asymmetric Multicore Processors. CLUSTER (2023)
Zhengyang Lu, Ying Chen
Joint Self-supervised Depth and Optical Flow Estimation towards Dynamic Objects. CoRR (2023)
Xinfu Chen, Zhengyang Lu, Jingtang Ma, Jinye Shen
An Implicit Scheme for American Put Options. J. Sci. Comput. 97 (2) (2023)
Zhengyang Lu, Weifeng Liu
TileSpTRSV: a tiled algorithm for parallel sparse triangular solve on GPUs. CCF Trans. High Perform. Comput. 5 (2) (2023)
Yuyao Niu, Zhengyang Lu, Haonan Ji, Shuhui Song, Zhou Jin, Weifeng Liu
TileSpGEMM: a tiled algorithm for parallel sparse general matrix-matrix multiplication on GPUs. PPoPP (2022)
Zhengyang Lu, Ying Chen
Single image super-resolution based on a modified U-net with mixed gradient loss. Signal Image Video Process. 16 (5) (2022)
Zhengyang Lu, Ying Chen
Pyramid Frequency Network with Spatial Attention Residual Refinement Module for Monocular Depth Estimation. CoRR (2022)
Zhengyang Lu, Ying Chen
GA-CSPN: generative adversarial monocular depth estimation with second-order convolutional spatial propagation network. J. Electronic Imaging 30 (4) (2021)
Yuyao Niu, Zhengyang Lu, Meichen Dong, Zhou Jin, Weifeng Liu, Guangming Tan
TileSpMV: A Tiled Algorithm for Sparse Matrix-Vector Multiplication on GPUs. IPDPS (2021)
Zhengyang Lu, Yuyao Niu, Weifeng Liu
Efficient Block Algorithms for Parallel Sparse Triangular Solve. ICPP (2020)
Zhengyang Lu, Ying Chen
Dense U-net for super-resolution with shuffle pooling layer. CoRR (2020)
Zhengyang Lu, Ying Chen
Single Image Super Resolution based on a Modified U-net with Mixed Gradient Loss. CoRR (2019)