Li Jiaying

Li Jiaying

Singapore Management University - Singapore / Singapore
Engineering & Technology / Computer Science
AD Scientific Index ID: 6089020
-
person_outline Li Jiaying's MOST POPULAR ARTICLES
1-) Deep Clustering by Gaussian Mixture Variational Autoencoders With Graph EmbeddingL Yang, NM Cheung, J Li, J FangProceedings of the IEEE International Conference on Computer Vision, 6440-6449, 20191532019
2-) Automatic Loop-Invariant Generation and Refinement through Selective SamplingJ Li, J Sun, L Li, QL Le, SW Linthe 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017402017
3-) A comprehensive study of real-world bugs in machine learning model optimizationH Guan, Y Xiao, J Li, Y Liu, G Bai2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 202392023
4-) Classification-based parameter synthesis for parametric timed automataJ Li, J Sun, B Gao, É AndréFormal Methods and Software Engineering: 19th International Conference on …, 2017
5-) Verification assisted gas reduction for smart contractsB Gao, S Shen, L Shi, J Li, J Sun, L Bu2021 28th Asia-Pacific Software Engineering Conference (APSEC), 264-274, 2021