Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Lehre Sommersemester 18 login

Sommersemester 18



Vorlesungen
Automata Theory II
Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:Seminar Room 02.07.014, Thur. 10-12, Exercises Room 02.07.014, Wed. 9:30-11
ModulNummer:IN2042
Beschreibung:    Advanced automata models for program analysis and XML processing.
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.
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
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