Portland PL Symposium

2026

Date
Venue
Room 290, Karl Miller Center, PSU1828 SW Broadway, Portland, OR 97201 · View map
Format
In person

A yearly regional symposium on programming-languages research. PorPL is a regional symposium that brings together programming-languages researchers in our area for a day of talks and discussion.

Registration has closed. The symposium is in person only — there is no remote attendance option.

Schedule

All times Pacific.

  1. Opening
    Yao LiPortland State University
  2. zkLean: A DSL for ZK statement verification
    Valentin RobertGalois, Inc.
  3. Binary Verification for seL4
    Nick SpinaleColias Group
  4. Verifying UDP: Challenges and Solutions
    Alain KägiLewis & Clark College
  5. Lunch Break
  6. Verifying Kernel MM Soundness with Verus
    Sean AndersonCertiK
  7. Index-Oriented Programming
    Mark P. JonesPortland State University
  8. Coffee Break
  9. Functional Logic Programming and You: A Tour of Cool Ideas in FLP
    Steven LibbyUniversity of Portland
  10. Abstract Domains for Probabilistic Program Analysis
    Greg AndersonReed College
  11. Lightning talks
    1. Formal Methods & Fuzzing: PIPE-Cleaner-C2TC
      Allison NaaktgeborenPortland State University
    2. Deriving Decidable Equality in Agda
      Katie CasamentoPortland State University
    3. Unifying Hindsight and Foresight: Lazy Cost Analysis as Functional Logic Programming
      Nicholas ColtharpPortland State University
  12. Break
  13. Operads, Agents, and Production Discipline in a Realtime Systems Compiler
    Willis HokePortland State University Alumni
  14. Don't Sweat Interaction Trees
    Yao LiPortland State University
  15. End

Organisers