The deadline for deregistering expires at the end of the second week of the semester. Students who are still registered after that date, but do not attend the seminar, will officially fail the seminar.
Lehrveranstaltungen
Nummer
Titel
Umfang
Dozierende
263-2100-00 S
Research Topics in Software Engineering
To allow scheduling flexibility, the seminar meets some days from 3-6. Students must register by February 19 or attend the first meeting to obtain a topic for presentation. Please contact the instructor if you cannot attend the first meeting.
This seminar introduces students to the latest research trends that help to improve various aspects of software quality.
Topics cover the following areas of research: Compilers, domain-specific languages, concurrency, formal methods, performance optimization, program analysis, program generation, program synthesis, testing, tools, verification
Lernziel
At the end of the course, the students should be:
- familiar with a broad range of key research results in the area as well as their applications.
- know how to read and assess high quality research papers
- be able to highlight practical examples/applications, limitations of existing work, and outline potential improvements.
Inhalt
The course will be structured as a sequence of presentations of high-quality research papers, spanning both theory and practice. These papers will have typically appeared in top conferences spanning several areas such as POPL, PLDI, OOPSLA, OSDI, ASPLOS, SOSP, AAAI, ICML and others.
Literatur
The publications to be presented will be announced on the seminar home page at least one week before the first session.
Voraussetzungen / Besonderes
Papers will be distributed during the first lecture.
Leistungskontrolle
Information zur Leistungskontrolle (gültig bis die Lerneinheit neu gelesen wird)
Leistungskontrolle als Semesterkurs