Yi Li

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 49

Top Topics

Metric Temporal Logic

Quantitative Analysis

Software Evolution

Top Venues

ESEC/SIGSOFT FSE

ICSE (Companion Volume)

Publications

Ye Liu, Yue Xue, Daoyuan Wu, Yuqiang Sun, Yi Li, Miaolei Shi, Yang Liu
PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation. CoRR (2024)
Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long
Demystifying Invariant Effectiveness for Securing Smart Contracts. CoRR (2024)
Ye Liu, Yi Li, Cyrille Artho, Yixuan Liu
Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction. CoRR (2024)
Ye Liu, Shuo Li, Xiuheng Wu, Yi Li, Zhiyang Chen, David Lo
Demystifying the Characteristics for Smart Contract Upgrades. CoRR (2024)
Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long
Demystifying Invariant Effectiveness for Securing Smart Contracts. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Yao Zhang, Xiaofei Xie, Yi Li, Sen Chen, Cen Zhang, Xiaohong Li
EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software. CoRR (2023)
Yao Zhang, Xiaofei Xie, Yi Li, Sen Chen, Cen Zhang, Xiaohong Li
EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software. ASE (2023)
Sahar Badihi, Khaled Ahmed, Yi Li, Julia Rubin
Responsibility in Context: On Applicability of Slicing in Semantic Regression Analysis. ICSE (2023)
Yao Zhang, Xiaofei Xie, Yi Li, Yun Lin, Sen Chen, Yang Liu, Xiaohong Li
Demystifying Performance Regressions in String Solvers. IEEE Trans. Software Eng. 49 (3) (2023)
Chenguang Zhu, Mengshi Zhang, Xiuheng Wu, Xiufeng Xu, Yi Li
Client-Specific Upgrade Compatibility Checking via Knowledge-Guided Discovery. ACM Trans. Softw. Eng. Methodol. 32 (4) (2023)
Wei Ma, Chenguang Zhu, Ye Liu, Xiaofei Xie, Yi Li
A Comprehensive Study of Governance Issues in Decentralized Finance Applications. CoRR (2023)
Xiufeng Xu, Chenguang Zhu, Yi Li
Compsuite: A Dataset of Java Library Upgrade Incompatibility Issues. ASE (2023)
Haijun Wang, Ye Liu, Yi Li, Shangwei Lin, Cyrille Artho, Lei Ma, Yang Liu
Oracle-Supported Dynamic Exploit Generation for Smart Contracts. IEEE Trans. Dependable Secur. Comput. 19 (3) (2022)
Ye Liu, Yi Li, Shang-Wei Lin, Cyrille Artho
Finding permission bugs in smart contracts with role mining. ISSTA (2022)
Wei Tang, Zhengzi Xu, Chengwei Liu, Jiahui Wu, Shouguo Yang, Yi Li, Ping Luo, Yang Liu
Towards Understanding Third-party Library Dependency in C/C++ Ecosystem. ASE (2022)
Shang-Wei Lin, Palina Tolmach, Ye Liu, Yi Li
SolSEE: a source-level symbolic execution engine for solidity. ESEC/SIGSOFT FSE (2022)
Palina Tolmach, Yi Li, Shangwei Lin, Yang Liu, Zengxiang Li
A Survey of Smart Contract Formal Specification and Verification. ACM Comput. Surv. 54 (7) (2022)
Palina Tolmach, Yi Li, Shang-Wei Lin
Property-Based Automated Repair of DeFi Protocols. ASE (2022)
Zhiming Li, Xiaofei Xie, Haoliang Li, Zhengzi Xu, Yi Li, Yang Liu
Cross-lingual transfer learning for statistical type inference. ISSTA (2022)
Xiuheng Wu, Mengyang Li, Yi Li
EvoMe: A Software Evolution Management Engine Based on Differential Factbase. ASE (2021)
Xiuheng Wu, Chenguang Zhu, Yi Li
DIFFBASE: a differential factbase for effective software evolution management. ESEC/SIGSOFT FSE (2021)
Sahar Badihi, Yi Li, Julia Rubin
EqBench: A Dataset of Equivalent and Non-equivalent Program Pairs. MSR (2021)
Zhiming Li, Xiaofei Xie, Haoliang Li, Zhengzi Xu, Yi Li, Yang Liu
Cross-Lingual Adaptation for Type Inference. CoRR (2021)
Xindong Zhang, Chenguang Zhu, Yi Li, Jianmei Guo, Lihua Liu, Haobo Gu
Precfix: large-scale patch recommendation by mining defect-patch pairs. ICSE (SEIP) (2020)
Haijun Wang, Xiaofei Xie, Yi Li, Cheng Wen, Yuekang Li, Yang Liu, Shengchao Qin, Hongxu Chen, Yulei Sui
Typestate-guided fuzzer for discovering use-after-free vulnerabilities. ICSE (2020)
Sahar Badihi, Faridah Akinotcho, Yi Li, Julia Rubin
ARDiff: scaling program equivalence checking via iterative abstraction and refinement of common code. ESEC/SIGSOFT FSE (2020)
Xiaoning Du, Yi Li, Xiaofei Xie, Lei Ma, Yang Liu, Jianjun Zhao
Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems. ASE (2020)
Qianyu Guo, Xiaofei Xie, Yi Li, Xiaoyu Zhang, Yang Liu, Xiaohong Li, Chao Shen
Audee: Automated Testing for Deep Learning Frameworks. ASE (2020)
Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu, Zengxiang Li
A Survey of Smart Contract Formal Specification and Verification. CoRR (2020)
Chenguang Zhu, Yi Li, Julia Rubin, Marsha Chechik
GenSlice: Generalized Semantic History Slicing. ICSME (2020)
Xindong Zhang, Chenguang Zhu, Yi Li, Jianmei Guo, Lihua Liu, Haobo Gu
Large-scale patch recommendation at Alibaba. ICSE (Companion Volume) (2020)
Yi Li, Chenguang Zhu, Milos Gligoric, Julia Rubin, Marsha Chechik
Precise semantic history slicing through dynamic delta refinement. Autom. Softw. Eng. 26 (4) (2019)
Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao
A Quantitative Analysis Framework for Recurrent Neural Network. ASE (2019)
Haijun Wang, Yi Li, Shang-Wei Lin, Cyrille Artho, Lei Ma, Yang Liu
Oracle-Supported Dynamic Exploit Generation for Smart Contracts. CoRR (2019)
Yinxing Xue, Jiaming Ye, Mingliang Ma, Lei Ma, Yi Li, Haijun Wang, Yun Lin, Tianyong Peng, Yang Liu
Doublade: Unknown Vulnerability Detection in Smart Contracts Via Abstract Signature Matching and Refined Detection Rules. CoRR (2019)
Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao
DeepStellar: model-based quantitative analysis of stateful deep learning systems. ESEC/SIGSOFT FSE (2019)
Xiaofei Xie, Hongxu Chen, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao
Coverage-Guided Fuzzing for Feedforward Neural Networks. ASE (2019)
Haijun Wang, Yi Li, Shang-Wei Lin, Lei Ma, Yang Liu
Vultron: catching vulnerable smart contracts once and for all. ICSE (NIER) (2019)
Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Jianjun Zhao, Yang Liu
DeepCruiser: Automated Guided Testing for Stateful Deep Learning Systems. CoRR (2018)
Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik
CSlicerCloud: a web-based semantic history slicing framework. ICSE (Companion Volume) (2018)
Federico Mora, Yi Li, Julia Rubin, Marsha Chechik
Client-specific equivalence checking. ASE (2018)
Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik
Semantic Slicing of Software Version Histories. IEEE Trans. Software Eng. 44 (2) (2018)
Chenguang Zhu, Yi Li, Julia Rubin, Marsha Chechik
A dataset for dynamic discovery of semantic changes in version controlled software histories. MSR (2017)
Yi Li
Managing software evolution through semantic history slicing. ASE (2017)
Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik
FHistorian: Locating Features in Version Histories. SPLC (A) (2017)
Roy Luo, Richard Anthony Valenzano, Yi Li, J. Christopher Beck, Sheila A. McIlraith
Using Metric Temporal Logic to Specify Scheduling Problems. KR (2016)
Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik
Precise semantic history slicing through dynamic delta refinement. ASE (2016)
Ankush Das, Shuvendu K. Lahiri, Akash Lal, Yi Li
Angelic Verification: Precise Verification Modulo Unknowns. CAV (1) (2015)
Yi Li, Julia Rubin, Marsha Chechik
Semantic Slicing of Software Version Histories (T). ASE (2015)
Yi Li, Tian Huat Tan, Marsha Chechik
Management of Time Requirements in Component-Based Systems. FM (2014)
Yi Li, Jin Song Dong, Jing Sun, Yang Liu, Jun Sun
Model checking approach to automated planning. Formal Methods Syst. Des. 44 (2) (2014)
Yi Li, Aws Albarghouthi, Zachary Kincaid, Arie Gurfinkel, Marsha Chechik
Symbolic optimization with SMT solvers. POPL (2014)
Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki, Marsha Chechik
UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution). TACAS (2013)
Aws Albarghouthi, Yi Li, Arie Gurfinkel, Marsha Chechik
Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification. CAV (2012)
Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun
Translating PDDL into CSP# - The PAT Approach. ICECCS (2012)
Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun
Planning as Model Checking Tasks. SEW (2012)