Skip to content

Haskell Interlude #93: POP 2026 - Part 2 #610

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
mikesperber merged 1 commit into from
Jun 14, 2026
Merged

Haskell Interlude #93: POP 2026 - Part 2 #610

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 16 additions & 0 deletions podcast/83/index.markdown
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,16 @@
---
title: POPL 2026 - Part 2
episode: 83
buzzsproutId: 19343611
recorded: 2026-01-17
published: 2026-06-15
---

This is the first part of a miniseries on this year’s Symposium on
Principles of Programming Languages, a.k.a. POPL 2026, hosted by
Jessica Foster.

In this episode we talk about: symbolic execution monads, what a lazy
linear core in Haskell might have in common with Rust, hyperfunctions,
the hallway track, and how to deal with rejection.

19 changes: 19 additions & 0 deletions podcast/83/links.markdown
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
* [Andrew Hirsch](https://akhirsch.science/)
* [Opale Sjöstedt](https://n1ark.com/)
* [Yanning Chen](https://yanningchen.me/)
* [\[POPL'26\] Consistent Updates for Scalable Microservices](https://www.youtube.com/watch?v=wIKDMX1oxG0)
* [Specialisation: Context-Dependent Reasoning in Incorrectness Separation Logic](https://popl26.sigplan.org/details/tpsa-2026-papers/9/Specialisation-Context-Dependent-Reasoning-in-Incorrectness-Separation-Logic) (Not recorded)
* [Soteria Rust: Efficient Symbolic Execution for Rust](https://popl26.sigplan.org/details/tpsa-2026-papers/8/Soteria-Rust-Efficient-Symbolic-Execution-for-Rust) (Not recorded)
* Talk for the Rust Formal Methods Interest Group: [Soteria Rust](https://www.youtube.com/watch?v=Q7sOHhbL0N8)
* [\[VMCAI'26\] Current State of the Industrial-Strength Infer Static Analysis Platform](https://www.youtube.com/watch?v=ZTDB2EusE-g)
* [\[POPL'26\] A Relational Separation Logic for Effect Handlers](https://www.youtube.com/watch?v=HjWjrERyHi8)
* [\[POPL'26\] Extensible Data Types with Ad-Hoc Polymorphism](https://www.youtube.com/watch?v=-bFYoIXK3MA)
* [\[POPL'26\] Hyperfunctions: Communicating Continuations](https://www.youtube.com/watch?v=9M_E7mPaLQ4)
* [\[POPL'26\] Lazy Linearity for a Core Functional Language](https://www.youtube.com/watch?v=8fLXKNBN8_c)
* [\[POPL'26\] Medium-scale automation for proof assistants](https://www.youtube.com/watch?v=sON0zEzCyNs)
* [\[POPL'26\] An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories](https://www.youtube.com/watch?v=dyZeEuJcyWw&t=1s)
* [\[POPL'26\] Miri: Practical Undefined Behavior Detection for Rust](https://www.youtube.com/watch?v=9A8ZeDIStAs)
* [\[PLMW’26\] Effects and Call-by-Push-Value](https://popl26.sigplan.org/details/PLMW-POPL-2026/2/Effects-and-Call-by-Push-Value) (Not recorded)
* [\[PLMW’26\] Weak Accept, or: How I Learned to Write Papers and Deal with Reviews](https://popl26.sigplan.org/details/PLMW-POPL-2026/4/Weak-Accept-or-How-I-Learned-to-Write-Papers-and-Deal-with-Reviews) (Not recorded)
* [\[POPL'26\] Domain-Theoretic Semantics for Functional Logic Programming](https://www.youtube.com/watch?v=oM6jr8UfPWo)

Loading