Jiangchao Liu

22 papers A* 1A 2B 5Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2025 A conf
An Optimized Parallel Physics-Informed Neural Network for Bearing Dynamics Modeling.
ICCAD
Jiangchao Liu, Shaoqin Ye, Diwang Ruan, Zhen Wu, Yiliang Qian, Jianping Yan, Clemens Gühmann
2025 J jnl
XTrace: A Non-Invasive Dynamic Tracing Framework for Android Applications in Production.
CoRR
Qi Hu, Jiangchao Liu, Xin Yu, Lin Zhang, Edward Jiang
2024 A* conf
RepoSim: Evaluating Prompt Strategies for Code Completion via User Behavior Simulation.
ASE
Chao Peng, Qinyun Wu, Jiangchao Liu, Jierui Liu, Bo Jiang, Mengqian Xu, Yinghao Wang, Xia Liu, Ping Yang
2023 A conf
Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis.
ISSTA
Jiangchao Liu, Jierui Liu, Peng Di, Diyu Wu, Hengjie Zheng, Alex X. Liu, Jingling Xue
2023 — conf
Input Validation for Neural Networks via Local Robustness Verification.
QRS Companion
Jiangchao Liu, Liqian Chen, Antoine Miné, Hengbiao Yu, Ji Wang
2023 — conf
Scalable Compositional Static Taint Analysis for Sensitive Data Tracing on Industrial Micro-Services.
ICSE-SEIP
Zexin Zhong, Jiangchao Liu, Diyu Wu, Peng Di, Yulei Sui, Alex X. Liu, John C. S. Lui
2022 J jnl
Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang
2022 — conf
Field-Based Static Taint Analysis for Industrial Microservices.
ICSE (SEIP)
Zexin Zhong, Jiangchao Liu, Diyu Wu, Peng Di, Yulei Sui, Alex X. Liu
2022 J jnl
Hybrid Inlining: A Compositional and Context Sensitive Static Analysis Framework.
CoRR
Jiangchao Liu, Jierui Liu, Peng Di, Diyu Wu, Hengjie Zheng, Alex X. Liu, Jingling Xue
2022 — conf
Record and Replay of Online Traffic for Microservices with Automatic Mocking Point Identification.
ICSE (SEIP)
Jiangchao Liu, Jierui Liu, Peng Di, Alex X. Liu, Zexin Zhong
2021 J jnl
Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation.
Formal Aspects Comput.
Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang, Lijun Zhang
2020 J jnl
Hierarchical Analysis of Loops With Relaxed Abstract Transformers.
IEEE Trans. Reliab.
Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang
2020 J jnl
Input Validation for Neural Networks via Runtime Local Robustness Verification.
CoRR
Jiangchao Liu, Liqian Chen, Antoine Miné, Ji Wang
2019 B conf
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.
SAS
Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang, Lijun Zhang
2019 J jnl
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.
CoRR
Pengfei Yang, Jiangchao Liu, Jianlin Li, Liqian Chen, Xiaowei Huang, Lijun Zhang
2019 B conf
Verifying Numerical Programs via Iterative Abstract Testing.
SAS
Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot
2018 J jnl
Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Jiangchao Liu, Liqian Chen, Xavier Rival
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
2017 J jnl
An array content static analysis based on non-contiguous partitions.
Comput. Lang. Syst. Struct.
Jiangchao Liu, Xavier Rival
2015 B conf
Abstraction of Arrays Based on Non Contiguous Partitions.
VMCAI
Jiangchao Liu, Xavier Rival
2015 B conf
Abstraction of Optional Numerical Values.
APLAS
Jiangchao Liu, Xavier Rival
2014 B conf
An Abstract Domain to Infer Octagonal Constraints with Absolute Value.
SAS
Liqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur, Ji Wang