Episode
08/15/25: An LLM Agent for Functional Bug Detection in Network Protocols with Mingwei Zheng
- Podcast
- Boston Computation Club
- Published
- Aug 15, 2025
- Duration seconds
- 3448
- Processing state
not_requested
Actions
POST https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/08-15-25-an-llm-agent-for-functional-bug-detection-in-network-protocols-with-mingwei-zheng/transcription-requests
Idempotently request low-priority transcript generation for this episode.GET https://stenobird.com/podcast/boston-computation-club-4031660/08-15-25-an-llm-agent-for-functional-bug-detection-in-network-protocols-with-mingwei-zheng.md
Read the agent-friendly Markdown representation of this episode resource.
Summary
Mingwei Zheng a Ph.D. candidate in the Department of Computer Science at Purdue University , advised by Prof. Xiangyu Zhang since 2021. Before that, she received her Bachelor’s degree in Computer Science and Technology from Huazhong University of Science and Technology in 2020. Mingwei's research lies at the intersection of Large Language Models (LLMs) and Software Engineering. She builds LLM agents that combine program analysis with LLMs for deep codebase understanding that improve software correctness, robustness, and trustworthiness. Today Mingwei joined us to discuss some ongoing work which she previously presented at IEEE Security and Privacy LangSec, applying language models to bug detection in protocols with IETF RFCs. This was a great talk with deep, technical content and a good conversation. We hope you enjoy!