Yi Li

Cited by

	All	Since 2016
Citations	543	425
h-index	11	11
i10-index	13	12

160

120

20122013201420152016201720182019202020212 17 37 56 50 81 50 85 150 7

Co-authors

Marsha Chechik Professor of Computer Science, University of TorontoVerified email at cs.toronto.edu
Yang LiuUniversity Leadership Forum Chair Professor, Nanyang Technological UniversityVerified email at ntu.edu.sg
Julia RubinUniversity of British ColumbiaVerified email at ubc.ca
Lei MaAssociate Professor, Kyushu UniversityVerified email at ait.kyushu-u.ac.jp
Chenguang ZhuUniversity of Texas at AustinVerified email at utexas.edu
Xiaofei XieNanyang Technological UniversityVerified email at tju.edu.cn
Aws AlbarghouthiUniversity of Wisconsin–MadisonVerified email at cs.wisc.edu
Arie GurfinkelUniversity of WaterlooVerified email at uwaterloo.ca
Jianjun ZhaoKyushu UniversityVerified email at ait.kyushu-u.ac.jp
Xiaoning DUNanyang Technological UniversityVerified email at ntu.edu.sg
Shang-Wei LinAssistant Professor, Nanyang Technological UniversityVerified email at ntu.edu.sg
Zachary KincaidPrinceton UniversityVerified email at cs.princeton.edu
Jin Song DongProfessor of Computer Science, National University of Singapore and Griffith UniversityVerified email at nus.edu.sg
jun sunAssociate Professor of SIS, SMUVerified email at smu.edu.sg
Jing SunAssociate Professor, School of Computer Science, University of Auckland, New ZealandVerified email at auckland.ac.nz
Ye liuNanyang Technological UniversityVerified email at ntu.edu.sg
Shuvendu LahiriPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
Ankush DasPhD student of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Akash LalMicrosoft Research, IndiaVerified email at microsoft.com
Milos GligoricThe University of Texas at AustinVerified email at utexas.edu

Yi Li

Nanyang Technological University

Verified email at ntu.edu.sg - Homepage

software engineering automated reasoning program analysis software verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Symbolic Optimization with SMT Solvers Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik POPL 2014, 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming …, 2014	128	2014
UFO: A framework for abstraction-and interpolation-based software verification A Albarghouthi, Y Li, A Gurfinkel, M Chechik Computer Aided Verification, 672-678, 2012	108	2012
Deepstellar: Model-based quantitative analysis of stateful deep learning systems X Du, X Xie, Y Li, L Ma, Y Liu, J Zhao Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019	57	2019
Semantic Slicing of Software Version Histories Y Li, J Rubin, M Chechik 30th IEEE/ACM International Conference on Automated Software Engineering …, 2015	38	2015
UFO: Verification with interpolants and abstract interpretation A Albarghouthi, A Gurfinkel, Y Li, S Chaki, M Chechik International Conference on Tools and Algorithms for the Construction and …, 2013	37	2013
Angelic Verification: Precise Verification Modulo Unknowns A Das, SK Lahiri, A Lal, Y Li Computer Aided Verification, 2015	27	2015
VULTRON: catching vulnerable smart contracts once and for all H Wang, Y Li, SW Lin, L Ma, Y Liu 2019 IEEE/ACM 41st International Conference on Software Engineering: New …, 2019	19	2019
Precise semantic history slicing through dynamic delta refinement Y Li, C Zhu, M Gligoric, J Rubin, M Chechik Automated Software Engineering 26 (4), 757-793, 2019	16	2019
Typestate-guided fuzzer for discovering use-after-free vulnerabilities H Wang, X Xie, Y Li, C Wen, Y Liu, S Qin, H Chen, Y Sui 42nd International Conference on Software Engineering 20, 2020	14	2020
Deepcruiser: Automated guided testing for stateful deep learning systems X Du, X Xie, Y Li, L Ma, J Zhao, Y Liu arXiv preprint arXiv:1812.05339, 2018	14	2018
A Dataset for Dynamic Discovery of Semantic Changes in Version Controlled Software Histories C Zhu, Y Li, J Rubin, M Chechik The 14th International Conference on Mining Software Repositories, 2017	13	2017
Client-specific equivalence checking F Mora, Y Li, J Rubin, M Chechik 2018 33rd IEEE/ACM International Conference on Automated Software …, 2018	11	2018
Management of time requirements in component-based systems Y Li, TH Tan, M Chechik International Symposium on Formal Methods, 399-415, 2014	11	2014
FHistorian: Locating features in version histories Y Li, C Zhu, J Rubin, M Chechik Proceedings of the 21st International Systems and Software Product Line …, 2017	8	2017
Model checking approach to automated planning Y Li, JS Dong, J Sun, Y Liu, J Sun Formal Methods in System Design 44 (2), 176-202, 2014	8	2014
Oracle-supported dynamic exploit generation for smart contracts H Wang, Y Liu, Y Li, SW Lin, C Artho, L Ma, Y Liu IEEE Transactions on Dependable and Secure Computing, 2020	6	2020
Planning as model checking tasks Y Li, J Sun, JS Dong, Y Liu, J Sun 2012 35th Annual IEEE Software Engineering Workshop, 177-186, 2012	6	2012
Translating pddl into csp#-the pat approach Y Li, J Sun, JS Dong, Y Liu, J Sun 2012 IEEE 17th International Conference on Engineering of Complex Computer …, 2012	5	2012
Using Metric Temporal Logic to Specify Scheduling Problems. R Luo, RA Valenzano, Y Li, JC Beck, SA McIlraith KR, 581-584, 2016	3	2016
Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems X Du, Y Li, X Xie, L Ma, Y Liu, J Zhao 2020 35th IEEE/ACM International Conference on Automated Software …, 2020	2	2020

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors