As seen in CS152, mathematical models of programming languages can be a powerful tool for reasoning about the meaning of programs. In this advanced seminar, we will look at research papers in semantics of programming languages. Each student will study and present a semantic paper of their choice in depth, and all students will read the variety of papers presented throughout the semester. At the end of the class, each student will design their own programming language semantic for a purpose of their choice.

Take the pre-course survey!