# 06/13/25: Gradual Verification with Jenna DiVincenzo Page: https://stenobird.com/podcast/boston-computation-club-4031660/06-13-25-gradual-verification-with-jenna-divincenzo Text version: https://stenobird.com/podcast/boston-computation-club-4031660/06-13-25-gradual-verification-with-jenna-divincenzo.md Podcast: [Boston Computation Club](https://stenobird.com/podcast/boston-computation-club-4031660) Published: 2025-06-14T16:47:01+00:00 Episode link: https://podcasters.spotify.com/pod/show/bostoncc/episodes/061325-Gradual-Verification-with-Jenna-DiVincenzo-e3488ed Audio file: https://anchor.fm/s/5eee01ac/podcast/play/104128397/https%3A%2F%2Fd3ctxlq1ktw2nl.cloudfront.net%2Fstaging%2F2025-5-14%2F402159954-44100-2-f00954fe130bb.mp3 Processing state: not_requested JSON: https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/06-13-25-gradual-verification-with-jenna-divincenzo Duration seconds: 3544 ## Resource Jenna DiVincenzo is an Assistant Professor in the Elmore Family School of Electrical and Computer Engineering @ Purdue University. She is broadly interested in research spanning software verification, programming languages, and software engineering, especially research aimed at making verification techniques and programming languages more usable and scalable. Today Jenna joined us to talk about her broad research program in gradual verification . This was a really interesting talk with great Q&A and we hope you enjoy it as much as we did! ## Actions - request_transcript: `POST https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/06-13-25-gradual-verification-with-jenna-divincenzo/transcription-requests` — Idempotently request low-priority transcript generation for this episode. - read_markdown: `GET https://stenobird.com/podcast/boston-computation-club-4031660/06-13-25-gradual-verification-with-jenna-divincenzo.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.