Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Lehre Sommersemester 18 login

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.
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.
TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 6 ms