Jiangchao Liu

According to our database, Jiangchao Liu authored at least 19 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Input Validation for Neural Networks via Local Robustness Verification.

Jiangchao Liu, Liqian Chen, Antoine Miné, Hengbiao Yu, Ji Wang

Proceedings of the 23rd IEEE International Conference on Software Quality, 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

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

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

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

2022

Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement.

Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 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

Field-Based Static Taint Analysis for Industrial Microservices.

Zexin Zhong, Jiangchao Liu, Diyu Wu, Peng Di, Yulei Sui, Alex X. Liu

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

Record and Replay of Online Traffic for Microservices with Automatic Mocking Point Identification.

Jiangchao Liu, Jierui Liu, Peng Di, Alex X. Liu, Zexin Zhong

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

2021

Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation.

Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang, Lijun Zhang

Formal Aspects Comput., 2021

2020

Hierarchical Analysis of Loops With Relaxed Abstract Transformers.

Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang

IEEE Trans. Reliab., 2020

Input Validation for Neural Networks via Runtime Local Robustness Verification.

Jiangchao Liu, Liqian Chen, Antoine Miné, Ji Wang

CoRR, 2020

2019

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.

Pengfei Yang, Jiangchao Liu, Jianlin Li, Liqian Chen, Xiaowei Huang

CoRR, 2019

Verifying Numerical Programs via Iterative Abstract Testing.

Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot

Proceedings of the Static Analysis - 26th International Symposium, 2019

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

Proceedings of the Static Analysis - 26th International Symposium, 2019

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

PhD thesis, 2018

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

2017

An array content static analysis based on non-contiguous partitions.

Jiangchao Liu, Xavier Rival

Comput. Lang. Syst. Struct., 2017

2015

Abstraction of Arrays Based on Non Contiguous Partitions.

Jiangchao Liu, Xavier Rival

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Abstraction of Optional Numerical Values.

Jiangchao Liu, Xavier Rival

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

An Abstract Domain to Infer Octagonal Constraints with Absolute Value.

Liqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur, Ji Wang

Proceedings of the Static Analysis - 21st International Symposium, 2014