{"podcast":{"title":"Boston Computation Club","slug":"boston-computation-club-4031660","podcast_index_feed_id":4031660,"rss_url":"https://anchor.fm/s/5eee01ac/podcast/rss","website_url":"https://podcasters.spotify.com/pod/show/bostoncc","image_url":"https://d3t3ozftmdmh3i.cloudfront.net/production/podcast_uploaded_nologo/15826563/15826563-1623263635731-99a8ec66007e4.jpg","author":"Max von Hippel","episode_count":89,"summary":"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.","last_synced_at":"2026-09-08T12:21:35.234206+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660"},"episode":{"title":"06/13/25: Gradual Verification with Jenna DiVincenzo","slug":"06-13-25-gradual-verification-with-jenna-divincenzo","published_at":"2025-06-14T16:47:01+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/06-13-25-gradual-verification-with-jenna-divincenzo","show_page_url":"https://stenobird.com/podcast/boston-computation-club-4031660","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/061325-Gradual-Verification-with-Jenna-DiVincenzo-e3488ed","audio_url":"https://anchor.fm/s/5eee01ac/podcast/play/104128397/https%3A%2F%2Fd3ctxlq1ktw2nl.cloudfront.net%2Fstaging%2F2025-5-14%2F402159954-44100-2-f00954fe130bb.mp3","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!","meta_description":"Jenna DiVincenzo is an Assistant Professor in the Elmore Family School of Electrical and Computer Engineering @ Purdue University. She is broadly interest…","key_points":[],"chapters":[],"topics":[],"duration_seconds":3544,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/06-13-25-gradual-verification-with-jenna-divincenzo/transcription-requests","description":"Idempotently request low-priority transcript generation for this episode."},{"name":"read_markdown","method":"GET","url":"https://stenobird.com/podcast/boston-computation-club-4031660/06-13-25-gradual-verification-with-jenna-divincenzo.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]}}