| 2025 | ICDE | CloudyBench: A Testbed for A Comprehensive Evaluation of Cloud-Native Databases. | Chao Zhang, Guoliang Li, Leyao Liu, Tao Lv, Ju Fan |
| 2024 | ECCV | Efficient Snapshot Spectral Imaging: Calibration-Free Parallel Structure with Aperture Diffraction Fusion. | Tao Lv, Lihao Hu, Shiqiao Li, Chenglong Huang, Xun Cao |
| 2023 | ICCP | Compact Self-adaptive Coding for Spectral Compressive Sensing. | Zhan Shi, Hao Ye, Tao Lv, Yibo Wang, Xun Cao |
| 2023 | ICCV | Aperture Diffraction for Compact Snapshot Spectral Imaging. | Tao Lv, Hao Ye, Quan Yuan, Zhan Shi, Yibo Wang, Shuming Wang, Xun Cao |
| 2023 | ICPADS | ODRL: Reinforcement Learning in Priority Scheduling for Running Cost Optimization. | Cheng Kuang, Meng Duan, Tao Lv, Yingjun Wu, Li Li, Luping Wang |
| 2022 | CVPR | Explore Spatio-temporal Aggregation for Insubstantial Object Detection: Benchmark Dataset and Baseline. | Kailai Zhou, Yibo Wang, Tao Lv, Yunqian Li, Linsen Chen, Qiu Shen, Xun Cao |
| 2020 | CCS | RTFM! Automatic Assumption Discovery and Verification Derivation from Library Document for API Misuse Detection. | Tao Lv, Ruishi Li, Yi Yang, Kai Chen, Xiaojing Liao, XiaoFeng Wang, Peiwei Hu, Luyi Xing |
| 2016 | GLOBECOM | Optimal Data Downloading by Using Inter-Satellite Offloading in LEO Satellite Networks. | Tao Lv, Wenqiang Liu, Hejiao Huang, Xiaohua Jia |
| 2014 | DATE | Functional test generation guided by steady-state probabilities of abstract design. | Jian Wang, Huawei Li, Tao Lv, Tiancheng Wang, Xiaowei Li |
| 2010 | ASPDAC | Graph partition based path selection for testing of small delay defects. | Zijian He, Tao Lv, Huawei Li, Xiaowei Li |
| 2010 | DATE | An abstraction-guided simulation approach using Markov models for microprocessor verification. | Tao Zhang, Tao Lv, Xiaowei Li |
| 2010 | ITC | On generation of a universal path candidate set containing testable long paths. | Zijian He, Tao Lv, Huawei Li, Xiaowei Li |
| 2010 | VTS | Fast path selection for testing of small delay defects considering path correlations. | Zijian He, Tao Lv, Huawei Li, Xiaowei Li |
| 2009 | VTS | Automatic Selection of Internal Observation Signals for Design Verification. | Tao Lv, Huawei Li, Xiaowei Li |