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
652009
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
25*2019
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
222010
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
192016
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
182013
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
162019
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
162019
Linear absolute value relation analysis
L Chen, A Miné, J Wang, P Cousot
European Symposium on Programming, 156-175, 2011
132011
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
82016
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
82015
Recent advances on trusted computing in China
W Dong, LQ Chen
Chinese Science Bulletin 57 (35), 4529-4532, 2012
82012
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
62017
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
62014
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
Simple and precise widenings for H-polyhedra
A Simon, L Chen
Asian Symposium on Programming Languages and Systems, 139-155, 2010
42010
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
32020
Input validation for neural networks via runtime local robustness verification
J Liu, L Chen, A Miné, J Wang
arXiv preprint arXiv:2002.03339, 2020
32020
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
32018
The system can't perform the operation now. Try again later.
Articles 1–20