| Deep Clustering by Gaussian Mixture Variational Autoencoders With Graph Embedding L Yang, NM Cheung, J Li, J Fang Proceedings of the IEEE International Conference on Computer Vision, 6440-6449, 2019 | 202 | 2019 |
| Automatic Loop-Invariant Generation and Refinement through Selective Sampling J Li, J Sun, L Li, QL Le, SW Lin the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017 | 46 | 2017 |
| A comprehensive study of real-world bugs in machine learning model optimization H Guan, Y Xiao, J Li, Y Liu, G Bai 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 26 | 2023 |
| Relu hull approximation Z Ma, J Li, G Bai Proceedings of the ACM on Programming Languages 8 (POPL), 2260-2287, 2024 | 12 | 2024 |
| Verification assisted gas reduction for smart contracts B Gao, S Shen, L Shi, J Li, J Sun, L Bu 2021 28th Asia-Pacific Software Engineering Conference (APSEC), 264-274, 2021 | 8 | 2021 |
| Classification-based parameter synthesis for parametric timed automata J Li, J Sun, B Gao, É André International Conference on Formal Engineering Methods, 243-261, 2017 | 7 | 2017 |
| sverify: Verifying smart contracts through lazy annotation and learning B Gao, L Shi, J Li, J Chang, J Sun, Z Yang International Symposium on Leveraging Applications of Formal Methods, 453-469, 2021 | 5 | 2021 |
| Socrates: Towards a unified platform for neural network analysis LH Pham, J Li, J Sun arXiv preprint arXiv:2007.11206, 2020 | 4 | 2020 |
| Towards an effective and interpretable refinement approach for DNN verification J Li, G Bai, LH Pham, J Sun 2023 IEEE 23rd International Conference on Software Quality, Reliability …, 2023 | 2 | 2023 |
| Scaling BDD-based timed verification with simulation reduction TK Nguyen, TH Tan, J Sun, J Li, Y Liu, M Chen, JS Dong International Conference on Formal Engineering Methods, 363-382, 2016 | 1 | 2016 |
| Support Triangle Machine J Li, C Hao Proceedings of the ACM on Programming Languages 9 (PLDI), 225-248, 2025 | | 2025 |
Sun JunProfessor of SCIS, SMUVerified email at smu.edu.sg
