Home
Categories
EXPLORE
Society & Culture
True Crime
Comedy
History
News
Science
Education
About Us
Contact Us
Copyright
© 2024 PodJoint
Loading...
0:00 / 0:00
Podjoint Logo
CH
Sign in

or

Don't have an account?
Sign up
Forgot password
https://is1-ssl.mzstatic.com/image/thumb/Podcasts115/v4/cf/9a/67/cf9a6714-ef27-5b8d-00cc-9a763f8514e4/mza_9730727821826935918.jpg/600x600bb.jpg
Boston Computation Club
Max von Hippel
77 episodes
1 day ago
The Boston Computation Club is a small seminar group focused on mathematical computer science, and computational mathematics. Its name is plagiarized from the London Computation Club. Boston Computation Club meetings occur roughly every other week, on weekends, around 5pm EDT (modulo speaker availability). The usual format is a 20m presentation followed by 40m of discussion. Some, but not all, meetings are posted on YouTube and in podcast form.
Show more...
Mathematics
Science
RSS
All content for Boston Computation Club is the property of Max von Hippel and is served directly from their servers with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.
The Boston Computation Club is a small seminar group focused on mathematical computer science, and computational mathematics. Its name is plagiarized from the London Computation Club. Boston Computation Club meetings occur roughly every other week, on weekends, around 5pm EDT (modulo speaker availability). The usual format is a 20m presentation followed by 40m of discussion. Some, but not all, meetings are posted on YouTube and in podcast form.
Show more...
Mathematics
Science
https://d3t3ozftmdmh3i.cloudfront.net/production/podcast_uploaded_nologo/15826563/15826563-1623263635731-99a8ec66007e4.jpg
08/15/25: An LLM Agent for Functional Bug Detection in Network Protocols with Mingwei Zheng
Boston Computation Club
57 minutes 28 seconds
3 days ago
08/15/25: An LLM Agent for Functional Bug Detection in Network Protocols with Mingwei Zheng

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!

Boston Computation Club
The Boston Computation Club is a small seminar group focused on mathematical computer science, and computational mathematics. Its name is plagiarized from the London Computation Club. Boston Computation Club meetings occur roughly every other week, on weekends, around 5pm EDT (modulo speaker availability). The usual format is a 20m presentation followed by 40m of discussion. Some, but not all, meetings are posted on YouTube and in podcast form.