Advances in Garbled Circuits
Oct 27, 2025 - 48:12
Radio and PodcastLive Radio & PodcastsEducation
Strachey Lecture: Bidirectional Computation is Effectful
A reconstruction (slides and voiceover) of a talk given at the Summit on Advances in Programming Languages (snapl.org/2015) in May 2015. Bidirectional transformations inherently involve state effects. Modelling them that...
Related Episodes
Continue listening to more episodes from Computer Science.
Will Computers prove theorems?
May 15, 2025 - 46:25
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
May 15, 2025 - 47:14
Privacy, Verification, Robustness: A Cryptographer's perspective on ML
Mar 11, 2025 - 64:18
From probabilistic bisimulation to representation learning via metrics
Dec 2, 2024 - 55:03
Strachey Lecture: The Computer in the Sky
May 16, 2024 - 62:09
Strachey Lecture: How Can Algorithms Help to Protect our Privacy
Nov 13, 2023 - 54:48