Jiangchao Liu

ORCID

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 15

Top Venues

CoRR

SAS

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

ICSE (SEIP)

PSL Research University, Paris, France (PHD)

Education History

PSL Research University, Paris, France

PHD

Publications

Jiangchao Liu, Jierui Liu, Peng Di, Diyu Wu, Hengjie Zheng, Alex X. Liu, Jingling Xue
Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis. ISSTA (2023)
Zexin Zhong, Jiangchao Liu, Diyu Wu, Peng Di, Yulei Sui, Alex X. Liu, John C. S. Lui
Scalable Compositional Static Taint Analysis for Sensitive Data Tracing on Industrial Micro-Services. ICSE-SEIP (2023)
Jiangchao Liu, Liqian Chen, Antoine Miné, Hengbiao Yu, Ji Wang
Input Validation for Neural Networks via Local Robustness Verification. QRS Companion (2023)
Zexin Zhong, Jiangchao Liu, Diyu Wu, Peng Di, Yulei Sui, Alex X. Liu
Field-Based Static Taint Analysis for Industrial Microservices. ICSE (SEIP) (2022)
Jiangchao Liu, Jierui Liu, Peng Di, Alex X. Liu, Zexin Zhong
Record and Replay of Online Traffic for Microservices with Automatic Mocking Point Identification. ICSE (SEIP) (2022)
Jiangchao Liu, Jierui Liu, Peng Di, Diyu Wu, Hengjie Zheng, Alex X. Liu, Jingling Xue
Hybrid Inlining: A Compositional and Context Sensitive Static Analysis Framework. CoRR (2022)
Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang
Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang, Lijun Zhang
Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation. Formal Aspects Comput. 33 (3) (2021)
Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang
Hierarchical Analysis of Loops With Relaxed Abstract Transformers. IEEE Trans. Reliab. 69 (1) (2020)
Jiangchao Liu, Liqian Chen, Antoine Miné, Ji Wang
Input Validation for Neural Networks via Runtime Local Robustness Verification. CoRR (2020)
Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang, Lijun Zhang
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. SAS (2019)
Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot
Verifying Numerical Programs via Iterative Abstract Testing. SAS (2019)
Pengfei Yang, Jiangchao Liu, Jianlin Li, Liqian Chen, Xiaowei Huang
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. CoRR (2019)
Jiangchao Liu, Liqian Chen, Xavier Rival
Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Jiangchao Liu, Xavier Rival
An array content static analysis based on non-contiguous partitions. Comput. Lang. Syst. Struct. 47 (2017)
Jiangchao Liu, Xavier Rival
Abstraction of Optional Numerical Values. APLAS (2015)
Jiangchao Liu, Xavier Rival
Abstraction of Arrays Based on Non Contiguous Partitions. VMCAI (2015)
Liqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur, Ji Wang
An Abstract Domain to Infer Octagonal Constraints with Absolute Value. SAS (2014)

Jiangchao Liu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jiangchao Liu