#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
In this episode we have over Dan Plyukhin, a PhD Candidate from the University of Illinois Urbana-Champaign.
We talk about Dan’s research is in the field of parallelism, more specifically garbage collection in the presence of actors.
Then we also talk about Pedro’s research on translating GADTs from OCaml to Coq, and the burnout process that lead him to take 10 months off from his PhD to be with his family back in Brazil.
Links
Download .mp3 (99.1M)Tweet