Search result: Catalogue data in Spring Semester 2015

Doctoral Department of Computer Science Information
More Information at: Link
Doctoral and Post-Doctoral Courses
NumberTitleTypeECTSHoursLecturers
252-0407-00LCryptography Information W7 credits3V + 2U + 1AU. Maurer
AbstractFundamentals and applications of cryptography. Cryptography as a mathematical discipline: reductions, constructive cryptography paradigm, security proofs. The discussed primitives include cryptographic functions, pseudo-randomness, symmetric encryption and authentication, public-key encryption, key agreement, and digital signature schemes. Selected cryptanalytic techniques.
ObjectiveThe goals are:
(1) understand the basic theoretical concepts and scientific thinking in cryptography;
(2) understand and apply some core cryptographic techniques and security proof methods;
(3) be prepared and motivated to access the scientific literature and attend specialized courses in cryptography.
ContentSee course description.
Lecture notesyes.
Prerequisites / NoticeFamiliarity with the basic cryptographic concepts as treated for
example in the course "Information Security" is required but can
in principle also be acquired in parallel to attending the course.
252-0924-00LOMS Case Study II Information W2 credits2SM. Norrie
AbstractThis doctoral seminar consists of a series of talks and discussions covering the history and foundations of OMS, related work and on-going OMS developments and applications.
Objectivesee above
252-0926-00LAdvanced Seminar on Distributed Systems Information Restricted registration - show details W2 credits2SF. Mattern
AbstractLatest Topics in the area of Distributed Systems will be discussed.
ObjectiveLearn about current topics in the area of Distributed Systems.
Prerequisites / NoticeSeminar for PhD students.
252-0912-00LExperimental Computer Systems Information
For post/doctoral students at the Institute of Computer Systems. Other students need the lecturer's permission.
W2 credits2ST. Gross
AbstractThis graduate seminar provides doctoral students in computer science a chance to discuss their research. Enrollement requires permission of the instructor.
Credit units are granted only to active participants.
ObjectiveLearn how to present and discuss a reserach contribution. Learn how to provide feedback to research presentations and proposals.
ContentThe seminar will explore different topics from a research perspective. The seminar is open to assistants of the Departement of Computer Science (Informatik)
Lecture notesSupporting material will be distributed during the seminar.
Prerequisites / NoticePrerequisites:
Graduate Course
252-0932-00LSeminar on Cryptography Restricted registration - show details W2 credits1SU. Maurer, M. Hirt
AbstractLatest Topics in Cryptography will be discussed.
ObjectiveLearn about current topics in the area of Cryptography.
252-0934-00LAlgorithms and Complexity (FS) Information W1 credit1SP. Widmayer, J. Hromkovic
AbstractThis seminar treats selected problems of current interest in the area of algorithms and complexity.
ObjectiveDevelop an understanding of selected problems of current interest in the area of algorithms and complexity.
ContentThis seminar treats selected problems of current interest in the area of algorithms and complexity.
Lecture notesNone.
LiteratureResearch papers, to be chosen in the seminar.
Prerequisites / NoticePrerequisites: Basic understanding of algorithms and complexity.
252-3600-02LUbiquitous Computing Seminar Information W2 credits2SF. Mattern, O. Hilliges
AbstractSeminar on various topics from the broader areas of Pervasive Computing, Ubiquitous Computing, Human Computer Interaction, and Distributed Systems.
ObjectiveLearn about various current topics from the broader areas of Pervasive Computing, Ubiquitous Computing, Human Computer Interaction, and Distributed Systems.
Prerequisites / NoticeThere will be an orientation event several weeks before the start of the semester (possibly at the end of the preceding semester) where also first topics will be assigned to students. Please check Link for further information.
252-4202-00LSeminar in Theoretical Computer Science Information W2 credits2SE. Welzl, B. Gärtner, M. Hoffmann, J. Lengler, A. Steger, B. Sudakov
AbstractPresentation of recent publications in theoretical computer science, including results by diploma, masters and doctoral candidates.
ObjectiveTo get an overview of current research in the areas covered by the involved research groups. To present results from the literature.
263-2100-00LResearch Topics in Software Engineering Information Restricted registration - show details
Number of participants limited to 22.
W2 credits2ST. Hoefler
AbstractThis seminar introduces students to fundamental results in parallel programming and design. Students will study and present research papers that span topics in both theory and practice, ranging from foundations parallel computing to applications. The focus will be on fundamental lower and upper bounds, thus, many papers will be dated. Students need a solid mathematical background.
ObjectiveAt the end of the course, the students should be familiar with a broad range of key research results in the area of parallel computing, know how to read and assess papers in the area, and be able to highlight practical examples/applications, limitations of existing work, and outline potential improvements.
ContentA selection of research papers with a focus on foundations of parallel computing/programming.
LiteratureThe publications to be presented will be announced on the seminar home page at least one week before the first session.
Prerequisites / NoticePapers will be distributed in the first session.
252-4302-00LSeminar Algorithmic Game Theory Information W2 credits2SP. Widmayer, M. Mihalak
AbstractIn the seminar we will get familiar with the current original research in the area of algorithmic game theory by reading and presenting selected research papers in that area.
ObjectiveDevelop an understanding of selected problems of current interest in the area of algorithmic game theory, and a practice of a scientific presentation.
ContentStudy and understanding of selected topics of current interest in algorithmic game theory such as: Complexity Results (class PPAD, PLS, NP), Sponsored Search, Approximation Algorithms via Algorithmic Game Theory, Price of Anarchy, New paradigms of computation (e.g., envy-fee, truthful), Mechanism Design.
LiteratureSelected research articles.
Prerequisites / NoticeYou must have passed our "Algorithmic Game Theory" class (or have acquired equivalent knowledge, in exceptional cases).
263-2300-00LHow To Write Fast Numerical Code Information
Prerequisite: Master student, solid C programming skills.
W6 credits3V + 2UM. Püschel
AbstractThis course introduces the student to the foundations and state-of-the-art techniques in developing high performance software for numerical functionality such as linear algebra and others. The focus is on optimizing for the memory hierarchy and for special instruction sets. Finally, the course will introduce the recent field of automatic performance tuning.
ObjectiveSoftware performance (i.e., runtime) arises through the interaction of algorithm, its implementation, and the microarchitecture the program is run on. The first goal of the course is to provide the student with an understanding of this interaction, and hence software performance, focusing on numerical or mathematical functionality. The second goal is to teach a general systematic strategy how to use this knowledge to write fast software for numerical problems. This strategy will be trained in a few homeworks and semester-long group projects.
ContentThe fast evolution and increasing complexity of computing platforms pose a major challenge for developers of high performance software for engineering, science, and consumer applications: it becomes increasingly harder to harness the available computing power. Straightforward implementations may lose as much as one or two orders of magnitude in performance. On the other hand, creating optimal implementations requires the developer to have an understanding of algorithms, capabilities and limitations of compilers, and the target platform's architecture and microarchitecture.

