Tianyu Chen

Researcher

Publications

View by:

- Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
  
  Nongyu Di, Tianyu Chen, Shan Lu, Shuai Lu, Yeyun Gong, Peng Cheng, Jay Lorch, Yuan Yao, Xiaoxing Ma
  
  February 2026
  
  Publication Project
- Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories
  
  Tianyu Chen, Zeyu Wang, Lin Li, Ding Li, Zongyang Li, Xiaoning Chang, Pan Bian, Guangtai Liang, Qianxiang Wang, Tao Xie
  
  ECOOP 2025 | June 2025
  
  DOI Publication
- Identifying Affected Third-Party Java Libraries from Textual Descriptions of Vulnerabilities and Libraries
  
  Tianyu Chen, Lin Li, Bingjie Shan, Guangtai Liang, Ding Li, Qianxiang Wang, Tao Xie
  
  TOSEM 2025 | February 2025, Vol 34: pp. 1-27
  
  DOI Publication
- Automated Proof Generation for Rust Code via Self-Evolution
  
  Tianyu Chen, Shuai Lu, Shan Lu, Yeyun Gong, Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Hao Yu, Nan Duan, Peng Cheng, Fan Yang, Shuvendu Lahiri, Tao Xie, Lidong Zhou
  
  ICLR 2025 | October 2024
  
  Publication Project
- VulLibGen: Generating Names of Vulnerability-Affected Packages via a Large Language Model
  
  Tianyu Chen, Lin Li, Liuchuan Zhu, Zongyang Li, Xueqing Liu, Guangtai Liang, Qianxiang Wang, Tao Xie
  
  ACL 2024 | August 2024
  
  DOI Publication Publication Publication

- Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
  
  Nongyu Di, Tianyu Chen, Shan Lu, Shuai Lu, Yeyun Gong, Peng Cheng, Jay Lorch, Yuan Yao, Xiaoxing Ma
  
  February 2026
  
  Publication Project
- Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories
  
  Tianyu Chen, Zeyu Wang, Lin Li, Ding Li, Zongyang Li, Xiaoning Chang, Pan Bian, Guangtai Liang, Qianxiang Wang, Tao Xie
  
  ECOOP 2025 | June 2025
  
  DOI Publication
- Identifying Affected Third-Party Java Libraries from Textual Descriptions of Vulnerabilities and Libraries
  
  Tianyu Chen, Lin Li, Bingjie Shan, Guangtai Liang, Ding Li, Qianxiang Wang, Tao Xie
  
  TOSEM 2025 | February 2025, Vol 34: pp. 1-27
  
  DOI Publication
- Automated Proof Generation for Rust Code via Self-Evolution
  
  Tianyu Chen, Shuai Lu, Shan Lu, Yeyun Gong, Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Hao Yu, Nan Duan, Peng Cheng, Fan Yang, Shuvendu Lahiri, Tao Xie, Lidong Zhou
  
  ICLR 2025 | October 2024
  
  Publication Project
- VulLibGen: Generating Names of Vulnerability-Affected Packages via a Large Language Model
  
  Tianyu Chen, Lin Li, Liuchuan Zhu, Zongyang Li, Xueqing Liu, Guangtai Liang, Qianxiang Wang, Tao Xie
  
  ACL 2024 | August 2024
  
  DOI Publication Publication Publication
- Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
  
  Nongyu Di, Tianyu Chen, Shan Lu, Shuai Lu, Yeyun Gong, Peng Cheng, Jay Lorch, Yuan Yao, Xiaoxing Ma
  
  February 2026
  
  Publication Project
- Automated Proof Generation for Rust Code via Self-Evolution
  
  Tianyu Chen, Shuai Lu, Shan Lu, Yeyun Gong, Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Hao Yu, Nan Duan, Peng Cheng, Fan Yang, Shuvendu Lahiri, Tao Xie, Lidong Zhou
  
  ICLR 2025 | October 2024
  
  Publication Project
- Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
  
  Nongyu Di, Tianyu Chen, Shan Lu, Shuai Lu, Yeyun Gong, Peng Cheng, Jay Lorch, Yuan Yao, Xiaoxing Ma
  
  February 2026
  
  Publication Project
