# 08/15/25: An LLM Agent for Functional Bug Detection in Network Protocols with Mingwei Zheng

Page: https://stenobird.com/podcast/boston-computation-club-4031660/08-15-25-an-llm-agent-for-functional-bug-detection-in-network-protocols-with-mingwei-zheng
Text version: 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
Podcast: [Boston Computation Club](https://stenobird.com/podcast/boston-computation-club-4031660)
Published: 2025-08-15T22:28:39+00:00
Episode link: https://podcasters.spotify.com/pod/show/bostoncc/episodes/081525-An-LLM-Agent-for-Functional-Bug-Detection-in-Network-Protocols-with-Mingwei-Zheng-e36tifk
Audio file: https://anchor.fm/s/5eee01ac/podcast/play/106923956/https%3A%2F%2Fd3ctxlq1ktw2nl.cloudfront.net%2Fstaging%2F2025-7-15%2Fa05a8458-c55c-2713-9b94-0479d097aafd.m4a
Processing state: not_requested
JSON: 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
Duration seconds: 3448

## Resource

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!

## Actions

- request_transcript: `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.
- read_markdown: `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.

A page view does not enqueue transcription. Agents should invoke `request_transcript` explicitly when they need this episode processed.

## Transcript

Full transcripts are not published on public pages unless there is a clear rights basis.