In this seminar, students will be introduced to advanced topics in programming languages and compilers. Students will learn how to critically read scientific materials drawn from the programming languages, compilers, and related literature. Students will also learn about the core elements of a technical presentation and have an opportunity to sharpen their critical thinking skills.
Format
In the first week of the seminar, an introductory lecture will introduce the overall topic, helping students to understand the background and foundations. In the subsequent weeks, we will read research papers and discuss them together. Each student will lead one of these discussions. All participants will contribute to the discussion of the paper while we go through the paper together to understand its scientific content as well as discuss its contributions and relevance.
Towards the end of the seminar, each student will give a presentation about their paper, highlighting strengths and weaknesses.
We plan to hold the seminar fully in English.
Topic: Formally Understanding Performance of Computer Hardware
This semester we will focus on the semantic modeling of performance aspects of computer hardware.
Enrolment
Spots to this seminar are assigned via the central seminar assignment system.
- Trainer/in: Nicole Thalia Heinimann
- Trainer/in: Serkan Muhcu
- Trainer/in: Rudi Schneider
- Trainer/in: Michel Steuwer