Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification. - Aws Albarghouthi; Yi Li 008; Arie Gurfinkel; Marsha Chechik (CAV, 2012)

Translating PDDL into CSP# - The PAT Approach. - Yi Li 008; Jing Sun 002; Jin Song Dong; Yang Liu 003; Jun Sun 001 (ICECCS, 2012)

Planning as Model Checking Tasks. - Yi Li 008; Jing Sun 002; Jin Song Dong; Yang Liu 003; Jun Sun 001 (SEW, 2012)

UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution). - Aws Albarghouthi; Arie Gurfinkel; Yi Li 008; Sagar Chaki; Marsha Chechik (TACAS, 2013)

Management of Time Requirements in Component-Based Systems. - Yi Li 008; Tian Huat Tan; Marsha Chechik (FM, 2014)

Symbolic optimization with SMT solvers. - Yi Li 008; Aws Albarghouthi; Zachary Kincaid; Arie Gurfinkel; Marsha Chechik (POPL, 2014)

Model checking approach to automated planning. - Yi Li 008; Jin Song Dong 001; Jing Sun 002; Yang Liu 003; Jun Sun 001 (Formal Methods Syst. Des., 2014)

Angelic Verification: Precise Verification Modulo Unknowns. - Ankush Das; Shuvendu K. Lahiri; Akash Lal; Yi Li 008 (CAV (1), 2015)

Semantic Slicing of Software Version Histories (T). - Yi Li 008; Julia Rubin; Marsha Chechik (ASE, 2015)

Precise semantic history slicing through dynamic delta refinement. - Yi Li 008; Chenguang Zhu 002; Julia Rubin; Marsha Chechik (ASE, 2016)

Using Metric Temporal Logic to Specify Scheduling Problems. - Roy Luo; Richard Anthony Valenzano; Yi Li 008; J. Christopher Beck; Sheila A. McIlraith (KR, 2016)

Managing software evolution through semantic history slicing. - Yi Li 008 (ASE, 2017)

A dataset for dynamic discovery of semantic changes in version controlled software histories. - Chenguang Zhu 002; Yi Li 008; Julia Rubin; Marsha Chechik (MSR, 2017)

FHistorian: Locating Features in Version Histories. - Yi Li 008; Chenguang Zhu 002; Julia Rubin; Marsha Chechik (SPLC (A), 2017)

CSlicerCloud: a web-based semantic history slicing framework. - Yi Li 008; Chenguang Zhu 002; Julia Rubin; Marsha Chechik (ICSE (Companion Volume), 2018)

Client-specific equivalence checking. - Federico Mora 002; Yi Li 008; Julia Rubin; Marsha Chechik (ASE, 2018)

DeepCruiser: Automated Guided Testing for Stateful Deep Learning Systems. - Xiaoning Du 001; Xiaofei Xie; Yi Li 008; Lei Ma 003; Jianjun Zhao 001; Yang Liu 003 (CoRR, 2018)

Semantic Slicing of Software Version Histories. - Yi Li 008; Chenguang Zhu 002; Julia Rubin; Marsha Chechik (IEEE Trans. Software Eng., 2018)

Managing Software Evolution Through Semantic History Slicing. - Yi Li 008 (2018)

Vultron: catching vulnerable smart contracts once and for all. - Haijun Wang 002; Yi Li 008; Shang-Wei Lin 001; Lei Ma 003; Yang Liu 003 (ICSE (NIER), 2019)

A Quantitative Analysis Framework for Recurrent Neural Network. - Xiaoning Du 001; Xiaofei Xie; Yi Li 008; Lei Ma 003; Yang Liu 003; Jianjun Zhao 001 (ASE, 2019)

Coverage-Guided Fuzzing for Feedforward Neural Networks. - Xiaofei Xie; Hongxu Chen 001; Yi Li 008; Lei Ma 003; Yang Liu 003; Jianjun Zhao 001 (ASE, 2019)

DeepStellar: model-based quantitative analysis of stateful deep learning systems. - Xiaoning Du 001; Xiaofei Xie; Yi Li 008; Lei Ma 003; Yang Liu 003; Jianjun Zhao 001 (ESEC/SIGSOFT FSE, 2019)

