Portland State University

Programming Languages & Verification

Welcome to the Portland PLV Group! We are a research group focused on Programming Languages and Verification.

Our research spans type systems, functional programming, formal methods, interactive theorem proving, program analysis, and security. We work on both theoretical foundations and practical applications, contributing to the advancement of programming languages and software verification techniques.

Publications Seminars People

News

  1. 🎉 Congratulations to Julay Leatherman-Brooks for passing their master’s thesis defense!

  2. 🎊 We had the first Portland PL Symposium (PorPL) at PSU!
    More info

  3. 🎤 Nicholas Coltharp gave a talk at FLOPS 2026 on Unifying Hindsight and Foresight: Lazy Cost Analysis as Functional Logic Programming.
    More info

  4. 📄 Yiming Lin, Ian Kariniemi, and Yao Li’s paper Don’t Sweat Interaction Trees: Proof-Guided Local Variable Lifting for Interaction Trees was accepted to ITP 2026.

  5. 🎉 Congratulations to Nicholas Coltharp for passing his Research Proficiency Exam!

  6. 📄 Nicholas Coltharp and Yao Li’s paper Unifying Hindsight and Foresight: Lazy Cost Analysis as Functional Logic Programming was accepted to FLOPS 2026. This is a joint work with Steven Libby and Laura Israel.

  7. 📄 Yao Li’s paper SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation was accepted to Findings of EACL 2026. This is a joint work with Sina Bagheri Nezhad and Ameeta Agrawal.
    More info

  8. 📄 Yao Li’s paper The Memorist Tale: Every Thunk Every Cost All At Once was accepted to ESOP 2026. This is a joint work with Xing Li, Peter Schachte, and Christine Rizkallah.

  9. 🎉 Congratulations to Grant VanDomelen for passing his Research Proficiency Exam!

  10. 🎉 Congratulations to Yiming Lin for passing his Research Proficiency Exam!

Faculty

Current Students

Affiliated Faculty

Alumni