Martin Vechev: Katalogdaten im Herbstsemester 2016

Name	Herr Prof. Dr. Martin Vechev
Lehrgebiet	Informatik
Adresse	Inst. Programmiersprachen u. -syst ETH Zürich, CAB H 69.1 Universitätstrasse 6 8092 Zürich SWITZERLAND
Telefon	+41 44 632 98 48
E-Mail	martin.vechev@inf.ethz.ch
URL	http://www.srl.inf.ethz.ch/
Departement	Informatik
Beziehung	Ordentlicher Professor

Nummer	Titel	ECTS	Umfang	Dozierende
252-2600-05L	Software Engineering Seminar Maximale Teilnehmerzahl: 22	2 KP	2S	M. Vechev
Kurzbeschreibung	The course is an introduction to research in software engineering, based on reading and presenting high quality research papers in the field. The instructor may choose a variety of topics or one topic that is explored through several papers.
Lernziel	The main goals of this seminar are 1) learning how to read and understand a recent research paper in computer science; and 2) learning how to present a technical topic in computer science to an audience of peers.
Inhalt	The technical content of this course falls into the general area of software engineering but will vary from semester to semester.
263-2920-00L	Machine Learning for Interactive Systems and Advanced Programming Tools	2 KP	2S	O. Hilliges, M. Vechev
Kurzbeschreibung	Seminar on the intersection of machine learning, interactive systems and advanced concepts in programming and programming tools.
Lernziel	The seminar will cover a variety of machine learning models and algorithms (including deep neural networks) and will discuss their applications in a diverse set of domains. Furthermore, the seminar will discuss how domain knowledge is integrated into vanilla ML models.
Inhalt	Seminars often suffer from poor attention retention and low student engagement. This is often due to the format of the seminar where only one student reads papers in-depth and then prepares a long presentation about one or sometimes several papers. There is little reason for the other students to really pay attention or engage in the discussion. To improve this the seminar will use a case-study format where all students read the same paper each week but fulfill different roles and hence prepare with different viewpoints in mind. Student roles/instructions The seminar is organized with each student taking one of the following roles on a rotating basis: Conference Reviewer (e.g., reviewer of UIST/ICML/PLDI ): Complete a full critical review of the paper. Use the original review from and come to a recommendation whether the paper should be accepted or not. Historian: Find out how this paper sits in the context of the related work. Use bibliography tools to find the most influential papers cited by this work and at least one paper influenced by the work (and summarize the two papers). PhD student: Propose a follow-up project for your own research based on this paper - importantly the project should be directly inspired by the paper or even use/extend the method proposed. Hacker: Implement a (simplified) version of the core aspect of the paper. Prepare a demo for the seminar. In case the complexity is too high perform an in-depth analysis of reproducibility of the paper. Detective: Find out background information about the authors. Where did they work when the paper was published; what was their role; who else have they published with; which prior work of the authors may have inspired the current paper? Students may contact the authors (but need to adhere to politeness and courteous manners and stay on topic in their conversations). All students (every week): Come up with alternative title; find a missing result that the paper should have included.
Voraussetzungen / Besonderes	Participation will be limited subject to available topics.
264-5810-00L	Programming Languages Seminar	2 KP	2S	P. Müller, M. Vechev
Kurzbeschreibung	This graduate seminar provides doctoral students in computer science a chance to read and discuss current research papers. Enrollment requires permission of the instructors. Credit units are granted only to active participants.
Lernziel	Learn about current research results in the area of programming languages, static program analysis, program verification, and related areas; practice of scientific presentations.
Inhalt	The seminar will explore different topics from a research perspective.
Skript	Supporting material will be distributed during the seminar.
Voraussetzungen / Besonderes	The seminar is open to assistants of the Chair of Programming Methodology and the Software Reliability Lab (Department of Computer Science). Others should contact the instructors.