Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Lehre login

Lehre





Sommersemester 17
Vorlesungen
Automata Theory 2
Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:Seminar Room 02.07.014, Thur. 10-12, Exercises Room 01.07.014, Wed. 9:30-11
ModulNummer:IN2042
Beschreibung:    Advanced automata models for program analysis and XML processing.
Compiler Construction I
Dozent:Dr. Michael Petter
Ort/Zeit:00.13.009A Thursdays 14:15-15:45
ModulNummer:IN2227
Beschreibung:    Introduction to Compilerconstruction - how to translate an imperative language.
Virtuelle Maschinen
Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:Room 00.13.009A, Mon. 10-12 and Tue. 10-12
ModulNummer:IN2040
Beschreibung:    Virtual Machines and Translation of Programming languages, such as C, Prolog and a functional language.
Praktika
Lab Course Cobol & Eclipse
Dozent:Dr. Michael Petter
Ort/Zeit:Seminarraum 02.07.034 in a block of 20 days
ModulNummer:IN0012, IN2106, IN4018
Beschreibung:    We will integrate a Cobol Frontend into Eclipse to come up with semantical analyses on Cobol Code.
Seminare
C++ Tomorrow
Dozent:Nico Hartmann
Ort/Zeit:Final Presentations: June 7 & 8, 2017
ModulNummer:IN0014, IN2107
Beschreibung:    In this seminar we will discuss the ongoing evolution of the C++ programming language.
The Rust Programming Language
Dozent:Julian Kranz
Ort/Zeit:Blockveranstaltung
ModulNummer:IN0013
Beschreibung:    Proseminar
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
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
TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 9 ms