Chengxi Yang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2018–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TASE | QCP: A Practical Separation Logic-Based C Program Verification Tool. | Xiwei Wu, Yueyang Feng, Xiaoyang Lu, Tianchuan Lin, Kan Liu, Zhiyi Wang, Shushu Wu, Lihan Xie, Chengxi Yang, Hongyi Zhong, Zihan Zhang, Juanru Li, Naijun Zhan, Zhenjiang Hu, Qinxiang Cao |
| 2026 | TASE | Intuitive Verification of Sequential Programs Using Hybrid Reasoning. | Shushu Wu, Xiwei Wu, Chengxi Yang, Qinxiang Cao |
| 2025 | TASE | A Formal Framework for Naturally Specifying and Verifying Sequential Algorithms. | Chengxi Yang, Shushu Wu, Qinxiang Cao |
| 2020 | CVPR | StereoGAN: Bridging Synthetic-to-Real Domain Gap by Joint Optimization of Domain Translation and Stereo Matching. | Rui Liu, Chengxi Yang, Wenxiu Sun, Xiaogang Wang, Hongsheng Li |
| 2019 | ICCV | Deep End-to-End Alignment and Refinement for Time-of-Flight RGB-D Module. | Di Qiu, Jiahao Pang, Wenxiu Sun, Chengxi Yang |
| 2018 | CVPR | Zoom and Learn: Generalizing Deep Stereo Matching to Novel Domains. | Jiahao Pang, Wenxiu Sun, Chengxi Yang, Jimmy S. J. Ren, Ruichao Xiao, Jin Zeng, Liang Lin |
| 2018 | PRICAI | Unsupervised Stereo Matching with Occlusion-Aware Loss. | Ningqi Luo, Chengxi Yang, Wenxiu Sun, Binheng Song |