FormaliSE 2025
Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025
Yiming Shen

Registered user since Tue 13 Aug 2024

Name:Yiming Shen
Bio:

I am a second-year graduate student at Sun Yat-sen University, under the supervision of Prof. Jiachi Chen and Prof. Yanlin Wang. Currently, I’m working as a Research Assistant at Zhejiang University.

My research centers on identifying and mitigating security issues in emerging software systems, particularly Web3 and LLM ecosystems. Recently, I’ve been interested in the bidirectional coupling between LLMs and program analysis: 1) leveraging LLMs to enhance program analysis [ICSE’26, TSE’25]; 2) employing program analysis techniques to verify the trustworthiness of LLMs [Arxiv‘25, Under Submission’26].

I am seeking Ph.D. opportunities for Fall 2027. Please contact me if you are interested.

Country:China
Affiliation:Sun Yat-sen University
Research interests:Web3, Software Security, Program Analysis

Contributions

Show activities from other conferences

ICSE 2025-profile
View general profile