Current: spring 2024

Compiler construction (INF5110)

Former semesters

The web pages of my older lectures are mostly in German, the slides and the material, however, are often in English. Some of the pages of my old University have undoubtedly disappeared into digital nirvana, though, so not all links may still work. For involvement in teaching during my time at the Technical Faculty at the Friedrich-Alexander University Erlangen-Nuremberg, I no longer have material available (slides were handwritten and we used the blackboard…)

semester title course nr.    
Autumn 2023 Functional Programming IN2040 lecture  
Spring 2023 Compiler construction INF5110 lecture  
Autumn 2022 Functional Programming IN2040 lecture  
  Static analysis IN5440 (and IN9440) lecture  
Spring 2022 Compiler construction INF5110 lecture  
Autumn 2021 Spec. and verif. of parallel systems (“model checking”) IN 5110 lecture  
Spring 2021 Compiler construction INF 5110 lecture  
Autumn 2020 Static analysis IN5440 (and IN9440) lecture  
Spring 2020 Compiler construction INF 5110 lecture  
Autumn 2019 Spec. and verif. of parallel systems (“model checking”) IN 5110 (formerly INF5140) lecture  
Spring 2019 Compiler construction INF 5110 lecture  
Autumn 2018 Static analysis IN 5440/9440 (ex: INF 5906/9906) lecture  
Spring 2018 Compiler construction INF 5110 lecture  
  Spec. and verif. of parallel systems (“model checking”) INF 5140/9140 lecture  
Autumn 2017 Static analysis INF 5906/9906 lecture  
Spring 2017 Compiler construction INF 5110/9110 lecture  
  Spec. and verif. of parallel systems (“model checking”) INF 5140/9140 lecture  
Spring 2016 Static analysis INF 5906/9906 lecture  
  Compiler construction INF 5110/9110 lecture  
Autumn 2015 Models of concurrency INF 4140 (and 4195) lecture  
Spring 2015 Spec. and verif. of parallel systems (“model checking”) INF 5140/9140 lecture  
Autumn 2014 Models of concurrency INF 4140 (and 4195) lecture  
Spring 2014 Static analysis INF 5906/9906 lecture  
Autumn 2013 Models of concurrency INF 4140 lecture  
Autumn 2012 Algos & data structures INF 2220 lecture  
Spring 2012 Static analysis INF 5906/9906 lecture  
Spring 2010 Static analysis INF 5906/9906 lecture  
Autumn 2009 Algos & data structures INF 2220 lecture  
Autumn 2008 Models of concurrency INF 4140 lecture  
Spring 2008 Static analysis INF 5906/9906 lecture  
Autumn 2007 Models of concurrency INF 3410 lecture  
Autumn 2006 Static analysis INF 5906/9906 lecture  
summer 2005 theoretical foundations of object-oriented languages   lecture  
  foundations of concurrent and parallel programming   seminar  
winter 04/05 CS prep course: computers   extra curriculum  
  operating systems   lecture  
  model checking   seminar  
  project conference manager coma (see also the git repos)   sw project  
summer 04 distributed algorithms   seminar  
winter 03/04 CS prep course: computers   extra curriculum  
  operating systems   lecture  
  distributed algorithms   lecture  
  concurrent programming   seminar  
  Enigma reloaded   software project for engineers  
summer 03 sw-engineering lab course   software project lab course  
  compositional verification of concurrent programs   seminar  
  Enigma   software lab course  
  day of the open door: Lego Mindstorms   day of the open door presentation  
winter 02/03 CS prep course: computers   extra curriculum  
  algorithms   lecture  
  distributed algo’s   seminar  
  Lego Mindstorms   programming course  
summer 02 Programming in the many: Sequential Function Charts Modelling Environment Slime   project practicum  
  day of the open door at U. Kiel: Lego Mindstorms   day of the open door presentation  
winter 01/02 algorithms and data structures   lecture  
  computer systems (part of the CS prep course)   extra curriculum  
  component-based software development   seminar  
  operating systems   lecture  
  Embedded Systems II: Lego Mindstorms   practicum  
summer 01 Programming in the many: Sequential Function Chart Modelling Tool Snot (see also the git repos)   sw practicum  
  statemate/SDL   lecture  
  software engineering   project practicum  
  UML   seminar  
winter 00/01 theorem proving   lecture  
  operating systems   lecture  
  algorithms and data structures   lecture  
  static analysis   seminar  
  computer systems (part of CS prep course)   extra curriculum  
summer 00 Programming in the many: Model checking environment for state-transition systems Mist (see also the git repos)   software project  
  distr. algorithms   seminar  
winter 99/00 algorithms and data structures   lecture  
  model checking   seminar  
summer 99 theorem proving   lecture  
  algorithms and data structures   lecture  
  model checking   seminar  
  operating systems proseminar   pro-seminar  
winter 98/99 operating systems   lecture  
  Programming-in-the-many: Programming Environment for Statecharts (PEST) (see also the git repos)   software project  
  semantics and verification of object-oriented programs   seminar  
summer 98 Java course   programming course  
  hardware verification   seminar  
  formal modelling with Rhapsody/statecharts   seminar  
winter 97/98 distributed algorithms   seminar  
  hybrid systems   lecture