| A sound floating-point polyhedra abstract domain L Chen, A Miné, P Cousot Asian Symposium on Programming Languages and Systems, 3-18, 2008 | 106 | 2008 |
| 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 | 77 | 2019 |
| 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 | 71 | 2009 |
| 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 | 47 | 2020 |
| 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 | 41 | 2016 |
| 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 | 38 | 2019 |
| 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 | 35 | 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 | 31 | 2010 |
| 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 | 28 | 2013 |
| 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 | 20 | 2017 |
| 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 | 19 | 2021 |
| 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 | 17 | 2016 |
| Linear absolute value relation analysis L Chen, A Miné, J Wang, P Cousot Programming Languages and Systems: 20th European Symposium on Programming …, 2011 | 17 | 2011 |
| 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 | 15 | 2020 |
| 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 | 12 | 2015 |
| 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 | 11 | 2014 |
| Input validation for neural networks via runtime local robustness verification J Liu, L Chen, A Mine, J Wang arXiv preprint arXiv:2002.03339, 2020 | 10 | 2020 |
| Recent advances on trusted computing in China W Dong, LQ Chen Chinese Science Bulletin 57, 4529-4532, 2012 | 9 | 2012 |
| Analyzing deep neural networks with symbolic propagation: Towards higher precision and faster verification P Yang, J Liu, J Li, L Chen, X Huang arXiv e-prints, arXiv: 1902.09866, 2019 | 8 | 2019 |
| 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 | 7 | 2017 |
Mao XiaoguangNational University of Defense TechnologyΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα nudt.edu.cn
