| Automated verification of shape, size and bag properties via user-defined predicates in separation logic WN Chin, C David, HH Nguyen, S Qin Science of Computer Programming 77 (9), 1006-1036, 2012 | 216 | 2012 |
| Automated verification of shape and size properties via separation logic HH Nguyen, C David, S Qin, WN Chin International Workshop on Verification, Model Checking, and Abstract …, 2007 | 213 | 2007 |
| Memlock: Memory usage guided fuzzing C Wen, H Wang, Y Li, S Qin, Y Liu, Z Xu, H Chen, X Xie, G Pu, T Liu Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 179 | 2020 |
| Typestate-guided fuzzer for discovering use-after-free vulnerabilities H Wang, X Xie, Y Li, C Wen, Y Li, Y Liu, S Qin, H Chen, Y Sui Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 165 | 2020 |
| Core hybrid Event-B I: single hybrid Event-B machines R Banach, M Butler, S Qin, N Verma, H Zhu Science of Computer Programming 105, 92-123, 2015 | 105 | 2015 |
| Enhancing modular OO verification with separation logic WN Chin, C David, HH Nguyen, S Qin ACM SIGPLAN Notices 43 (1), 87-99, 2008 | 101 | 2008 |
| Timed automata patterns JS Dong, P Hao, S Qin, J Sun, W Yi IEEE Transactions on Software Engineering 34 (6), 844-859, 2008 | 100 | 2008 |
| Memory usage verification for oo programs WN Chin, HH Nguyen, S Qin, M Rinard International Static Analysis Symposium, 70-86, 2005 | 99 | 2005 |
| Shape analysis via second-order bi-abduction QL Le, C Gherghina, S Qin, WN Chin International Conference on Computer Aided Verification, 52-68, 2014 | 87 | 2014 |
| CDGDroid: Android malware detection based on deep learning using CFG and DFG Z Xu, K Ren, S Qin, F Craciun International conference on formal engineering methods, 177-193, 2018 | 85 | 2018 |
| Analysing memory resource bounds for low-level programs WN Chin, HH Nguyen, C Popeea, S Qin Proceedings of the 7th international symposium on Memory management, 151-160, 2008 | 83 | 2008 |
| Enchanting program specification synthesis by large language models using static analysis and program verification C Wen, J Cao, J Su, Z Xu, S Qin, M He, H Li, SC Cheung, C Tian International Conference on Computer Aided Verification, 302-328, 2024 | 78 | 2024 |
| On information coverage for location category based point-of-interest recommendation X Chen, Y Zeng, G Cong, S Qin, Y Xiang, Y Dai Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015 | 76 | 2015 |
| Verifying simulink diagrams via a hybrid hoare logic prover L Zou, N Zhany, S Wang, M Fränzle, S Qin 2013 Proceedings of the International Conference on Embedded Software …, 2013 | 74 | 2013 |
| Region inference for an object-oriented language WN Chin, F Craciun, S Qin, M Rinard ACM SIGPLAN Notices 39 (6), 243-254, 2004 | 69 | 2004 |
| Timed patterns: TCOZ to timed automata JS Dong, P Hao, SC Qin, J Sun, W Yi International Conference on Formal Engineering Methods, 483-498, 2004 | 67 | 2004 |
| Optimal route search with the coverage of users’ preferences Y Zeng, X Chen, X Cao, S Qin, M Cavazza, Y Xiang Proceedings of the Twenty-Fourth International Joint Conference on …, 2015 | 66 | 2015 |
| Termination and non-termination specification inference TC Le, S Qin, WN Chin Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015 | 64 | 2015 |
| A semantic foundation for TCOZ in unifying theories of programming S Qin, JS Dong, WN Chin International Symposium of Formal Methods Europe, 321-340, 2003 | 64 | 2003 |
| Automatically inspecting thousands of static bug warnings with large language model: How far are we? C Wen, Y Cai, B Zhang, J Su, Z Xu, D Liu, S Qin, Z Ming, T Cong ACM Transactions on Knowledge Discovery from Data 18 (7), 1-34, 2024 | 57 | 2024 |
Wei-Ngan ChinNational University of SingaporeVerified email at comp.nus.edu.sg
