Jiangchao Liu
Orcid: 0000-0002-2349-3667
According to our database1,
Jiangchao Liu
authored at least 20 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
2
1
2
1
1
1
1
3
2
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
RepoSim: Evaluating Prompt Strategies for Code Completion via User Behavior Simulation.
Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024
2023
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023
Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis.
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.
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.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022
CoRR, 2022
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.
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022
2021
Formal Aspects Comput., 2021
2020
IEEE Trans. Reliab., 2020
CoRR, 2020
2019
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.
CoRR, 2019
Proceedings of the Static Analysis - 26th International Symposium, 2019
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.
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).
PhD thesis, 2018
Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
2017
Comput. Lang. Syst. Struct., 2017
2015
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015
Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015
2014
Proceedings of the Static Analysis - 21st International Symposium, 2014