An Abstract Domain to Infer Octagonal Constraints with Absolute Value. - Liqian Chen; Jiangchao Liu; Antoine Miné; Deepak Kapur; Ji Wang 001 (SAS, 2014)

Abstraction of Optional Numerical Values. - Jiangchao Liu; Xavier Rival (APLAS, 2015)

Abstraction of Arrays Based on Non Contiguous Partitions. - Jiangchao Liu; Xavier Rival (VMCAI, 2015)

An array content static analysis based on non-contiguous partitions. - Jiangchao Liu; Xavier Rival (Comput. Lang. Syst. Struct., 2017)

Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions. - Jiangchao Liu; Liqian Chen; Xavier Rival (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Static Analysis on Numeric and Structural Properties of Array Contents. (Analyse statique des propriétés numériques et structurelles du contenu des tableaux). - Jiangchao Liu (2018)

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. - Jianlin Li; Jiangchao Liu; Pengfei Yang 002; Liqian Chen; Xiaowei Huang 001; Lijun Zhang 001 (SAS, 2019)

Verifying Numerical Programs via Iterative Abstract Testing. - Banghu Yin; Liqian Chen; Jiangchao Liu; Ji Wang 001; Patrick Cousot (SAS, 2019)

Input Validation for Neural Networks via Runtime Local Robustness Verification. - Jiangchao Liu; Liqian Chen; Antoine Miné; Ji Wang 001 (CoRR, 2020)

Hierarchical Analysis of Loops With Relaxed Abstract Transformers. - Banghu Yin; Liqian Chen; Jiangchao Liu; Ji Wang 001 (IEEE Trans. Reliab., 2020)

Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation. - Pengfei Yang 002; Jianlin Li; Jiangchao Liu; Cheng-Chao Huang; Renjue Li; Liqian Chen; Xiaowei Huang 001; Lijun Zhang 001 (Formal Aspects Comput., 2021)

Record and Replay of Online Traffic for Microservices with Automatic Mocking Point Identification. - Jiangchao Liu; Jierui Liu; Peng Di; Alex X. Liu; Zexin Zhong (ICSE (SEIP), 2022)

Field-Based Static Taint Analysis for Industrial Microservices. - Zexin Zhong; Jiangchao Liu; Diyu Wu; Peng Di; Yulei Sui; Alex X. Liu (ICSE (SEIP), 2022)

Hybrid Inlining: A Compositional and Context Sensitive Static Analysis Framework. - Jiangchao Liu; Jierui Liu; Peng Di; Diyu Wu; Hengjie Zheng; Alex X. Liu; Jingling Xue (CoRR, 2022)

Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement. - Banghu Yin; Liqian Chen; Jiangchao Liu; Ji Wang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

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 (ICSE-SEIP, 2023)

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 (ISSTA, 2023)

Input Validation for Neural Networks via Local Robustness Verification. - Jiangchao Liu; Liqian Chen; Antoine Miné; Hengbiao Yu; Ji Wang 001 (QRS Companion, 2023)

RepoSim: Evaluating Prompt Strategies for Code Completion via User Behavior Simulation. - Chao Peng 002; Qinyun Wu; Jiangchao Liu; Jierui Liu; Bo Jiang; Mengqian Xu; Yinghao Wang; Xia Liu; Ping Yang (ASE, 2024)