{"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":"07/25/25: RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types with Michael Sammler","slug":"07-25-25-refinedc-automating-the-foundational-verification-of-c-code-with-refined-ownership-types-with-michael-sammler","published_at":"2025-07-25T16:29:49+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/07-25-25-refinedc-automating-the-foundational-verification-of-c-code-with-refined-ownership-types-with-michael-sammler","show_page_url":"https://stenobird.com/podcast/boston-computation-club-4031660","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/072525-RefinedC-Automating-the-Foundational-Verification-of-C-Code-with-Refined-Ownership-Types-with-Michael-Sammler-e360vsb","audio_url":"https://anchor.fm/s/5eee01ac/podcast/play/105987403/https%3A%2F%2Fd3ctxlq1ktw2nl.cloudfront.net%2Fstaging%2F2025-6-25%2Fc59495f0-5032-8b1f-6cab-dc7c16c44a91.m4a","summary":"Michael Sammler n assistant professor leading the Programming Languages and Verification Group at the Institute of Science and Technology Austria (ISTA) . Today he joined us to talk about his three primary projects: RefinedC , which uses a refinement and ownership type system to verify C code, Islaris , which shows how to scale verification of assembly code to realistic models of real-world architectures, and DimSum , which provides a decentralized approach for reasoning about multi-language programs (with a particular focus on RefinedC). We had a small but really dedicated crowd which facilitated an excellent discussion. This was a really fun one and we hope you enjoy it as much as we did!","meta_description":"Michael Sammler n assistant professor leading the Programming Languages and Verification Group at the Institute of Science and Technology Austria (ISTA) .…","key_points":[],"chapters":[],"topics":[],"duration_seconds":3120,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/07-25-25-refinedc-automating-the-foundational-verification-of-c-code-with-refined-ownership-types-with-michael-sammler/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/07-25-25-refinedc-automating-the-foundational-verification-of-c-code-with-refined-ownership-types-with-michael-sammler.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]}}