Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Lehre login

Lehre





Studienarbeiten
Bachelorarbeiten
Generic Constraint-Generator for MISRA-C
Dozent:Dr. Michael Petter und Stefan Schulze Frielinghaus
Ort/Zeit:t.b.a.
ModulNummer:IN0020
Beschreibung:    In this thesis, the student creates a flexible extension to a C parser. This extension allows the generation of constraint systems for abstract interpretation frameworks.
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
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.
Wintersemester 15/16
Vorlesungen
Programming Languages
Dozent:Dr. Michael Petter
Ort/Zeit:Wed. 14:00 HS2 (MI 00.04.011) and Tutorial Thu. 12:00 MI 02.07.014
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:Wed. 10:00-11:30, Thurs. 8:30-10:00, room 00.13.009A
ModulNummer:IN2053
Beschreibung:    This course is about the techniques applied by compilers of general purpose programming languages in order to improve the quality of generated code (the inofficial Compiler Construction II). Techniques considered in this lecture, provide, e.g., systematic means how to avoid redundant computation, replace expensive computations with cheaper ones, and/or exploit particular hardware features such as registers.
Einführung in die Informatik II
Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:Freitag 8:30-10:00, HS1
ModulNummer:IN0003
Beschreibung:    Funktionale Programmierung
Praktika
Seminare
Generation of Code and Innovative Programming Models
Dozent:Helmut Seidl, Michael Gerndt, Josef Weidendorfer und Michael Petter
Ort/Zeit:en bloque in January 16
ModulNummer:IN2107
Beschreibung:    joint seminar with chair Bode
TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 8 ms