Course development
On this page, you can track the course's development over time. Once the course analysis is published, data for each course offering is displayed, including the number of registered students, course results, and planned improvements for the next session. All course syllabuses and course memos are shown on the page Archive.
The information can help prospective, current, and former students with course selection, or to follow up on their own participation. Teachers, course coordinators, examiners, program directors, and others can use the page as a resource for course development.
2020
Doktorand ( Start date 16/03/2020, English ) , popl20 ( Start date 16/03/2020, English )
Changes planned for the next course offering
No information inserted
Coordinator
Philipp HallerExaminers
Philipp HallerStudents
43Course syllabus
Course syllabus DD2481 ( Spring 2019 - Spring 2021 )Course memo
No course memo addedNo course memo addedCompulsory within programme
No information insertedCourse analysis
Course analysis DD2481: 21 Jun 2022Changes introduced for this course offering
(1) Musard Balliu added an introduction to Security Type Checking. (2) The course was converted to distance teaching due to the Covid-19 pandemic. All lectures were held virtually and were live recorded. Instead of whiteboards, tablets with pens were used to capture notes which were provided afterwards as PDF documents. Lab sessions and oral lab presentations were held online via video conferencing. (3) The theory exam was changed to a take-home exam.Course data has been registered manually
Examination grade
62.8%*
2019
popl19 ( Start date 18/03/2019, English )
Changes planned for the next course offering
No information inserted
Coordinator
Philipp HallerExaminers
Philipp HallerStudents
61Course syllabus
Course syllabus DD2481 ( Spring 2019 - Spring 2021 )Course memo
No course memo addedCompulsory within programme
No information insertedCourse analysis
Course analysis DD2481: 5 Dec 2019Changes introduced for this course offering
The main change implemented since the previous course offering (Spring 2018) consists of new lectures on advanced topics including semantics of object-oriented languages (Featherweight Java) and low-level languages (WebAssembly). The goal of this change was to enable students to transfer core concepts of programming languages to real-world languages. These new topics could then be chosen by the students for the essay.Course data has been registered manually
Examination grade
62.3%*