#37 Compilers, Staging, Futamura Projections
March 11th 2024
Guannan Wei
#36 Behind the Person Behind this Podcast
Dec 26th 2023
Pedro Abreu
#35 Teika, Self-Education and F***ing Floating Points
Dec 04th 2023
Eduardo Rafael
#34 Foundations of Theorem Provers and Cedille2
Oct 16th 2023
Andrew Marmaduke
#33 Z3 and Lean, the Spiritual Journey
Sep 9th 2023
Leo de Moura
#32 TyDe Systems
July 22th 2023
Jan de Muijnck-Hughes
#31 Discussing Problems in PL and Academia
July 13th 2023
Jan de Muijnck-Hughes
#30 Actors, GADTs and Burnout
May 30th 2023
Dan and Pedro
#29 Can PL theory make you a better software engineer?
April 9th 2023
Jimmy Koppel
#28 Formally Verifying Smart Contracts
February 15th 2023
Pruvendo
#27 Formalizing an OS: The seL4
February 4th 2023
Gerwin Klein
#26 Mechanizing Modern Mathematics
January 16th 2023
Kevin Buzzard
#25 Formally Verifying the Tezos Codebase
November 21st 2022
Formal Land
#24 The History of Isabelle
October 6th 2022
Lawrence Paulson
#23 What is the SIGPLAN?
September 23th 2022
Jens Palsberg and Jonathan Aldrich
In this episode we talk about Sigplan, the organization behind the most important conferences and proceedings in our field. What is the SIGPLAN? What exactly does it do? How is it organized? How are things published? To answer these and many other questions we talk with Jens Palsberg, a professor at UCLA, who is the past chair of the SIGPLAN. And also Jonathan Aldrich, a professor at the CMU, who is a member of the ACM publication board.
Links
- Jen’s Website
- Jonathan’s Website
- Jonathan’s Twitter
- Sigplan Blog
- Post on Hybrid Conferences
- SIGPlAN-M Mentoring Program
Tweet