- Automated Proof Generation for Rust Code via Self-Evolution
  
  Tianyu Chen, Shuai Lu, Shan Lu, Yeyun Gong, Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Hao Yu, Nan Duan, Peng Cheng, Fan Yang, Shuvendu Lahiri, Tao Xie, Lidong Zhou
  
  ICLR 2025 | October 2024
  
  Publication Project
- Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories
  
  Tianyu Chen, Zeyu Wang, Lin Li, Ding Li, Zongyang Li, Xiaoning Chang, Pan Bian, Guangtai Liang, Qianxiang Wang, Tao Xie
  
  ECOOP 2025 | June 2025
  
  DOI Publication
- Identifying Affected Third-Party Java Libraries from Textual Descriptions of Vulnerabilities and Libraries
  
  Tianyu Chen, Lin Li, Bingjie Shan, Guangtai Liang, Ding Li, Qianxiang Wang, Tao Xie
  
  TOSEM 2025 | February 2025, Vol 34: pp. 1-27
  
  DOI Publication
- VulLibGen: Generating Names of Vulnerability-Affected Packages via a Large Language Model
  
  Tianyu Chen, Lin Li, Liuchuan Zhu, Zongyang Li, Xueqing Liu, Guangtai Liang, Qianxiang Wang, Tao Xie
  
  ACL 2024 | August 2024
  
  DOI Publication Publication Publication

- Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
  
  Nongyu Di, Tianyu Chen, Shan Lu, Shuai Lu, Yeyun Gong, Peng Cheng, Jay Lorch, Yuan Yao, Xiaoxing Ma
  
  February 2026
  
  Publication Project
- Identifying Affected Third-Party Java Libraries from Textual Descriptions of Vulnerabilities and Libraries
  
  Tianyu Chen, Lin Li, Bingjie Shan, Guangtai Liang, Ding Li, Qianxiang Wang, Tao Xie
  
  TOSEM 2025 | February 2025, Vol 34: pp. 1-27
  
  DOI Publication
- Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories
  
  Tianyu Chen, Zeyu Wang, Lin Li, Ding Li, Zongyang Li, Xiaoning Chang, Pan Bian, Guangtai Liang, Qianxiang Wang, Tao Xie
  
  ECOOP 2025 | June 2025
  
  DOI Publication
- Automated Proof Generation for Rust Code via Self-Evolution
  
  Tianyu Chen, Shuai Lu, Shan Lu, Yeyun Gong, Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Hao Yu, Nan Duan, Peng Cheng, Fan Yang, Shuvendu Lahiri, Tao Xie, Lidong Zhou
  
  ICLR 2025 | October 2024
  
  Publication Project
- VulLibGen: Generating Names of Vulnerability-Affected Packages via a Large Language Model
  
  Tianyu Chen, Lin Li, Liuchuan Zhu, Zongyang Li, Xueqing Liu, Guangtai Liang, Qianxiang Wang, Tao Xie
  
  ACL 2024 | August 2024
  
  DOI Publication Publication Publication

Tianyu Chen

Publications

Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set

Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories

Identifying Affected Third-Party Java Libraries from Textual Descriptions of Vulnerabilities and Libraries

Automated Proof Generation for Rust Code via Self-Evolution

VulLibGen: Generating Names of Vulnerability-Affected Packages via a Large Language Model

Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set

Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories

Identifying Affected Third-Party Java Libraries from Textual Descriptions of Vulnerabilities and Libraries

Automated Proof Generation for Rust Code via Self-Evolution

VulLibGen: Generating Names of Vulnerability-Affected Packages via a Large Language Model

Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set

Automated Proof Generation for Rust Code via Self-Evolution

Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set

Automated Proof Generation for Rust Code via Self-Evolution

Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories

Identifying Affected Third-Party Java Libraries from Textual Descriptions of Vulnerabilities and Libraries

VulLibGen: Generating Names of Vulnerability-Affected Packages via a Large Language Model

Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set

Identifying Affected Third-Party Java Libraries from Textual Descriptions of Vulnerabilities and Libraries

Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories

Automated Proof Generation for Rust Code via Self-Evolution

VulLibGen: Generating Names of Vulnerability-Affected Packages via a Large Language Model

Contact Tianyu Chen

Microsoft Research Lab – Asia