Tentative semester plan 2019


Lectures

WeekDateSlide setTopicRemarks
2 07.01 01,02 Introduction, Determinisitc Finite Automata (DFA)
10.01 03 Non-deterministic Finite Automata (NFA) and Regular Expressions
3 14.01 04,05 NFA-DFA conversion, state minimization, lexical analysis summary flex examples
17.01 06 Context-Free Grammars
4 21.01 07,08 Top-down and bottom-up parsing, LL(1) parser construction
24.01 09 Bottom-up parsing, LR(0) parser construction
5 28.01 10,11 LR(0), SLR, LALR and LR(1) parsing tables
31.01 12 Syntax-directed definition
6 04.02 own Operational semantics (Extracurricular)
07.02 13 Type judgments
7 11.02 14,15 Type checking, derived types
14.02 16 Three-address code (TAC)
8 18.02 17,18 Run time stack, function calls and stack frames
21.02 19 Simple objects
9 25.02 20,21 Basics of x86_64 instruction set architecture
28.02 22 Introduction to optimizations
1004.03 23,24 Control flow graphs and liveness analysis
07.03 25 Dataflow analysis framework
1111.03 Cancelled
14.03 Cancelled
1218.03 26,27 Dataflow analysis instances
21.03 28 Dataflow analysis summary
1325.03 29,30 Control flow and loop detection, instruction selection
28.03 31 Register allocation
1401.04 Summary
04.04 Summary
1508.04 Denotational semantics (Extracurricular) Excursion week, 3rd year
11.04 Fixed points (Extracurricular) Excursion week, 3rd year
1608.04 Easter
11.04 Easter
1724.04 Teaching ends

Problem sets

PSOutDueRemarks
1Jan. 22nd Feb. 3rd
2Feb. 4th Feb. 17th
3Feb. 18th Mar. 7th
4Mar. 10th Mar. 23rdGraded
5Mar. 24th Apr. 30thGraded

Topics, slides and chapters

TopicSlidesChapters
Lexical analysis 02-05 3-3.4, 3.6, 3.7, 3.9.6
Syntactic analysis 06-11 4-4.4.3, 4.4-4.8
High-level intermediate representation 06-11 5-5.4
Low-level intermediate representation 16-17 6.2, 6.4, 6.6, 6.8, 6.9
Target machine architecture 18-21 7-7.4, 8-8.3
Dataflow analysis 22-28 8.4-9.6
Analysis applications 29-31 8.8, 8.9

Copies of the slides

Introduction to C

Slide set 01
Slide set 02
Slide set 03
Slide set 04
Slide set 05
Slide set 06
Slide set 07
Slide set 08
Slide set 09
Slide set 10
Slide set 11
Slide set 12
Operational Semantics
Slide set 13
Slide set 14
Slide set 15
Slide set 16
Slide set 17
Slide set 18
Slide set 19
Slide set 20,21
Slide set 22
Slide set 23
Slide set 24
Slide set 25
Slide set 26
Slide set 27
Slide set 28
Slide set 29
Slide set 30
Slide set 31


Summary pt.1
Summary pt.2

Denotational_Semantics
Fixed_Points