This interdisciplinary course introduces the student to the foundations and state-of-the-art techniques in high performance software development using important functionality such as linear algebra functionality, transforms, filters, and others as examples. The course will explain how to optimize for the memory hierarchy, take advantage of special instruction sets, and, if time permits, how to write multithreaded code for multicore platforms. Much of the material is based on state-of-the-art research.

Further, a general strategy for performance analysis and optimization is introduced that the students will apply in group projects that accompany the course. Finally, the course will introduce the students to the recent field of automatic performance tuning.
263-2810-00LAdvanced Compiler Design Information W7 credits3V + 2U + 1AT. Gross
AbstractThis course covers advanced topics in compiler design: SSA intermediate representation and its use in optimization, just-in-time compilation, profile-based compilation, exception handling in modern programming languages.
ObjectiveUnderstand translation of object-oriented programs, opportunities and difficulties in optimizing programs using state-of-the-art techniques (profile-based compilation, just-in-time compilation, runtime system interaction)
ContentThis course builds conceptually on Compiler Design (a basic class for advanced undergraduates), but this class is not a prerequisite. Students should however have a solid understanding of basic compiler technology.

The focus is on handling the key features of modern object-oriented programs. We review implementations of single and multiple inheritance (incl. object layout, method dispatch) and optimization opportunities.

Specific topics: intermediate representations (IR) for optimizing compilers, static single assignment (SSA) representation, constant folding, partial redundancy optimizations, profiling, profile-guided code generation. Special topics as time permits: debugging optimized code, multi-threading, data races, object races, memory consistency models, programming language design. Review of single inheritance, multiple inheritance, object layout, method dispatch, type analysis, type propagation and related topics.

This course provides another opportunity to explore software design in a medium-scale software project.
LiteratureAho/Lam/Sethi/Ullmann, Compilers - Principles, Techniques, and Tools (2nd Edition). In addition, papers as provided in the class.
Prerequisites / NoticeA basic course on compiler design is helpful but not mandatory. Student should have programming skills/experience to implement an optimizer (or significant parts of an optimizer) for a simple object-oriented language. The programming project is implemented using Java.
264-5811-00LProgramming Systems Seminar Information Restricted registration - show details
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.
W2 credits2SP. Müller, M. Vechev
AbstractThis 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.
ObjectiveLearn about current research results in the area of programming languages, static program analysis, program verification, and related areas; practice of scientific presentations.
ContentThe seminar will explore different topics from a research perspective.
Lecture notesSupporting material will be distributed during the seminar.
Prerequisites / NoticeThe 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.
264-5800-04LDoctoral Seminar in Visual Computing (FS15) Information W1 credit1SM. Gross, M. Pollefeys, O. Sorkine Hornung
AbstractCurrent research at the IVC will be presented and discussed.
ObjectiveLearn about current research results in the area of Visual Computing, practice of scientific presentations.
ContentCurrent research at the IVC will be presented and discussed.
Prerequisites / NoticeUngraded semester performance. Presence is mandatory to pass the seminar. Every participant has to present her reseach once a year. The course requires solid knowledge in the area of Computer Graphics and Computer Vision as well as state-of-the-art research.
» Course Catalogue of ETH Zurich
263-4203-00LGeometry: Combinatorics and Algorithms Information W2 credits2SB. Gärtner, M. Hoffmann, E. Welzl
AbstractThis seminar is held once a year and complements the course Geometry: Combinatorics & Algorithms. Students of the seminar will present original research papers, some classic and some of them very recent. The seminar is a good preparation for a master, diploma, or semester thesis in the area.
ObjectiveEach student is expected to read, understand, and elaborate on a selected research paper. To this end, (s)he should give a 45-min. presentation about the paper. The process includes

* getting an overview of the related literature;
* understanding and working out the background/motivation:
why and where are the questions addressed relevant?
* understanding the contents of the paper in all details;
* selecting parts suitable for the presentation;
* presenting the selected parts in such a way that an audience
with some basic background in geometry and graph theory can easily understand and appreciate it.
Prerequisites / NoticeTo attend the seminar, some knowledge in (discrete and computational) geometry and graphs and algorithms is required. Thus, previous participation in the course "Geometry: Combinatorics & Algorithms" or a comparable course is strongly encouraged.
  •  Page  1  of  1