Yi Li - RankMe

106 papers A* 29A 10B 3C 2Journal 42Unranked 18

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Combating Knowledge Corruption in Agent Systems: A Byzantine-Tolerant Secure Collaborative RAG Framework. WWW Zhaoqi Wang, Daqing He, Zijian Zhang, Ye Liu, Jiamou Liu, Zhirui Zeng, Zhan Qin, Zhen Li, Xin Li, Hongwei Yao, Jincheng An, Yong Liu, Yi Li, Qi Sun, Xiulei Liu, Liehuang Zhu
2025	J	`jnl`	A Comprehensive Study of Governance Issues in Decentralized Finance Applications. ACM Trans. Softw. Eng. Methodol. Wei Ma, Chenguang Zhu, Ye Liu, Xiaofei Xie, Yi Li
2025	J	`jnl`	Automated Invariant Generation for Solidity Smart Contracts. IEEE Trans. Dependable Secur. Comput. Ye Liu, Chengxuan Zhang, Yi Li
2025	J	`jnl`	Characterizing and detecting Python version incompatibilities caused by inconsistent version specifications. J. Syst. Softw. Shuo Li, Haocheng Gao, Wei Chen, Yi Li, Haoxiang Tian, Chengwei Liu, Dan Ye
2025	A	`conf`	ContractViz: Extending Eclipse Trace Compass for Smart Contract Transaction Analysis. SANER Xiaolin Liu, Adel Belkhiri, Mónica Jin, Yi Li, Cyrille Artho
2025	J	`jnl`	DeFiScope: Detecting Various DeFi Price Manipulations with LLM Reasoning. CoRR Juantao Zhong, Daoyuan Wu, Ye Liu, Maoyi Xie, Yang Liu, Yi Li, Ning Liu
2025	A*	`conf`	Defects4C: Benchmarking Large Language Model Repair Capability with C/C++ Bugs. ASE Jian Wang, Xiaofei Xie, Qiang Hu, Shangqing Liu, Jiongchi Yu, Jiaolong Kong, Yi Li
2025	J	`jnl`	Defects4C: Benchmarking Large Language Model Repair Capability with C/C++ Bugs. CoRR Jian Wang, Xiaofei Xie, Qiang Hu, Shangqing Liu, Jiongchi Yu, Jiaolong Kong, Yi Li
2025	A*	`conf`	Detecting Various DeFi Price Manipulations with LLM Reasoning. ASE Juantao Zhong, Daoyuan Wu, Ye Liu, Maoyi Xie, Yang Liu, Yi Li, Ning Liu
2025	—	`conf`	Do Code Semantics Help? A Comprehensive Study on Execution Trace-Based Information for Code Large Language Models. EMNLP (Findings) Jian Wang, Xiaofei Xie, Qiang Hu, Shangqing Liu, Yi Li
2025	J	`jnl`	Do Code Semantics Help? A Comprehensive Study on Execution Trace-Based Information for Code Large Language Models. CoRR Jian Wang, Xiaofei Xie, Qiang Hu, Shangqing Liu, Yi Li
2025	—	`conf`	Efficient and Diverse De Novo Protein Backbone Design with SE(3)-Equivariant Diffusion. PAKDD (3) Ruipeng Zhou, Ming Yang, Yi Li, Xin Zheng, Alan Wee-Chung Liew, Shirui Pan, Yanqing Guo
2025	J	`jnl`	Fault localization of AI-enabled cyber-physical systems by exploiting temporal neuron activation. J. Syst. Softw. Deyun Lyu, Yi Li, Zhenya Zhang, Paolo Arcaini, Xiaoyi Zhang, Fuyuki Ishikawa, Jianjun Zhao
2025	J	`jnl`	Identifying Multi-parameter Constraint Errors in Python Data Science Library API Documentation. Proc. ACM Softw. Eng. Xiufeng Xu, Fuman Xie, Chenguang Zhu, Guangdong Bai, Sarfraz Khurshid, Yi Li
2025	J	`jnl`	IvyCross: A Privacy-Preserving and Concurrency Control Framework for Blockchain Interoperability. IEEE Trans. Mob. Comput. Ming Li, Jian Weng, Jia-Si Weng, Yi Li, Yongdong Wu, Dingcheng Li, Guowen Xu, Robert H. Deng
2025	A*	`conf`	PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation. NDSS Ye Liu, Yue Xue, Daoyuan Wu, Yuqiang Sun, Yi Li, Miaolei Shi, Yang Liu
2025	A*	`conf`	SpecGen: Automated Generation of Formal Program Specifications via Large Language Models. ICSE Lezhi Ma, Shangqing Liu, Yi Li, Xiaofei Xie, Lei Bu
2025	A	`conf`	Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction. SANER Ye Liu, Yixuan Liu, Yi Li, Cyrille Artho
2025	J	`jnl`	Towards Secure Program Partitioning for Smart Contracts with LLM's In-Context Learning. CoRR Ye Liu, Yuqing Niu, Chengyan Ma, Ruidong Han, Wei Ma, Yi Li, Debin Gao, David Lo
2025	—	`conf`	VCC-Fed: A Multi-task Federated Learning Paradigm with Versatile Collaborative Clients. PAKDD (2) Yue Hua, Yi Li, Xin Zheng, Ming Yang, Haiyan Fu, Alan Wee-Chung Liew, Yanqing Guo
2024	J	`jnl`	A Meta-Study of Software-Change Intentions. ACM Comput. Surv. Jacob Krüger, Yi Li, Kirill Lossev, Chenguang Zhu, Marsha Chechik, Thorsten Berger, Julia Rubin
2024	A*	`conf`	An Empirical Study to Evaluate AIGC Detectors on Code Content. ASE Jian Wang, Shangqing Liu, Xiaofei Xie, Yi Li
2024	J	`jnl`	Automated Invariant Generation for Solidity Smart Contracts. CoRR Ye Liu, Chengxuan Zhang, Yi Li
2024	J	`jnl`	Demystifying Invariant Effectiveness for Securing Smart Contracts. CoRR Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long
2024	J	`jnl`	Demystifying Invariant Effectiveness for Securing Smart Contracts. Proc. ACM Softw. Eng. Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long
2024	J	`jnl`	Demystifying the Characteristics for Smart Contract Upgrades. CoRR Ye Liu, Shuo Li, Xiuheng Wu, Yi Li, Zhiyang Chen, David Lo
2024	J	`jnl`	Detecting Multi-Parameter Constraint Inconsistencies in Python Data Science Libraries. CoRR Xiufeng Xu, Fuman Xie, Chenguang Zhu, Guangdong Bai, Sarfraz Khurshid, Yi Li
2024	A*	`conf`	LightCross: Sharding with Lightweight Cross-Shard Execution for Smart Contracts. INFOCOM Xiaodong Qi, Yi Li
2024	A*	`conf`	OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond. ASE Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long
2024	J	`jnl`	OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond. CoRR Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long
2024	J	`jnl`	PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation. CoRR Ye Liu, Yue Xue, Daoyuan Wu, Yuqiang Sun, Yi Li, Miaolei Shi, Yang Liu
2024	A	`conf`	Ratchet: Retrieval Augmented Transformer for Program Repair. ISSRE Jian Wang, Shangqing Liu, Xiaofei Xie, Jingkai Siow, Kui Liu, Yi Li
2024	J	`jnl`	SpecGen: Automated Generation of Formal Program Specifications via Large Language Models. CoRR Lezhi Ma, Shangqing Liu, Yi Li, Xiaofei Xie, Lei Bu
2024	J	`jnl`	Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction. CoRR Ye Liu, Yi Li, Cyrille Artho, Yixuan Liu
2023	J	`jnl`	A Comprehensive Study of Governance Issues in Decentralized Finance Applications. CoRR Wei Ma, Chenguang Zhu, Ye Liu, Xiaofei Xie, Yi Li
2023	—	`conf`	A Vision on Intentions in Software Engineering. ESEC/SIGSOFT FSE Jacob Krüger, Yi Li, Chenguang Zhu, Marsha Chechik, Thorsten Berger, Julia Rubin
2023	J	`jnl`	Client-Specific Upgrade Compatibility Checking via Knowledge-Guided Discovery. ACM Trans. Softw. Eng. Methodol. Chenguang Zhu, Mengshi Zhang, Xiuheng Wu, Xiufeng Xu, Yi Li
2023	J	`jnl`	CompSuite: A Dataset of Java Library Upgrade Incompatibility Issues. CoRR Xiufeng Xu, Chenguang Zhu, Yi Li
2023	A*	`conf`	Compsuite: A Dataset of Java Library Upgrade Incompatibility Issues. ASE Xiufeng Xu, Chenguang Zhu, Yi Li
2023	J	`jnl`	Demystifying Performance Regressions in String Solvers. IEEE Trans. Software Eng. Yao Zhang, Xiaofei Xie, Yi Li, Yun Lin, Sen Chen, Yang Liu, Xiaohong Li
2023	A*	`conf`	EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software. ASE Yao Zhang, Xiaofei Xie, Yi Li, Sen Chen, Cen Zhang, Xiaohong Li
2023	J	`jnl`	EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software. CoRR Yao Zhang, Xiaofei Xie, Yi Li, Sen Chen, Cen Zhang, Xiaohong Li
2023	J	`jnl`	Evaluating AIGC Detectors on Code Content. CoRR Jian Wang, Shangqing Liu, Xiaofei Xie, Yi Li
2023	C	`ed.`	Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings ICFEM Yi Li, Sofiène Tahar
2023	A*	`conf`	Responsibility in Context: On Applicability of Slicing in Semantic Regression Analysis. ICSE Sahar Badihi, Khaled Ahmed, Yi Li, Julia Rubin
2023	—	`ch.`	Semantic History Slicing. Handbook of Re-Engineering Software Intensive Systems into Software Product Lines Yi Li, Julia Rubin, Marsha Chechik
2023	A	`conf`	Smart Contract Parallel Execution with Fine-Grained State Accesses. ICDCS Xiaodong Qi, Jiao Jiao, Yi Li
2022	J	`jnl`	A Survey of Smart Contract Formal Specification and Verification. ACM Comput. Surv. Palina Tolmach, Yi Li, Shangwei Lin, Yang Liu, Zengxiang Li
2022	A	`conf`	Cross-lingual transfer learning for statistical type inference. ISSTA Zhiming Li, Xiaofei Xie, Haoliang Li, Zhengzi Xu, Yi Li, Yang Liu
2022	A	`conf`	Finding permission bugs in smart contracts with role mining. ISSTA Ye Liu, Yi Li, Shang-Wei Lin, Cyrille Artho
2022	A*	`conf`	GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesis. NeurIPS Yushi Cao, Zhiming Li, Tianpei Yang, Hao Zhang, Yan Zheng, Yi Li, Jianye Hao, Yang Liu
2022	J	`jnl`	GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesis. CoRR Yushi Cao, Zhiming Li, Tianpei Yang, Hao Zhang, Yan Zheng, Yi Li, Jianye Hao, Yang Liu
2022	A*	`conf`	Identifying Solidity Smart Contract API Documentation Errors. ASE Chenguang Zhu, Ye Liu, Xiuheng Wu, Yi Li
2022	A*	`conf`	InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts. ASE Ye Liu, Yi Li
2022	—	`conf`	Large-scale analysis of non-termination bugs in real-world OSS projects. ESEC/SIGSOFT FSE Xiuhan Shi, Xiaofei Xie, Yi Li, Yao Zhang, Sen Chen, Xiaohong Li
2022	J	`jnl`	Oracle-Supported Dynamic Exploit Generation for Smart Contracts. IEEE Trans. Dependable Secur. Comput. Haijun Wang, Ye Liu, Yi Li, Shangwei Lin, Cyrille Artho, Lei Ma, Yang Liu
2022	A*	`conf`	Property-Based Automated Repair of DeFi Protocols. ASE Palina Tolmach, Yi Li, Shang-Wei Lin
2022	—	`conf`	SolSEE: a source-level symbolic execution engine for solidity. ESEC/SIGSOFT FSE Shang-Wei Lin, Palina Tolmach, Ye Liu, Yi Li
2022	A*	`conf`	Towards Understanding Third-party Library Dependency in C/C++ Ecosystem. ASE Wei Tang, Zhengzi Xu, Chengwei Liu, Jiahui Wu, Shouguo Yang, Yi Li, Ping Luo, Yang Liu
2022	J	`jnl`	Towards Understanding Third-party Library Dependency in C/C++ Ecosystem. CoRR Wei Tang, Zhengzi Xu, Chengwei Liu, Jiahui Wu, Shouguo Yang, Yi Li, Ping Luo, Yang Liu
2022	J	`jnl`	Unveiling Project-Specific Bias in Neural Code Models. CoRR Zhiming Li, Yanzhou Li, Tianlin Li, Mengnan Du, Bozhi Wu, Yushi Cao, Xiaofei Xie, Yi Li, Yang Liu
2021	J	`jnl`	Cross-Lingual Adaptation for Type Inference. CoRR Zhiming Li, Xiaofei Xie, Haoliang Li, Zhengzi Xu, Yi Li, Yang Liu
2021	—	`conf`	DIFFBASE: a differential factbase for effective software evolution management. ESEC/SIGSOFT FSE Xiuheng Wu, Chenguang Zhu, Yi Li
2021	A	`conf`	EqBench: A Dataset of Equivalent and Non-equivalent Program Pairs. MSR Sahar Badihi, Yi Li, Julia Rubin
2021	A*	`conf`	EvoMe: A Software Evolution Management Engine Based on Differential Factbase. ASE Xiuheng Wu, Mengyang Li, Yi Li
2021	—	`conf`	Formal Analysis of Composable DeFi Protocols. Financial Cryptography Workshops Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu
2021	J	`jnl`	Formal Analysis of Composable DeFi Protocols. CoRR Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu
2021	J	`jnl`	IvyCross: A Trustworthy and Privacy-preserving Framework for Blockchain Interoperability. IACR Cryptol. ePrint Arch. Ming Li, Jian Weng, Yi Li, Yongdong Wu, Jiasi Weng, Dingcheng Li, Robert H. Deng
2020	B	`ed.`	25th International Conference on Engineering of Complex Computer Systems, ICECCS 2020, Singapore, October 28-31, 2020 ICECCS Yi Li, Alan Wee-Chung Liew
2020	J	`jnl`	A Survey of Smart Contract Formal Specification and Verification. CoRR Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu, Zengxiang Li
2020	—	`conf`	ARDiff: scaling program equivalence checking via iterative abstraction and refinement of common code. ESEC/SIGSOFT FSE Sahar Badihi, Faridah Akinotcho, Yi Li, Julia Rubin
2020	A*	`conf`	Audee: Automated Testing for Deep Learning Frameworks. ASE Qianyu Guo, Xiaofei Xie, Yi Li, Xiaoyu Zhang, Yang Liu, Xiaohong Li, Chao Shen
2020	A	`conf`	GenSlice: Generalized Semantic History Slicing. ICSME Chenguang Zhu, Yi Li, Julia Rubin, Marsha Chechik
2020	—	`conf`	Large-scale patch recommendation at Alibaba. ICSE (Companion Volume) Xindong Zhang, Chenguang Zhu, Yi Li, Jianmei Guo, Lihua Liu, Haobo Gu
2020	A*	`conf`	Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems. ASE Xiaoning Du, Yi Li, Xiaofei Xie, Lei Ma, Yang Liu, Jianjun Zhao
2020	—	`conf`	ModCon: a model-based testing platform for smart contracts. ESEC/SIGSOFT FSE Ye Liu, Yi Li, Shang-Wei Lin, Qiang Yan
2020	—	`conf`	Precfix: large-scale patch recommendation by mining defect-patch pairs. ICSE (SEIP) Xindong Zhang, Chenguang Zhu, Yi Li, Jianmei Guo, Lihua Liu, Haobo Gu
2020	—	`conf`	Towards automated verification of smart contract fairness. ESEC/SIGSOFT FSE Ye Liu, Yi Li, Shang-Wei Lin, Rong Zhao
2020	A*	`conf`	Typestate-guided fuzzer for discovering use-after-free vulnerabilities. ICSE Haijun Wang, Xiaofei Xie, Yi Li, Cheng Wen, Yuekang Li, Yang Liu, Shengchao Qin, Hongxu Chen, Yulei Sui
2019	A*	`conf`	A Quantitative Analysis Framework for Recurrent Neural Network. ASE Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao
2019	A*	`conf`	Coverage-Guided Fuzzing for Feedforward Neural Networks. ASE Xiaofei Xie, Hongxu Chen, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao
2019	J	`jnl`	Deep trajectory: a deep learning approach for mobile advertising in vehicular networks. Neural Comput. Appl. Xin Li, Liang Yang, Yi Li, Chuan Zhou
2019	—	`conf`	DeepStellar: model-based quantitative analysis of stateful deep learning systems. ESEC/SIGSOFT FSE Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, Jianjun Zhao
2019	J	`jnl`	Doublade: Unknown Vulnerability Detection in Smart Contracts Via Abstract Signature Matching and Refined Detection Rules. CoRR Yinxing Xue, Jiaming Ye, Mingliang Ma, Lei Ma, Yi Li, Haijun Wang, Yun Lin, Tianyong Peng, Yang Liu
2019	J	`jnl`	Oracle-Supported Dynamic Exploit Generation for Smart Contracts. CoRR Haijun Wang, Yi Li, Shang-Wei Lin, Cyrille Artho, Lei Ma, Yang Liu
2019	J	`jnl`	Precise semantic history slicing through dynamic delta refinement. Autom. Softw. Eng. Yi Li, Chenguang Zhu, Milos Gligoric, Julia Rubin, Marsha Chechik
2019	—	`conf`	Vultron: catching vulnerable smart contracts once and for all. ICSE (NIER) Haijun Wang, Yi Li, Shang-Wei Lin, Lei Ma, Yang Liu
2018	—	`conf`	CSlicerCloud: a web-based semantic history slicing framework. ICSE (Companion Volume) Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik
2018	A*	`conf`	Client-specific equivalence checking. ASE Federico Mora, Yi Li, Julia Rubin, Marsha Chechik
2018	J	`jnl`	DeepCruiser: Automated Guided Testing for Stateful Deep Learning Systems. CoRR Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Jianjun Zhao, Yang Liu
2018	—	`—`	Managing Software Evolution Through Semantic History Slicing. Yi Li
2018	J	`jnl`	Semantic Slicing of Software Version Histories. IEEE Trans. Software Eng. Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik
2017	A	`conf`	A dataset for dynamic discovery of semantic changes in version controlled software histories. MSR Chenguang Zhu, Yi Li, Julia Rubin, Marsha Chechik
2017	—	`conf`	FHistorian: Locating Features in Version Histories. SPLC (A) Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik
2017	A*	`conf`	Managing software evolution through semantic history slicing. ASE Yi Li
2016	A*	`conf`	Precise semantic history slicing through dynamic delta refinement. ASE Yi Li, Chenguang Zhu, Julia Rubin, Marsha Chechik
2016	A*	`conf`	Using Metric Temporal Logic to Specify Scheduling Problems. KR Roy Luo, Richard Anthony Valenzano, Yi Li, J. Christopher Beck, Sheila A. McIlraith
2015	—	`conf`	Angelic Verification: Precise Verification Modulo Unknowns. CAV (1) Ankush Das, Shuvendu K. Lahiri, Akash Lal, Yi Li
2015	A*	`conf`	Semantic Slicing of Software Version Histories (T). ASE Yi Li, Julia Rubin, Marsha Chechik
2014	B	`conf`	Management of Time Requirements in Component-Based Systems. FM Yi Li, Tian Huat Tan, Marsha Chechik
2014	J	`jnl`	Model checking approach to automated planning. Formal Methods Syst. Des. Yi Li, Jin Song Dong, Jing Sun, Yang Liu, Jun Sun
2014	A*	`conf`	Symbolic optimization with SMT solvers. POPL Yi Li, Aws Albarghouthi, Zachary Kincaid, Arie Gurfinkel, Marsha Chechik
2013	A	`conf`	UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution). TACAS Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki, Marsha Chechik
2012	C	`conf`	Planning as Model Checking Tasks. SEW Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun
2012	B	`conf`	Translating PDDL into CSP# - The PAT Approach. ICECCS Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun
2012	A*	`conf`	Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification. CAV Aws Albarghouthi, Yi Li, Arie Gurfinkel, Marsha Chechik