Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Lehre login

Lehre





Studienarbeiten
Bachelorarbeiten
Programmanalyses with Goblint
Dozent:Dr. Michael Petter und Ralf Vogler
Ort/Zeit:t.b.a.
ModulNummer:IN0020
Beschreibung:    Im Rahmen dieser Bachelorarbeit sollen Verbesserungen am Goblint System implementiert werden
Parsergeneratoren
Dozent:Dr. Michael Petter
Ort/Zeit:asap
ModulNummer:
Beschreibung:    Im Rahmen von HiWi-Tätigkeiten oder sonstigen Studienarbeiten sollen im neu entwickelten Cup2 diverse LR-Algorithmen bzw. Optimierungen davon in Cup2 umgesetzt werden. Ziel ist es, einen vollwertigen effizient arbeitenden Parsergenerator Cup2 zu erhalten, der die alte Implementierung von Cup vollständig ablösen kann.
Teleteaching Tool
Dozent:Dr. Michael Petter
Ort/Zeit:asap
ModulNummer:
Beschreibung:    implement streaming to a projector/TV via Chromecast
Masterarbeiten
Goblint
Dozent:Ralf Vogler
Ort/Zeit:t.b.a.
ModulNummer:IN2108
Beschreibung:    tags: program analysis, static analysis, abstract interpretation, functional programming, OCaml
Hiwijobs
Wintersemester 16/17
Vorlesungen
Programming Languages
Dozent:Dr. Michael Petter
Ort/Zeit:HS 2, Wednesdays 14:15-16:00 and Fridays 10:00-12:00 MI 02.07.034
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.
Introduction to Informatics 2
Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:Gustav-Niemann-Hörsaal, Fridays 8:25-9:55
ModulNummer:IN0003
Beschreibung:    Verification of programs + Functional programming in Ocaml
Program Optimization
Dozent:Dr. Peter Lammich
Ort/Zeit:Wednesdays 10:15-11:45 and Thursdays 10:15-11:45, 00.13.009A
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 Seminarraum, ?
ModulNummer:IN2106 & IN0012
Beschreibung:    We improve the CUP Eclipse plugin
Seminare
Sommersemester 16
Vorlesungen
Compiler Construction I
Dozent:Dr. Michael Petter
Ort/Zeit:Mo 14:00-16:00 in 00.13.009A
ModulNummer:IN2227
Beschreibung:    Introduction to Compilerconstruction - how to translate an imperative language.
Virtuelle Maschinen
Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:00.13.009A Seminarraum, Monday 10-12h and Tuesday 10-12h
ModulNummer:IN2040
Beschreibung:    Virtual Machines and Translation of Programming languages, such as C, Prolog and a functional language.
Grundlagen: Algorithmen und Datenstrukturen
Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:MW0001 Gustav-Niemann-Hörsaal, dienstags 14-16 h und mittwochs 13h15-14h15
ModulNummer:IN0007
Beschreibung:    
Praktika
Lab Course Cobol&Eclipse
Dozent:Dr. Michael Petter
Ort/Zeit:in a block of 20 days
ModulNummer:IN2106 IN0012
Beschreibung:    We will integrate a Cobol Frontend into Eclipse to come up with semantical analyses on Cobol Code.
Seminare
Proseminar Meta-Programming
Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:1st June - 3rd June
ModulNummer:IN0013
Beschreibung:    We cover different approaches to Metaprogramming in different languages in this seminar.
TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 7 ms