Programming Languages
Websites
Research Area Members
Overview
One important avenue of work examines improving how developers express their intent and verifying that the programs they write accurately execute in practice. This line of work includes improving compilers, type systems, and approaches for verifying compilation.