#30 Actors, GADTs and Burnout - Dan and Pedro

Update: 2023-05-30

Description

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

Dan's Personal Website

Twitter: @dplyukhn

Comments

Top Podcasts

The Best New Comedy Podcast Right Now – June 2024 The Best News Podcast Right Now – June 2024 The Best New Business Podcast Right Now – June 2024 The Best New Sports Podcast Right Now – June 2024 The Best New True Crime Podcast Right Now – June 2024 The Best New Joe Rogan Experience Podcast Right Now – June 20 The Best New Dan Bongino Show Podcast Right Now – June 20 The Best New Mark Levin Podcast – June 2024

In Channel

#44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro

2024-11-0602:13:31

#43 PL in the Industry and Summer Schools - Patrick and Eric

2024-09-1301:01:30

#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi

2024-08-2901:52:49

#41 The Value of PL (and) Education - Satnam Singh

2024-08-1501:41:04

#40 Secure Voting - Joe Kiniry

2024-07-1501:08:54

#39 Equality, Quotation, Bidirectional Type Checking - David Christiansen

2024-06-1301:49:42

#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen

2024-05-1601:55:58

#37 Compilers, Staging, Futamura Projections - Guannan Wei

2024-03-1101:53:20

#36 Behind the Person Behind this Podcast - Pedro Abreu

2023-12-2601:49:55

#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael

2023-12-0401:21:29

#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke

2023-10-1601:28:27

#33 Z3 and Lean, the Spiritual Journey - Leo de Moura

2023-09-0902:05:07

#32 TyDe Systems - Jan de Muijnck-Hughes

2023-07-2201:41:23

#31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes

2023-07-1302:09:59

#30 Actors, GADTs and Burnout - Dan and Pedro

2023-05-3001:44:52

#29 Can PL theory make you a better software engineer? - Jimmy Koppel

2023-04-0901:24:19

#28 Formally Verifying Smart Contracts - Pruvendo

2023-02-1501:10:40

#27 Formalizing an OS: The seL4 - Gerwin Klein

2023-02-0401:58:40

#26 Mechanizing Modern Mathematics - Kevin Buzzard

2023-01-1602:15:31

#25 Formally Verifying the Tezos Codebase - Formal Land

2022-11-2101:01:32

00:00

#30 Actors, GADTs and Burnout - Dan and Pedro

#box-pro-ellipsis-173175724008527{-webkit-line-clamp:2;}#30 Actors, GADTs and Burnout - Dan and Pedro

Links

#30 Actors, GADTs and Burnout - Dan and Pedro

Pedro Abreu

#30 Actors, GADTs and Burnout - Dan and Pedro