Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Lehre Wintersemester 18/19 login

Wintersemester 18/19



Vorlesungen
Programming Languages
Dozent:Dr. Michael Petter
Ort/Zeit:Wednesdays, 14:05 - 15:35 , Lecture Hall 2
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.
Functional Programming and Verification
Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:Friday, 08:15 - 09:45 / MW 2001 Rudolf-Diesel-Hörsaal
ModulNummer:IN0003
Beschreibung:    This lecture introduces the basic concepts of functional programming by the example of the OCaml language. Furthermore, techniques to prove properties of imperative and functional programs are taught.
Program Optimization
Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:Wednesdays & Thursdays 10:00 - 12:00 , 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.
Language based Security
Dozent:Prof. Dr. Stefan Brunthaler
Ort/Zeit:Thursdays 10:00-12:00 in MI 02.07.034
ModulNummer:IN2362
Beschreibung:    In this course we look at attacks and defenses exploiting the runtime organization of programs.
Praktika
Practical Course - Program Optimization with LLVM
Dozent:Dr. Michael Petter
Ort/Zeit:daily, 5th Nov - 23rd Nov 9:00-17:00 in MI 02.07.051
ModulNummer:IN2106, IN0012
Beschreibung:    We integrate an own optimization pass into LLVM's opt tool.
Seminare
TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 7 ms