Yi Li

According to our database, Yi Li authored at least 67 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Demystifying Invariant Effectiveness for Securing Smart Contracts.

Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long

Proc. ACM Softw. Eng., 2024

Demystifying the Characteristics for Smart Contract Upgrades.

Ye Liu, Shuo Li, Xiuheng Wu, Yi Li, Zhiyang Chen, David Lo

CoRR, 2024

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation.

Ye Liu, Yue Xue, Daoyuan Wu, Yuqiang Sun, Yi Li, Miaolei Shi, Yang Liu

CoRR, 2024

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction.

Ye Liu, Yi Li, Cyrille Artho, Yixuan Liu

CoRR, 2024

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models.

Lezhi Ma, Shangqing Liu, Yi Li, Xiaofei Xie, Lei Bu

CoRR, 2024

Automated Invariant Generation for Solidity Smart Contracts.

Ye Liu, Chengxuan Zhang, Yi Li

CoRR, 2024

2023

Client-Specific Upgrade Compatibility Checking via Knowledge-Guided Discovery.

Chenguang Zhu, Mengshi Zhang, Xiuheng Wu, Xiufeng Xu, Yi Li

ACM Trans. Softw. Eng. Methodol., July, 2023

Demystifying Performance Regressions in String Solvers.

Yao Zhang, Xiaofei Xie, Yi Li, Yun Lin, Sen Chen, Yang Liu, Xiaohong Li

IEEE Trans. Software Eng., March, 2023

A Comprehensive Study of Governance Issues in Decentralized Finance Applications.

Wei Ma, Chenguang Zhu, Ye Liu, Xiaofei Xie, Yi Li

CoRR, 2023

Evaluating AIGC Detectors on Code Content.

Jian Wang, Shangqing Liu, Xiaofei Xie, Yi Li

CoRR, 2023

A Vision on Intentions in Software Engineering.

Jacob Krüger, Yi Li, Chenguang Zhu, Marsha Chechik, Thorsten Berger, Julia Rubin

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software.

Yao Zhang, Xiaofei Xie, Yi Li, Sen Chen, Cen Zhang, Xiaohong Li

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Compsuite: A Dataset of Java Library Upgrade Incompatibility Issues.

Xiufeng Xu, Chenguang Zhu, Yi Li

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Responsibility in Context: On Applicability of Slicing in Semantic Regression Analysis.

Sahar Badihi, Khaled Ahmed, Yi Li, Julia Rubin

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Semantic History Slicing.

Yi Li, Julia Rubin, Marsha Chechik

Proceedings of the Handbook of Re-Engineering Software Intensive Systems into Software Product Lines, 2023

2022

Oracle-Supported Dynamic Exploit Generation for Smart Contracts.

Haijun Wang, Ye Liu, Yi Li, Shangwei Lin, Cyrille Artho, Lei Ma, Yang Liu

IEEE Trans. Dependable Secur. Comput., 2022

A Survey of Smart Contract Formal Specification and Verification.

Palina Tolmach, Yi Li, Shangwei Lin, Yang Liu, Zengxiang Li

ACM Comput. Surv., 2022

Unveiling Project-Specific Bias in Neural Code Models.

Zhiming Li, Yanzhou Li, Tianlin Li, Mengnan Du, Bozhi Wu, Yushi Cao, Xiaofei Xie, Yi Li, Yang Liu

CoRR, 2022

Large-scale analysis of non-termination bugs in real-world OSS projects.

Xiuhan Shi, Xiaofei Xie, Yi Li, Yao Zhang, Sen Chen, Xiaohong Li

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

SolSEE: a source-level symbolic execution engine for solidity.

Shang-Wei Lin, Palina Tolmach, Ye Liu, Yi Li

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesis.

Yushi Cao, Zhiming Li, Tianpei Yang, Hao Zhang, Yan Zheng, Yi Li, Jianye Hao, Yang Liu

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Property-Based Automated Repair of DeFi Protocols.

Palina Tolmach, Yi Li, Shang-Wei Lin

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Towards Understanding Third-party Library Dependency in C/C++ Ecosystem.

Wei Tang, Zhengzi Xu, Chengwei Liu, Jiahui Wu, Shouguo Yang, Yi Li, Ping Luo, Yang Liu

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts.

Ye Liu, Yi Li

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Identifying Solidity Smart Contract API Documentation Errors.

Chenguang Zhu, Ye Liu, Xiuheng Wu, Yi Li

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Finding permission bugs in smart contracts with role mining.

Ye Liu, Yi Li, Shang-Wei Lin, Cyrille Artho

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Cross-lingual transfer learning for statistical type inference.

Zhiming Li, Xiaofei Xie, Haoliang Li, Zhengzi Xu, Yi Li, Yang Liu

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

2021

Cross-Lingual Adaptation for Type Inference.

Zhiming Li, Xiaofei Xie, Haoliang Li, Zhengzi Xu, Yi Li, Yang Liu

CoRR, 2021

DIFFBASE: a differential factbase for effective software evolution management.

Xiuheng Wu, Chenguang Zhu, Yi Li

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

EqBench: A Dataset of Equivalent and Non-equivalent Program Pairs.

Sahar Badihi, Yi Li, Julia Rubin

Proceedings of the 18th IEEE/ACM International Conference on Mining Software Repositories, 2021

