Type Theory Forall

#37 Compilers, Staging, Futamura Projections - Guannan Wei


Listen Later

In this episode we talk with Guannan Wei, from Purdue University. Guannan

finished his PhD last year under Tiark Rompf, and is currently doing his
Post-Doc with Tiark. Guannan has worked on a plethora of different
compilers topics, and in this conversation we will talk about Staging,
Futamura Projections, Symbolic Execution, Compiler Applications in Smart
Contracts and Quantum Programming. Towards the end of the episode we also
talk about his application experiences for the position of a Professorship in
the US an a few other contries.

If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.com/typetheoryforall

Links
  • Guannan's Website
  • @guannanwei on X
  • ...more
    View all episodesView all episodes
    Download on the App Store

    Type Theory ForallBy Pedro Abreu

    • 4.8
    • 4.8
    • 4.8
    • 4.8
    • 4.8

    4.8

    13 ratings


    More shows like Type Theory Forall

    View all
    Marketplace by Marketplace

    Marketplace

    8,794 Listeners

    The Knowledge Project by Shane Parrish

    The Knowledge Project

    2,697 Listeners

    The Changelog: Software Development, Open Source by Changelog Media

    The Changelog: Software Development, Open Source

    289 Listeners

    Conversations with Tyler by Mercatus Center at George Mason University

    Conversations with Tyler

    2,466 Listeners

    The Quanta Podcast by Quanta Magazine

    The Quanta Podcast

    544 Listeners

    CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

    CoRecursive: Coding Stories

    188 Listeners

    Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas by Sean Carroll

    Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas

    4,189 Listeners

    Machine Learning Street Talk (MLST) by Machine Learning Street Talk (MLST)

    Machine Learning Street Talk (MLST)

    99 Listeners

    Dwarkesh Podcast by Dwarkesh Patel

    Dwarkesh Podcast

    530 Listeners

    The Rest Is History by Goalhanger

    The Rest Is History

    15,880 Listeners

    The Haskell Interlude by Haskell Podcast

    The Haskell Interlude

    14 Listeners

    Software Unscripted by Richard Feldman

    Software Unscripted

    29 Listeners

    Oxide and Friends by Oxide Computer Company

    Oxide and Friends

    67 Listeners

    Past Present Future by David Runciman

    Past Present Future

    351 Listeners

    Sharp Tech with Ben Thompson by Andrew Sharp and Ben Thompson

    Sharp Tech with Ben Thompson

    95 Listeners