Jiangchao Liu
Jiangchao Liu
Phd student of ENS, Paris
Verified email at di.ens.fr
Cited by
Cited by
Analyzing deep neural networks with symbolic propagation: Towards higher precision and faster verification
J Li, J Liu, P Yang, L Chen, X Huang, L Zhang
International Static Analysis Symposium, 296-319, 2019
Abstraction of arrays based on non contiguous partitions
J Liu, X Rival
International Workshop on Verification, Model Checking, and Abstractá…, 2015
An abstract domain to infer octagonal constraints with absolute value
L Chen, J Liu, A MinÚ, D Kapur, J Wang
International Static Analysis Symposium, 101-117, 2014
An array content static analysis based on non-contiguous partitions
J Liu, X Rival
Computer Languages, Systems & Structures 47, 104-129, 2017
Abstraction of optional numerical values
J Liu, X Rival
Asian Symposium on Programming Languages and Systems, 146-166, 2015
Automatic verification of embedded system code manipulating dynamic structures stored in contiguous regions
J Liu, L Chen, X Rival
IEEE Transactions on Computer-Aided Design of Integrated Circuits andá…, 2018
Verifying Numerical Programs via Iterative Abstract Testing
B Yin, L Chen, J Liu, J Wang, P Cousot
International Static Analysis Symposium, 247-267, 2019
Hierarchical Analysis of Loops With Relaxed Abstract Transformers
B Yin, L Chen, J Liu, J Wang
IEEE Transactions on Reliability 69 (1), 203-215, 2019
Static analysis on numeric and structural properties of array contents
J Liu
PSL Research University, 2018
The system can't perform the operation now. Try again later.
Articles 1–9