Episode

06/13/25: Gradual Verification with Jenna DiVincenzo

Podcast: Boston Computation Club
Published: Jun 14, 2025
Duration seconds: 3544
Processing state: not_requested
Canonical source: https://podcasters.spotify.com/pod/show/bostoncc/episodes/061325-Gradual-Verification-with-Jenna-DiVincenzo-e3488ed
Audio: https://anchor.fm/s/5eee01ac/podcast/play/104128397/https%3A%2F%2Fd3ctxlq1ktw2nl.cloudfront.net%2Fstaging%2F2025-5-14%2F402159954-44100-2-f00954fe130bb.mp3
JSON: /v1/public/podcasts/boston-computation-club-4031660/episodes/06-13-25-gradual-verification-with-jenna-divincenzo
Markdown: /podcast/boston-computation-club-4031660/06-13-25-gradual-verification-with-jenna-divincenzo.md

Actions

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.
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.

Summary

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!