Registered user since Tue 13 Aug 2024
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.
E-mail: shenyiming [AT] zju.edu.cn
Contributions