| 2020 | CAV | Nonlinear Craig Interpolant Generation. | Ting Gan, Bican Xia, Bai Xue, Naijun Zhan, Liyun Dai |
| 2020 | IGARSS | Evaluation of SMAP and SMOS Soil Moisture Products Using Distributed Ground Observation Network in Cold and Arid Regions in the Northwest of China. | Zengyan Wang, Tao Che, Liyun Dai |
| 2020 | ICSA | Automated Microservice Identification in Legacy Systems with Functional and Non-Functional Metrics. | Yukun Zhang, Bo Liu, Liyun Dai, Kang Chen, Xuelian Cao |
| 2016 | CADE | Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF. | Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen |
| 2015 | ATVA | Decidability of the Reachability for a Family of Linear Vector Fields. | Ting Gan, Mingshuai Chen, Liyun Dai, Bican Xia, Naijun Zhan |
| 2014 | ISSAC | Constructing fewer open cells by GCD computation in CAD projection. | Jingjun Han, Liyun Dai, Bican Xia |
| 2013 | CAV | Generating Non-linear Interpolants by Semidefinite Programming. | Liyun Dai, Bican Xia, Naijun Zhan |
| 2012 | ICTAC | Non-termination Sets of Simple Linear Loops. | Liyun Dai, Bican Xia |
| 2012 | VTC | Analysis of Vertical Sectorization for HSPA on a System Level: Capacity and Coverage. | Youqi Fu, Jian Wang, Zhuyan Zhao, Liyun Dai, Hongwen Yang |
| 2011 | IGARSS | Monitoring freeze-up and break-up dates of Northern Hemisphere big lakes using passive microwave remote sensing data. | Tao Che, Xin Li, Liyun Dai |
| 2011 | VTC | Evaluating Word Error Rate via Radius of Decision Region. | Liyun Dai, Hongwen Yang |