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
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
Sommersemester 15
Vorlesungen
Compiler Construction I
Dozent:Dr. Michael Petter
Ort/Zeit:Mo, 14:00-15:30 in MI 00.13.009A
ModulNummer:IN2227
Beschreibung:    Introduction to Compilerconstruction - how to translate an imperative language.
Virtual Machines
Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:Multimedia room, Mo. 10:15-11:45, Tue. 10:15-11:45
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:Di, 13:45-16:15 in MW 0001
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 Compiler into Eclipse and work on syntactical and semantical analyses on Cobol Code.
Seminare
Tools für die Anwendung formaler Methoden bei der Software-Entwicklung
Dozent:Dr. Michael Petter
Ort/Zeit:tue/wed June 9th/10th en bloque in MI 02.07.034
ModulNummer:IN2107 IN0014
Beschreibung:    We shed light on different tools that assist software development with formal methods
TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 14 ms