|
Home
Lehre
aktuelle Semester...
Sommersemester 18
Wintersemester 17/18
Personen
Research
Projects
Events
Jobs/Studienarbeiten
SiteMap
Puma
Impressum & Datenschutz
|
Lehre
aktuelle Semester...
Vorlesungen
... findet ihr auf der neuen Homepage
 |
| Dozent: | |
| Ort/Zeit: | |
| ModulNummer: | |
| Beschreibung: | |
|
Praktika
Seminare
Sommersemester 18
Vorlesungen
Virtuelle Maschinen
 |
| Dozent: | Prof. Dr. Helmut Seidl |
| Ort/Zeit: | Lecture: Room 00.13.009A, Mon. 10:15-11:45 and Tue. 10:15-11:45. Exercises: Room 02.07.014, Thur. 16:15-17:45 |
| ModulNummer: | IN2040 |
| Beschreibung: | Virtual Machines and Translation of Programming languages, such as C, Prolog and a functional language. |
|
Compiler Construction I
 |
| Dozent: | Dr. Michael Petter |
| Ort/Zeit: | MI HS 2 Thursdays 14:15-15:45 |
| ModulNummer: | IN2227 |
| Beschreibung: | Introduction to Compilerconstruction - how to translate an imperative language. |
|
Automata Theory II (DISCONTINUED)
 |
| Dozent: | Prof. Dr. Helmut Seidl |
| Ort/Zeit: | Discontinued |
| ModulNummer: | IN2042 |
| Beschreibung: | Advanced automata models for program analysis and XML processing. |
|
Program Optimization
 |
| Dozent: | Prof. Dr. Helmut Seidl |
| Ort/Zeit: | Room: 00.13.009A; Lecture: Mon. 12:15-13:45, Wed. 10:00-11:30, Exercises: Thu. 10:00-12:00, |
| ModulNummer: | IN2053 |
| Beschreibung: | This course is about standard techniques used to optimize general purpose programming languages.
How to avoid redundant computation, replace expensive computations with cheaper ones, and/or exploit hardware. |
|
Praktika
IoT - Aufbau eines Sensornetzwerks
 |
| Dozent: | Vogler R., Hartmann N., Kranz J. |
| Ort/Zeit: | Sommersemester 2018 |
| ModulNummer: | |
| Beschreibung: | In diesem Praktikum soll ein Sensor-Netzwerk gemeinsam entworfen und aufgebaut werden. |
|
Practical Course - Program Optimization with LLVM
|
| Dozent: | Dr. Michael Petter |
| Ort/Zeit: | as a block course |
| ModulNummer: | IN2106, IN0012 |
| Beschreibung: | We integrate an own optimization pass into LLVM's opt tool. |
|
Seminare
Program Synthesis
 |
| Dozent: | Anastasiia Izycheva, Raphaela Palenta |
| Ort/Zeit: | Room 02.07.053 - 1-1 meetings |
| ModulNummer: | IN0014, IN2107 |
| Beschreibung: | During the seminar we will touch the surface of the current research on program synthesis. We will see several applications and learn about techniques used to generate code automatically. |
|
Wintersemester 17/18
Vorlesungen
Einführung in die Informatik 2 - Funktionale Programmierung und Verifikation
 |
| Dozent: | Prof. Dr. Helmut Seidl |
| Ort/Zeit: | Freitag, 08:25 - 9:55 Uhr / MW 0001 Gustav-Niemann-Hörsaal |
| ModulNummer: | IN0003 |
| Beschreibung: | Die Veranstaltung gibt eine Einführung in die funktionale Programmierung mit OCaml, sowie die Verifikation von imperativen und funktionalen Programmen. |
|
Programming Languages
 |
| Dozent: | Prof. Dr. Helmut Seidl, Dr. Michael Petter |
| Ort/Zeit: | HS 2, Wednesdays 14:00-15:30 and Tutorial: Fridays 08:30-10:00 HS 2 |
| ModulNummer: | IN2113 |
| Beschreibung: | We are discussing various advanced programming paradigms illustrated by a number of real programming languages such as e.g. Smalltalk, Java, C/C++ and others. |
|
Program Optimization
|
| Dozent: | Prof. Dr. Helmut Seidl |
| Ort/Zeit: | Room: 00.13.009A; Lecture: Mon. 12:15-13:45, Wed. 10:00-11:30, Exercises: Thu. 10:00-12:00, |
| ModulNummer: | IN2053 |
| Beschreibung: | This course is about standard techniques used to optimize general purpose programming languages.
How to avoid redundant computation, replace expensive computations with cheaper ones, and/or exploit hardware. |
|
Praktika
Compiler Construction - Eclipse & CUP
 |
| Dozent: | Dr. Michael Petter |
| Ort/Zeit: | 02.07.034 Seminar room, en bloque |
| ModulNummer: | IN2106 & IN0012 |
| Beschreibung: | We improve the CUP Eclipse plugin |
|
Seminare
|
Lehre