Lectures

(Tentative) Schedule 2019-2020

Q1

• Thu Sep 5, 10:45-12:30, EWI Boole: What is a compiler?
• Fri Sep 6, 13:45-15:30, EWI Pi: Syntax Definition
• Thu Sep 12, 10:45-12:30, EWI Boole: Parsing
• Thu Sep 19, 17:45-19:30, EWI Boole: Syntactic (Editor) Services
• Thu Sep 26, 10:45-12:30, EWI Boole: Transformation
• Thu Oct 3, 10:45-12:30, EWI Boole: Introduction to Static Analysis
• Thu Oct 10, 10:45-12:30, EWI Boole: Type System Specification with Statix
• Thu Oct 17, 10:45-12:30, EWI Boole: Type Constraints
• Thu Oct 24, 10:45-12:30, EWI Boole: no lecture
• Thu Oct 31, 13:30-16:30, IO-PC hall 2 (CTRL): Exam Q1

Q2

• Wed Nov 13, 15:45-17:30, EWI Boole: Data-flow Analysis
• Wed Nov 20, 15:45-17:30, EWI Boole: Monotone Frameworks
• Wed Nov 27, 15:45-17:30, EWI Boole: Virtual Machines
• Wed Dec 4, 15:45-17:30, EWI Boole: Code Generation
• Wed Dec 11, 15:45-17:30, EWI Boole: canceled
• Wed Dec 18, 15:45-17:30, EWI Boole: Memory Management
• Wed Jan 8, 15:45-17:30, EWI Boole: Guest Lecture Guido Wachsmuth
• Wed Jan 15, 15:45-17:30, EWI Boole: Beyond Compiler Construction
• Fri Jan 31, 13:30-16:30, IO-PC hall 3 (SHIFT): Exam Q2