263-2100-00L  Research Topics in Software Engineering

Semester Spring Semester 2016
Lecturers M. Vechev
Periodicity semester course
Language of instruction English

Catalogue data

Abstract This seminar introduces students to the latest research trends in programming languages and systems:

- automated program analysis and synthesis techniques (e.g., new algorithms, combinations with machine learning)

- applications of these techniques to challenges in systems, security, and others.

More information: http://www.srl.inf.ethz.ch/rse2016.php
Objective 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.
Content 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.
Literature The publications to be presented will be announced on the seminar home page at least one week before the first session.
Prerequisites / Notice Papers will be distributed during the first lecture.

Performance assessment

Performance assessment information (valid until the course unit is held again)
Performance assessment as a semester course
ECTS credits 2 credits
Examiners M. Vechev
Type graded semester performance
Language of examination English
Course attendance confirmation required No
Repetition Repetition only possible after re-enrolling for the course unit.

Learning materials

Main link Information
Only public learning materials are listed.


Number Title Hours Lecturers
263-2100-00 S Research Topics in Software Engineering 2 hrs
Mon 16-18 CHN D 48 »
M. Vechev


There are no additional restrictions for the registration.

Offered in

Programme Section Type
Certificate of Advanced Studies in Computer Science Seminars W Information
Doctoral Department of Computer Science Doctoral and Post-Doctoral Courses W Information
Computer Science Master Seminar in Software Engineering W Information