עקוב אחר
Yi Li
כותרת
צוטט על ידי
צוטט על ידי
שנה
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‏
2112021
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‏
1772019
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‏
1702014
UFO: A framework for abstraction-and interpolation-based software verification‏
A Albarghouthi, Y Li, A Gurfinkel, M Chechik‏
Computer Aided Verification, 672-678, 2012‏
1332012
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‏
1252020
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‏
1032020
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‏
802019
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‏
652020
Semantic Slicing of Software Version Histories‏
Y Li, J Rubin, M Chechik‏
30th IEEE/ACM International Conference on Automated Software Engineering …, 2015‏
642015
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‏
502018
Angelic Verification: Precise Verification Modulo Unknowns‏
A Das, SK Lahiri, A Lal, Y Li‏
Computer Aided Verification, 2015‏
492015
Formal analysis of composable DeFi protocols‏
P Tolmach, Y Li, SW Lin, Y Liu‏
Financial Cryptography and Data Security. FC 2021 International Workshops …, 2021‏
472021
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‏
462022
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‏
462020
Client-specific equivalence checking‏
F Mora, Y Li, J Rubin, M Chechik‏
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018‏
372018
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‏
352020
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
Towards automated verification of smart contract fairness‏
Y Liu, Y Li, SW Lin, R Zhao‏
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020‏
322020
Towards understanding third-party library dependency in c/c++ ecosystem‏
W Tang, Z Xu, C Liu, J Wu, S Yang, Y Li, P Luo, Y Liu‏
Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022‏
312022
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‏
312016
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20