EvoMe: A Software Evolution Management Engine Based on Differential Factbase.

Xiuheng Wu, Mengyang Li, Yi Li

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Formal Analysis of Composable DeFi Protocols.

Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu

Proceedings of the Financial Cryptography and Data Security. FC 2021 International Workshops, 2021

2020

ModCon: a model-based testing platform for smart contracts.

Ye Liu, Yi Li, Shang-Wei Lin, Qiang Yan

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Towards automated verification of smart contract fairness.

Ye Liu, Yi Li, Shang-Wei Lin, Rong Zhao

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

ARDiff: scaling program equivalence checking via iterative abstraction and refinement of common code.

Sahar Badihi, Faridah Akinotcho, Yi Li, Julia Rubin

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Audee: Automated Testing for Deep Learning Frameworks.

Qianyu Guo, Xiaofei Xie, Yi Li, Xiaoyu Zhang, Yang Liu, Xiaohong Li, Chao Shen

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems.

Xiaoning Du, Yi Li, Xiaofei Xie, Lei Ma, Yang Liu, Jianjun Zhao

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

GenSlice: Generalized Semantic History Slicing.

Chenguang Zhu, Yi Li, Julia Rubin, Marsha Chechik

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

Large-scale patch recommendation at Alibaba.

Xindong Zhang, Chenguang Zhu, Yi Li, Jianmei Guo, Lihua Liu, Haobo Gu

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

Precfix: large-scale patch recommendation by mining defect-patch pairs.

Xindong Zhang, Chenguang Zhu, Yi Li, Jianmei Guo, Lihua Liu, Haobo Gu

Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

Typestate-guided fuzzer for discovering use-after-free vulnerabilities.

Haijun Wang, Xiaofei Xie, Yi Li, Cheng Wen, Yuekang Li, Yang Liu, Shengchao Qin, Hongxu Chen, Yulei Sui

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Doublade: Unknown Vulnerability Detection in Smart Contracts Via Abstract Signature Matching and Refined Detection Rules.

Yinxing Xue, Jiaming Ye, Mingliang Ma, Lei Ma, Yi Li, Haijun Wang, Yun Lin, Tianyong Peng, Yang Liu

CoRR, 2019

Oracle-Supported Dynamic Exploit Generation for Smart Contracts.

Haijun Wang, Yi Li, Shang-Wei Lin, Cyrille Artho, Lei Ma, Yang Liu

CoRR, 2019

Precise semantic history slicing through dynamic delta refinement.

Yi Li, Chenguang Zhu, Milos Gligoric, Julia Rubin, Marsha Chechik

Autom. Softw. Eng., 2019

DeepStellar: model-based quantitative analysis of stateful deep learning systems.

Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Coverage-Guided Fuzzing for Feedforward Neural Networks.

Xiaofei Xie, Hongxu Chen, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

A Quantitative Analysis Framework for Recurrent Neural Network.

Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Vultron: catching vulnerable smart contracts once and for all.

Haijun Wang, Yi Li, Shang-Wei Lin, Lei Ma, Yang Liu

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

2018

Managing Software Evolution Through Semantic History Slicing.

Yi Li

PhD thesis, 2018

Semantic Slicing of Software Version Histories.

Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik

IEEE Trans. Software Eng., 2018

DeepCruiser: Automated Guided Testing for Stateful Deep Learning Systems.

Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Jianjun Zhao, Yang Liu

CoRR, 2018

Client-specific equivalence checking.

Federico Mora, Yi Li, Julia Rubin, Marsha Chechik

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

CSlicerCloud: a web-based semantic history slicing framework.

Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

FHistorian: Locating Features in Version Histories.

Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik

Proceedings of the 21st International Systems and Software Product Line Conference, 2017

A dataset for dynamic discovery of semantic changes in version controlled software histories.

Chenguang Zhu, Yi Li, Julia Rubin, Marsha Chechik

Proceedings of the 14th International Conference on Mining Software Repositories, 2017

Managing software evolution through semantic history slicing.

Yi Li

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016

Using Metric Temporal Logic to Specify Scheduling Problems.

Roy Luo, Richard Anthony Valenzano, Yi Li, J. Christopher Beck, Sheila A. McIlraith

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Precise semantic history slicing through dynamic delta refinement.

Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

2015

Semantic Slicing of Software Version Histories (T).

Yi Li, Julia Rubin, Marsha Chechik

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Angelic Verification: Precise Verification Modulo Unknowns.

Ankush Das, Shuvendu K. Lahiri, Akash Lal, Yi Li

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Model checking approach to automated planning.

Yi Li, Jin Song Dong, Jing Sun, Yang Liu, Jun Sun

Formal Methods Syst. Des., 2014

Symbolic optimization with SMT solvers.

Yi Li, Aws Albarghouthi, Zachary Kincaid, Arie Gurfinkel, Marsha Chechik

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Management of Time Requirements in Component-Based Systems.

Yi Li, Tian Huat Tan, Marsha Chechik

Proceedings of the FM 2014: Formal Methods, 2014

2013

UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution).

Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki, Marsha Chechik

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2012

Planning as Model Checking Tasks.

Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun

Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

Translating PDDL into CSP# - The PAT Approach.

Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification.

Aws Albarghouthi, Yi Li, Arie Gurfinkel, Marsha Chechik

Proceedings of the Computer Aided Verification - 24th International Conference, 2012