| 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 | 156 | 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 | 127 | 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 | 124 | 2019 |
| 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 | 94 | 2021 |
| 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 | 72 | 2020 |
| Semantic Slicing of Software Version Histories Y Li, J Rubin, M Chechik 30th IEEE/ACM International Conference on Automated Software Engineering …, 2015 | 55 | 2015 |
| 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 | 52 | 2020 |
| 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 | 51 | 2019 |
| Angelic Verification: Precise Verification Modulo Unknowns A Das, SK Lahiri, A Lal, Y Li Computer Aided Verification, 2015 | 40 | 2015 |
| 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 | 34 | 2018 |
| 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 | 34 | 2013 |
| 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 | 31 | 2020 |
| Client-specific equivalence checking F Mora, Y Li, J Rubin, M Chechik Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 28 | 2018 |
| 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 | 28 | 2016 |
| Formal analysis of composable DeFi protocols P Tolmach, Y Li, SW Lin, Y Liu Financial Cryptography and Data Security. FC 2021 International Workshops …, 2021 | 23 | 2021 |
| 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 | 22 | 2020 |
| 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 | 22 | 2020 |
| 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 | 18 | 2017 |
| 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 | 14 | 2020 |
| 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 | 12 | 2017 |
Yang LiuNanyang Technological UniversityVerified email at ntu.edu.sg