Precise semantic history slicing through dynamic delta refinement. - Yi Li 008; Chenguang Zhu 002; Milos Gligoric 001; Julia Rubin; Marsha Chechik (Autom. Softw. Eng., 2019)

Oracle-Supported Dynamic Exploit Generation for Smart Contracts. - Haijun Wang 002; Yi Li 008; Shang-Wei Lin 001; Cyrille Artho; Lei Ma 003; Yang Liu 003 (CoRR, 2019)

Doublade: Unknown Vulnerability Detection in Smart Contracts Via Abstract Signature Matching and Refined Detection Rules. - Yinxing Xue; Jiaming Ye; Mingliang Ma; Lei Ma 003; Yi Li 008; Haijun Wang 002; Yun Lin 001; Tianyong Peng; Yang Liu 003 (CoRR, 2019)

Typestate-guided fuzzer for discovering use-after-free vulnerabilities. - Haijun Wang 002; Xiaofei Xie; Yi Li 008; Cheng Wen 002; Yuekang Li; Yang Liu 003; Shengchao Qin; Hongxu Chen 001; Yulei Sui (ICSE, 2020)

Precfix: large-scale patch recommendation by mining defect-patch pairs. - Xindong Zhang; Chenguang Zhu 002; Yi Li 008; Jianmei Guo; Lihua Liu; Haobo Gu (ICSE (SEIP), 2020)

Large-scale patch recommendation at Alibaba. - Xindong Zhang; Chenguang Zhu 002; Yi Li 008; Jianmei Guo; Lihua Liu; Haobo Gu (ICSE (Companion Volume), 2020)

GenSlice: Generalized Semantic History Slicing. - Chenguang Zhu 002; Yi Li 008; Julia Rubin; Marsha Chechik (ICSME, 2020)

Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems. - Xiaoning Du 001; Yi Li 008; Xiaofei Xie; Lei Ma 003; Yang Liu 003; Jianjun Zhao 001 (ASE, 2020)

Audee: Automated Testing for Deep Learning Frameworks. - Qianyu Guo; Xiaofei Xie; Yi Li 008; Xiaoyu Zhang 013; Yang Liu 003; Xiaohong Li 001; Chao Shen 001 (ASE, 2020)

ARDiff: scaling program equivalence checking via iterative abstraction and refinement of common code. - Sahar Badihi; Faridah Akinotcho; Yi Li 008; Julia Rubin (ESEC/SIGSOFT FSE, 2020)

Towards automated verification of smart contract fairness. - Ye Liu 012; Yi Li 008; Shang-Wei Lin 001; Rong Zhao (ESEC/SIGSOFT FSE, 2020)

ModCon: a model-based testing platform for smart contracts. - Ye Liu 012; Yi Li 008; Shang-Wei Lin 001; Qiang Yan 001 (ESEC/SIGSOFT FSE, 2020)

Formal Analysis of Composable DeFi Protocols. - Palina Tolmach; Yi Li 008; Shang-Wei Lin 001; Yang Liu 003 (Financial Cryptography Workshops, 2021)

EvoMe: A Software Evolution Management Engine Based on Differential Factbase. - Xiuheng Wu; Mengyang Li; Yi Li 008 (ASE, 2021)

EqBench: A Dataset of Equivalent and Non-equivalent Program Pairs. - Sahar Badihi; Yi Li 008; Julia Rubin (MSR, 2021)

DIFFBASE: a differential factbase for effective software evolution management. - Xiuheng Wu; Chenguang Zhu 002; Yi Li 008 (ESEC/SIGSOFT FSE, 2021)

Cross-Lingual Adaptation for Type Inference. - Zhiming Li; Xiaofei Xie; Haoliang Li; Zhengzi Xu; Yi Li 008; Yang Liu 003 (CoRR, 2021)

Cross-lingual transfer learning for statistical type inference. - Zhiming Li; Xiaofei Xie; Haoliang Li; Zhengzi Xu; Yi Li 008; Yang Liu 003 (ISSTA, 2022)

Finding permission bugs in smart contracts with role mining. - Ye Liu 012; Yi Li 008; Shang-Wei Lin 001; Cyrille Artho (ISSTA, 2022)

Identifying Solidity Smart Contract API Documentation Errors. - Chenguang Zhu 002; Ye Liu 012; Xiuheng Wu; Yi Li 008 (ASE, 2022)

InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts. - Ye Liu 012; Yi Li 008 (ASE, 2022)

Towards Understanding Third-party Library Dependency in C/C++ Ecosystem. - Wei Tang; Zhengzi Xu; Chengwei Liu; Jiahui Wu; Shouguo Yang; Yi Li 008; Ping Luo; Yang Liu 003 (ASE, 2022)

Property-Based Automated Repair of DeFi Protocols. - Palina Tolmach; Yi Li 008; Shang-Wei Lin 001 (ASE, 2022)

GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesis. - Yushi Cao; Zhiming Li; Tianpei Yang; Hao Zhang 004; Yan Zheng 002; Yi Li 008; Jianye Hao; Yang Liu 003 (NeurIPS, 2022)

SolSEE: a source-level symbolic execution engine for solidity. - Shang-Wei Lin 001; Palina Tolmach; Ye Liu 012; Yi Li 008 (ESEC/SIGSOFT FSE, 2022)

Large-scale analysis of non-termination bugs in real-world OSS projects. - Xiuhan Shi; Xiaofei Xie; Yi Li 008; Yao Zhang 019; Sen Chen 001; Xiaohong Li 001 (ESEC/SIGSOFT FSE, 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 008; Yang Liu 003 (CoRR, 2022)

A Survey of Smart Contract Formal Specification and Verification. - Palina Tolmach; Yi Li 008; Shangwei Lin 001; Yang Liu 003; Zengxiang Li (ACM Comput. Surv., 2022)

Oracle-Supported Dynamic Exploit Generation for Smart Contracts. - Haijun Wang 002; Ye Liu 012; Yi Li 008; Shangwei Lin 001; Cyrille Artho; Lei Ma 003; Yang Liu 003 (IEEE Trans. Dependable Secur. Comput., 2022)

Semantic History Slicing. - Yi Li 008; Julia Rubin; Marsha Chechik (Handbook of Re-Engineering Software Intensive Systems into Software Product Lines, 2023)

Responsibility in Context: On Applicability of Slicing in Semantic Regression Analysis. - Sahar Badihi; Khaled Ahmed 004; Yi Li 008; Julia Rubin (ICSE, 2023)

Compsuite: A Dataset of Java Library Upgrade Incompatibility Issues. - Xiufeng Xu; Chenguang Zhu 002; Yi Li 008 (ASE, 2023)

EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software. - Yao Zhang 019; Xiaofei Xie; Yi Li 008; Sen Chen 001; Cen Zhang; Xiaohong Li 001 (ASE, 2023)

A Vision on Intentions in Software Engineering. - Jacob Krüger; Yi Li 008; Chenguang Zhu 002; Marsha Chechik; Thorsten Berger; Julia Rubin (ESEC/SIGSOFT FSE, 2023)

Evaluating AIGC Detectors on Code Content. - Jian Wang 067; Shangqing Liu; Xiaofei Xie; Yi Li 008 (CoRR, 2023)

Demystifying Performance Regressions in String Solvers. - Yao Zhang 019; Xiaofei Xie; Yi Li 008; Yun Lin 001; Sen Chen 001; Yang Liu 003; Xiaohong Li 001 (IEEE Trans. Software Eng., 2023)

Client-Specific Upgrade Compatibility Checking via Knowledge-Guided Discovery. - Chenguang Zhu 002; Mengshi Zhang; Xiuheng Wu; Xiufeng Xu; Yi Li 008 (ACM Trans. Softw. Eng. Methodol., 2023)

Ratchet: Retrieval Augmented Transformer for Program Repair. - Jian Wang 067; Shangqing Liu; Xiaofei Xie; Jingkai Siow; Kui Liu; Yi Li 008 (ISSRE, 2024)

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond. - Zhiyang Chen 004; Ye Liu 012; Sidi Mohamed Beillahi; Yi Li 008; Fan Long (ASE, 2024)

An Empirical Study to Evaluate AIGC Detectors on Code Content. - Jian Wang 067; Shangqing Liu; Xiaofei Xie; Yi Li 008 (ASE, 2024)

Automated Invariant Generation for Solidity Smart Contracts. - Ye Liu 012; Chengxuan Zhang; Yi Li 008 (CoRR, 2024)

Demystifying the Characteristics for Smart Contract Upgrades. - Ye Liu 012; Shuo Li; Xiuheng Wu; Yi Li 008; Zhiyang Chen 004; David Lo 001 (CoRR, 2024)

Detecting Multi-Parameter Constraint Inconsistencies in Python Data Science Libraries. - Xiufeng Xu; Fuman Xie; Chenguang Zhu 002; Guangdong Bai; Sarfraz Khurshid; Yi Li 008 (CoRR, 2024)

Demystifying Invariant Effectiveness for Securing Smart Contracts. - Zhiyang Chen 004; Ye Liu 012; Sidi Mohamed Beillahi; Yi Li 008; Fan Long (Proc. ACM Softw. Eng., 2024)

Artifact for ACM CSUR article: "A Meta-Study of Software-Change Intentions". - Jacob Krüger; Yi Li 008; Kirill Lossev; Chenguang Zhu 002; Marsha Chechik; Thorsten Berger; Julia Rubin (Zenodo, 2024)

A Meta-Study of Software-Change Intentions. - Jacob Krüger; Yi Li 008; Kirill Lossev; Chenguang Zhu 002; Marsha Chechik; Thorsten Berger; Julia Rubin (ACM Comput. Surv., 2024)

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models. - Lezhi Ma; Shangqing Liu; Yi Li 008; Xiaofei Xie; Lei Bu (ICSE, 2025)

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation. - Ye Liu 012; Yue Xue; Daoyuan Wu; Yuqiang Sun 001; Yi Li 008; Miaolei Shi; Yang Liu 003 (NDSS, 2025)

VCC-Fed: A Multi-task Federated Learning Paradigm with Versatile Collaborative Clients. - Yue Hua; Yi Li 008; Xin Zheng 008; Ming Yang; Haiyan Fu; Alan Wee-Chung Liew; Yanqing Guo (PAKDD (2), 2025)

Efficient and Diverse De Novo Protein Backbone Design with SE(3)-Equivariant Diffusion. - Ruipeng Zhou; Ming Yang; Yi Li 008; Xin Zheng 008; Alan Wee-Chung Liew; Shirui Pan; Yanqing Guo (PAKDD (3), 2025)

ContractViz: Extending Eclipse Trace Compass for Smart Contract Transaction Analysis. - Xiaolin Liu; Adel Belkhiri; Mónica Jin; Yi Li 008; Cyrille Artho (SANER, 2025)

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction. - Ye Liu 012; Yixuan Liu; Yi Li 008; Cyrille Artho (SANER, 2025)

Characterizing and detecting Python version incompatibilities caused by inconsistent version specifications. - Shuo Li; Haocheng Gao; Wei Chen 018; Yi Li 008; Haoxiang Tian 001; Chengwei Liu; Dan Ye 004 (J. Syst. Softw., 2025)

Fault localization of AI-enabled cyber-physical systems by exploiting temporal neuron activation. - Deyun Lyu; Yi Li 008; Zhenya Zhang; Paolo Arcaini; Xiaoyi Zhang 005; Fuyuki Ishikawa; Jianjun Zhao 001 (J. Syst. Softw., 2025)

Identifying Multi-parameter Constraint Errors in Python Data Science Library API Documentation. - Xiufeng Xu; Fuman Xie; Chenguang Zhu 002; Guangdong Bai; Sarfraz Khurshid; Yi Li 008 (Proc. ACM Softw. Eng., 2025)

DeFiScope: Detecting Various DeFi Price Manipulations with LLM Reasoning. - Juantao Zhong; Daoyuan Wu; Ye Liu 012; Maoyi Xie; Yang Liu 003; Yi Li 008; Ning Liu (CoRR, 2025)

Towards Secure Program Partitioning for Smart Contracts with LLM's In-Context Learning. - Ye Liu 012; Yuqing Niu; Chengyan Ma 001; Ruidong Han; Wei Ma; Yi Li 008; Debin Gao; David Lo 001 (CoRR, 2025)

A Comprehensive Study of Governance Issues in Decentralized Finance Applications. - Wei Ma; Chenguang Zhu 002; Ye Liu 012; Xiaofei Xie; Yi Li 008 (ACM Trans. Softw. Eng. Methodol., 2025)