Oregon Programming Languages Summer School (OPLSS) 2025: Types, Logic, and Formal Methods

End-User Probabilistic Programming

Oregon Programming Languages Summer School 2017: A Spectrum of Types

Oregon Programming Languages Summer School (2016)

OPLSS 2016 -- Oregon Programming Languages Summer School

Logic, Languages, Compilation, and Verification Technical Lectures

Oregon Programming Languages Summer School: videos and notes