Follow
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
1082008
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
Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal …, 2019
882019
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
732009
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
522020
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
422019
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
412016
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
382019
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
322010
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
282013
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
212017
Enhancing robustness verification for deep neural networks via symbolic propagation
P Yang, J Li, J Liu, CC Huang, R Li, L Chen, X Huang, L Zhang
Formal Aspects of Computing 33 (3), 407-435, 2021
182021
Understanding merge conflicts and resolutions in git rebases
T Ji, L Chen, X Yi, X Mao
2020 IEEE 31st International Symposium on Software Reliability Engineering …, 2020
182020
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
172016
Linear absolute value relation analysis
L Chen, A Miné, J Wang, P Cousot
Programming Languages and Systems: 20th European Symposium on Programming …, 2011
172011
An abstract domain to infer octagonal constraints with absolute value
L Chen, J Liu, A Miné, D Kapur, J Wang
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany …, 2014
142014
Input validation for neural networks via runtime local robustness verification
J Liu, L Chen, A Mine, J Wang
arXiv preprint arXiv:2002.03339, 2020
122020
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
122015
Transplantfix: Graph differencing-based code transplantation for automated program repair
D Yang, X Mao, L Chen, X Xu, Y Lei, D Lo, J He
Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022
102022
Identifying supplementary bug-fix commits
T Ji, J Pan, L Chen, X Mao
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC …, 2018
102018
Block-wise abstract interpretation by combining abstract domains with smt
J Jiang, L Chen, X Wu, J Wang
Verification, Model Checking, and Abstract Interpretation: 18th …, 2017
92017
The system can't perform the operation now. Try again later.
Articles 1–20