Liqian Chen
Title
Cited by
Cited by
Year
A sound floating-point polyhedra abstract domain
L Chen, A Miné, P Cousot
Asian Symposium on Programming Languages and Systems, 3-18, 2008
972008
Interval polyhedra: An abstract domain to infer interval linear relationships
L Chen, A Miné, J Wang, P Cousot
International Static Analysis Symposium, 309-325, 2009
692009
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
342019
Automated program repair by using similar code containing fix ingredients
T Ji, L Chen, X Mao, X Yi
2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC …, 2016
232016
An abstract domain to discover interval linear equalities
L Chen, A Miné, J Wang, P Cousot
International Workshop on Verification, Model Checking, and Abstract …, 2010
232010
Data race detection for interrupt-driven programs via bounded model checking
X Wu, Y Wen, L Chen, W Dong, J Wang
2013 IEEE Seventh International Conference on Software Security and …, 2013
222013
How different is it between machine-generated and developer-provided patches?: An empirical study on the correct patches generated by automated program repair techniques
S Wang, M Wen, L Chen, X Yi, X Mao
2019 ACM/IEEE International Symposium on Empirical Software Engineering and …, 2019
202019
Efficient automated repair of high floating-point errors in numerical libraries
X Yi, L Chen, X Mao, T Ji
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
202019
Linear absolute value relation analysis
L Chen, A Miné, J Wang, P Cousot
European Symposium on Programming, 156-175, 2011
142011
Static analysis of runtime errors in interrupt-driven programs via sequentialization
X Wu, L Chen, A Miné, W Dong, J Wang
ACM Transactions on Embedded Computing Systems (TECS) 15 (4), 1-26, 2016
112016
Detecting numerical bugs in neural network architectures
Y Zhang, L Ren, L Chen, Y Xiong, SC Cheung, T Xie
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
102020
Numerical static analysis of interrupt-driven programs via sequentialization
X Wu, L Chen, A Miné, W Dong, J Wang
2015 International Conference on Embedded Software (EMSOFT), 55-64, 2015
102015
Efficient global search for inputs triggering high floating-point inaccuracies
X Yi, L Chen, X Mao, T Ji
2017 24th Asia-Pacific Software Engineering Conference (APSEC), 11-20, 2017
82017
Recent advances on trusted computing in China
W Dong, LQ Chen
Chinese Science Bulletin 57 (35), 4529-4532, 2012
82012
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
72014
Input validation for neural networks via runtime local robustness verification
J Liu, L Chen, A Mine, J Wang
arXiv preprint arXiv:2002.03339, 2020
52020
Block-wise abstract interpretation by combining abstract domains with smt
J Jiang, L Chen, X Wu, J Wang
International Conference on Verification, Model Checking, and Abstract …, 2017
52017
Simple and precise widenings for H-polyhedra
A Simon, L Chen
Asian Symposium on Programming Languages and Systems, 139-155, 2010
52010
Automated repair of high inaccuracies in numerical programs
X Yi, L Chen, X Mao, T Ji
2017 IEEE International Conference on Software Maintenance and Evolution …, 2017
42017
Static analysis of list-manipulating programs via bit-vectors and numerical abstractions
L Chen, R Li, X Wu, J Wang
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1204-1210, 2013
42013
The system can't perform the operation now. Try again later.
Articles 1–20