Seminar: Type Systems, Safety, and Modern Programming Languages (IN0014, IN2107)
| Vortragende/r (Mitwirkende/r) | |
|---|---|
| Nummer | 0000001437 |
| Art | Seminar |
| Umfang | 2 SWS |
| Semester | Wintersemester 2026/27 |
| Unterrichtssprache | English |
| Stellung in Studienplänen | Siehe TUMonline |
| Termine | Siehe TUMonline |
Teilnahmekriterien
Siehe TUMonline
Anmerkung: Course registration will be done via the matching system. For details, questions, and a short presentation of the topics, visit the pre-course meeting on July 7, at 11:00am (prelim), in room Alan Turing 00.09.038
Anmerkung: Course registration will be done via the matching system. For details, questions, and a short presentation of the topics, visit the pre-course meeting on July 7, at 11:00am (prelim), in room Alan Turing 00.09.038
Beschreibung
Modern programming languages utilize increasingly advanced features as part of their type systems and to provide safety guarantees. This course covers a wide range of these features from the fundamentals of type theory and type systems (e.g., dependent types, calculus of construction, liquid types) to more applied aspects of modern languages (e.g., borrow-based ownership systems, memory safety of Rust/Go/Swift, interoperability with C). A full list of topic suggestions will be presented at the pre-course meeting. We are also open to student suggestions.
Inhaltliche Voraussetzungen
This course is open for both bachelor's and master's students. The only compulsory prerequisite is IN0003 or something comparable, but we prefer students to be proficient in the basic concepts of programming languages and type systems. Please check with the instructor, if you think your background is insufficient.
Lehr- und Lernmethoden
The seminar will be organized as a mini-conference. Initially, you will be presented the topics of interest with a short summary of each topic at the pre-course meeting. After the matching, there will be a kick-off meeting to discuss the topics and organizational details. After that, you have time till Friday of the same week to submit your personal topic preferences as a ranking of each topic with a value from 1 (best) – 10 (worst). For bachelor students, it is possible to work on a topic as a team of at most two students. In this case, please submit one ranking for both students. Then, you work out your topic, with assistance from an individual advisor. After submitting your draft paper you will be asked to review some drafts of your fellow students. The received feedback should be incorporated before submitting the final version of the paper. The final talks will be held en-block within one day at the end of the semester. The exact dates are yet to be decided, but will be communicated once you are registered for the course.