Seguir
Yi Li
Título
Citado por
Citado por
Año
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
1652014
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
1592019
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
1512021
UFO: A framework for abstraction-and interpolation-based software verification
A Albarghouthi, Y Li, A Gurfinkel, M Chechik
Computer Aided Verification, 672-678, 2012
1322012
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
1072020
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
732020
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
682019
Semantic Slicing of Software Version Histories
Y Li, J Rubin, M Chechik
30th IEEE/ACM International Conference on Automated Software Engineering …, 2015
622015
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
492020
Angelic Verification: Precise Verification Modulo Unknowns
A Das, SK Lahiri, A Lal, Y Li
Computer Aided Verification, 2015
452015
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
432018
Formal analysis of composable DeFi protocols
P Tolmach, Y Li, SW Lin, Y Liu
Financial Cryptography and Data Security. FC 2021 International Workshops …, 2021
382021
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
332020
Client-specific equivalence checking
F Mora, Y Li, J Rubin, M Chechik
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
312018
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
302016
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
272020
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
232022
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
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
202020
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20