OPLSS

I was fortunate enough to attend OPLSS'24 in-person. All other notes are jottings made after watching the recordings.

2024:

• Program analysis with Kleene Algebra with Tests
  • Alexandra Silva
• Adjoint functional programming
  • Frank Pfenning
• Semantic type soundness and language interoperability
  • Amal Ahmed
• Formal verification of monadic computations
  • Steve Zdancewic
• Probabilistic programming from the ground Up
  • Steve Holtzen

—

2021:

• Kleene algebras and applications
  • Alexandra Silva

—

2019:

• Coalgebraic semantics
  • Alexandra Silva
• Probabilistic programming: Bayesian non-parametrics and semantics
  • Sam Staton
• Practical foundations for programming languages
  • Bob Harper