PhD Courses in Programming Languages

• Course page for 2022: https://uppsala.instructure.com/courses/63966
• Sign-up for 20222: https://doit.medfarm.uu.se/bin/kurt3/kurt/44371

This course covers advanced topics in programming language design, implementation and theory. Topics include, but are not limited to, type systems, program logics, dataflow analysis, probabilistic programming, benchmarking and empiric studies.

The course will be based on introductory lectures and reading of recent and classic papers in the above topics. The recommended prerequisites include a course on basic logic and a basic compilers course. An understanding of structural operational semantics will also be helpful. Please let us know if you are interested in the course but do not fulfill the prerequisites.

The class will be run like a conference programming committee: Students will be required to read and review a number of papers, read the reviews other students have prepared, and discuss/debate the merits and contributions of the papers read.

Assessment: Reviews and in-class participation.