Yi Li

Yi Li

Nanyang Technological University - Jurong West / Singapore
Engineering & Technology / Computer Science
AD Scientific Index ID: 431367
南洋理工大学
person_outline Yi Li's MOST POPULAR ARTICLES
1-) A survey of smart contract formal specification and verificationP Tolmach, Y Li, SW Lin, Y Liu, Z LiACM Computing Surveys (CSUR) 54 (7), 1-38, 20211732021
2-) Deepstellar: Model-based quantitative analysis of stateful deep learning systemsX Du, X Xie, Y Li, L Ma, Y Liu, J ZhaoProceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019158*2019
3-) Symbolic Optimization with SMT SolversY Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M ChechikPOPL 2014, 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming …, 20141672014
4-) UFO: A framework for abstraction-and interpolation-based software verificationA Albarghouthi, Y Li, A Gurfinkel, M ChechikComputer Aided Verification, 672-678, 20121322012
5-) Typestate-guided fuzzer for discovering use-after-free vulnerabilitiesH Wang, X Xie, Y Li, C Wen, Y Liu, S Qin, H Chen, Y Sui42nd International Conference on Software Engineering 20, 20201212020