| 2023 | ICSE | Scalable Compositional Static Taint Analysis for Sensitive Data Tracing on Industrial Micro-Services. | Zexin Zhong, Jiangchao Liu, Diyu Wu, Peng Di, Yulei Sui, Alex X. Liu, John C. S. Lui |
| 2023 | ISSTA | Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis. | Jiangchao Liu, Jierui Liu, Peng Di, Diyu Wu, Hengjie Zheng, Alex X. Liu, Jingling Xue |
| 2023 | QRS | Input Validation for Neural Networks via Local Robustness Verification. | Jiangchao Liu, Liqian Chen, Antoine Min, Hengbiao Yu, Ji Wang |
| 2022 | ICSE | Record and Replay of Online Traffic for Microservices with Automatic Mocking Point Identification. | Jiangchao Liu, Jierui Liu, Peng Di, Alex X. Liu, Zexin Zhong |
| 2022 | ICSE | Field-Based Static Taint Analysis for Industrial Microservices. | Zexin Zhong, Jiangchao Liu, Diyu Wu, Peng Di, Yulei Sui, Alex X. Liu |
| 2019 | SAS | Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. | Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang, Lijun Zhang |
| 2019 | SAS | Verifying Numerical Programs via Iterative Abstract Testing. | Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot |
| 2015 | APLAS | Abstraction of Optional Numerical Values. | Jiangchao Liu, Xavier Rival |
| 2015 | VMCAI | Abstraction of Arrays Based on Non Contiguous Partitions. | Jiangchao Liu, Xavier Rival |
| 2014 | SAS | An Abstract Domain to Infer Octagonal Constraints with Absolute Value. | Liqian Chen, Jiangchao Liu, Antoine Min, Deepak Kapur, Ji Wang |