About

The UCSB PL Lab meets each week to discuss topics (mostly) related to programming languages, including (but not limited to): abstract interpretation, static analysis, type theory, software engineering and testing, logic, systems, and language design.

If you want to participate, feel free to email us.