Yi Li
TitleCited byYear
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
1022014
UFO: A framework for abstraction-and interpolation-based software verification
A Albarghouthi, Y Li, A Gurfinkel, M Chechik
Computer Aided Verification, 672-678, 2012
952012
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
34*2013
Semantic Slicing of Software Version Histories
Y Li, J Rubin, M Chechik
30th IEEE/ACM International Conference on Automated Software Engineering …, 2015
252015
Angelic Verification: Precise Verification Modulo Unknowns
A Das, SK Lahiri, A Lal, Y Li
Computer Aided Verification, 2015
222015
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
21*2019
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
102017
Management of time requirements in component-based systems
Y Li, TH Tan, M Chechik
International Symposium on Formal Methods, 399-415, 2014
102014
Precise semantic history slicing through dynamic delta refinement
Y Li, C Zhu, J Rubin, M Chechik
2016 31st IEEE/ACM International Conference on Automated Software …, 2016
92016
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
82014
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
52017
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
52012
Vultron: catching vulnerable smart contracts once and for all
H Wang, Y Li, SW Lin, L Ma, Y Liu
Proceedings of the 41st International Conference on Software Engineering …, 2019
32019
CSlicerCloud: a web-based semantic history slicing framework
Y Li, C Zhu, J Rubin, M Chechik
Proceedings of the 40th International Conference on Software Engineering …, 2018
22018
Using metric temporal logic to specify scheduling problems
R Luo, RA Valenzano, Y Li, JC Beck, SA McIlraith
Fifteenth International Conference on the Principles of Knowledge …, 2016
22016
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
22012
Managing Software Evolution through Semantic History Slicing
Y Li
32nd IEEE/ACM International Conference on Automated Software Engineering …, 2017
12017
Oracle-Supported Dynamic Exploit Generation for Smart Contracts
H Wang, Y Li, S Lin, C Artho, L Ma, Y Liu
arXiv preprint arXiv:1909.06605, 2019
2019
Curriculum Vitae
Y Li
2017
Symbolic Abstraction with SMT Solvers
Y Li
University of Toronto, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–20