Media Summary: The Ethical Compiler: Addressing the Is-Ought Gap in Compilation (Invited Talk) (Video, Avi Wigderson is the only person in history to have won both a Turing Award (computer science) and Abel Prize (math). Please take our survey: Dennis Burnham will teaches us about FileMaker and the ClickSend ...
Pepm 25 Typed Program Analysis - Detailed Analysis & Overview
The Ethical Compiler: Addressing the Is-Ought Gap in Compilation (Invited Talk) (Video, Avi Wigderson is the only person in history to have won both a Turing Award (computer science) and Abel Prize (math). Please take our survey: Dennis Burnham will teaches us about FileMaker and the ClickSend ... Consider donating to this Channel! Buy a Super Thanks! Click on any video, at the bottom right corner of each video is a heart with ...
![[PEPM'25] Typed Program Analysis Without Encodings](https://i.ytimg.com/vi/aer5fH-OxeE/mqdefault.jpg)
![[PEPM'25] A Type-Theoretic Framework for Certified Meta-programming (Invited Talk Extended Abstract)](https://i.ytimg.com/vi/80HxX-rvFcM/mqdefault.jpg)
![[PEPM'25] Type-Sensitive Algebraic Macros (Short Paper)](https://i.ytimg.com/vi/-1zLEj93K4A/mqdefault.jpg)
![[PEPM 2021] A Type-Safe Structure Editor Calculus + Strictly Capturing Non-Strict Closures](https://i.ytimg.com/vi/VJZcAtvGOyE/mqdefault.jpg)
![[PEPM'25] The Ethical Compiler: Addressing the Is-Ought Gap in Compilation (Invited Talk)](https://i.ytimg.com/vi/72w9c2fFxW8/mqdefault.jpg)
![[POPL'25] A Dependent Type Theory for Meta-programming with Intensional Analysis](https://i.ytimg.com/vi/63QOfoxPahY/mqdefault.jpg)
![[PEPM 2021] A Functional Abstraction of Typed Trails + A Text-based Syntax Completion Method](https://i.ytimg.com/vi/fvWxWyV05v4/mqdefault.jpg)
