Follow
Yi Li
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
1682014
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
1602019
A survey of smart contract formal specification and verification
P Tolmach, Y Li, SW Lin, Y Liu, Z Li
ACM Computing Surveys (CSUR) 54 (7), 1-38, 2021
1412021
UFO: A framework for abstraction-and interpolation-based software verification
A Albarghouthi, Y Li, A Gurfinkel, M Chechik
Computer Aided Verification, 672-678, 2012
1292012
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
1012020
Audee: Automated testing for deep learning frameworks
Q Guo, X Xie, Y Li, X Zhang, Y Liu, X Li, C Shen
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
762020
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
652019
Semantic Slicing of Software Version Histories
Y Li, J Rubin, M Chechik
30th IEEE/ACM International Conference on Automated Software Engineering …, 2015
602015
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 19 (3), 1795-1809, 2020
452020
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
452018
Angelic Verification: Precise Verification Modulo Unknowns
A Das, SK Lahiri, A Lal, Y Li
Computer Aided Verification, 2015
412015
Formal analysis of composable DeFi protocols
P Tolmach, Y Li, SW Lin, Y Liu
Financial Cryptography and Data Security. FC 2021 International Workshops …, 2021
352021
UFO: Verification with Interpolants and Abstract Interpretation: (Competition Contribution)
A Albarghouthi, A Gurfinkel, Y Li, S Chaki, M Chechik
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
352013
ARDiff: scaling program equivalence checking via iterative abstraction and refinement of common code
S Badihi, F Akinotcho, Y Li, J Rubin
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
302020
Client-specific equivalence checking
F Mora, Y Li, J Rubin, M Chechik
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
302018
Precise semantic history slicing through dynamic delta refinement
Y Li, C Zhu, J Rubin, M Chechik
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
282016
ModCon: A model-based testing platform for smart contracts
Y Liu, Y Li, SW Lin, Q Yan
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
252020
Marble: Model-based robustness analysis of stateful deep learning systems
X Du, Y Li, X Xie, L Ma, Y Liu, J Zhao
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
202020
Finding permission bugs in smart contracts with role mining
Y Liu, Y Li, SW Lin, C Artho
Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022
192022
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
182017
The system can't perform the operation now. Try again later.
Articles 1–20