diff --git a/README.md b/README.md index fb82cb996c4e654b93c9c12f94a8da863e4b9f9a..d968bbc33228a5e1ad85e831cd57544845a03054 100644 --- a/README.md +++ b/README.md @@ -14,8 +14,8 @@ The grade is based on a midterm (30%) as well as team project work (70%). Please ## Schedule and Materials - Past Weeks -| Week | Labs | Day | Date | Time | Room | Topic | Materials | | -| :-- | :-- | :-- | :-- | :-- | :-- | :-- | :-- | :-- | +| Week | Labs | Day | Date | Time | Room | Topic | Materials +| :-- | :-- | :-- | :-- | :-- | :-- | :-- | :-- | 1 | | Wed | 19.02.2025 | 13:15 | BC 01 | Lecture 1 | [Intro to CLP](https://mediaspace.epfl.ch/media/01-01%2C+Intro+to+Computer+Language+Processing/0_okro5h0v) [(PDF)](info/lectures/lec01a.pdf), [Formal languages](https://mediaspace.epfl.ch/media/01-02%2C+Formal+Languages/0_segfj94w) [(PDF)](info/lectures/lec01b.pdf) | | | | Fri | 21.02.2025 | 13:15 | ELA 2 | Lecture 2 | [Operations on Formal Languages](https://mediaspace.epfl.ch/media/02-01%2C+Operations+on+Formal+Languages/0_otyeghg6), [Regular Expressions and Idea of a Lexer](https://mediaspace.epfl.ch/media/02-02%2C+Regular+Expressions+and+Lexer+Idea/0_th59v9kx) [(PDF)](info/lectures/lec02.pdf) | | | 1.... | Fri | 21.02.2025 | 15:15 | ELA 2 | Lab 1 | [Interpreter lab released (due in 2 weeks)](./info/labs/lab01/) | @@ -26,43 +26,53 @@ The grade is based on a midterm (30%) as well as team project work (70%). Please | | 12.... | Fri | 07.03.2025 | 13:15 | ELA 2 | Exercises 2 | [Grammar Concepts](info/exercises/ex-02.pdf) [(solutions)](info/exercises/ex-02-sol.pdf) | | | 123... | Fri | 07.03.2025 | 15:15 | ELA 2 | Lab 3 | [Parser lab](info/labs/lab03/) release | | 4 | .23... | Wed | 12.03.2025 | 13:15 | BC 01 | Lecture 5 | [LL(1) Parsing](https://mediaspace.epfl.ch/media/04-03%2C+LL%281%29+Parsing/0_se2zd8kt) [(PDF)](info/lectures/lec05-ll1.pdf). [Scallion Tutorial](https://mediaspace.epfl.ch/media/04-10%2C+Scallion+tutorial/0_lypn7l0x) | +| | .23... | Fri | 14.03.2025 | 13:15 | ELA 2 | Lecture 6 | [Name Analysis](https://mediaspace.epfl.ch/media/06-01%2C+Name+Analysis/0_1b9t1hz8) [(PDF)](info/lectures/lec06-name-analysis.pdf), [Type Systems as Inductive Relations](https://mediaspace.epfl.ch/media/07-01%2C+Introduction+to+Types+and+Inductive+Relations/0_3hxblocu) [(PDF)](info/lectures/lec06-inductive.pdf) . [Operational Semantics](https://mediaspace.epfl.ch/media/07-02%2C+Operational+Semantics/0_3ru05nbo) [(PDF)](info/lectures/lec06-operational.pdf) | +| | .23... | Fri | 14.03.2025 | 15:15 | ELA 2 | Lab 3 | [Parser lab](info/labs/lab03/) | +| 5 | ..3... | Wed | 19.03.2025 | 13:15 | BC 01 | Exercises 3 | [LL(1) Grammars](info/exercises/ex-03.pdf) [(solutions)](info/exercises/ex-03-sol.pdf) | ## Schedule and Materials - Current -| Week | Labs | Day | Date | Time | Room | Topic | Materials | | -| :-- | :-- | :-- | :-- | :-- | :-- | :-- | :-- | :-- | -| | .23... | Fri | 14.03.2025 | 13:15 | ELA 2 | Lecture 6 | [Name Analysis](https://mediaspace.epfl.ch/media/06-01%2C+Name+Analysis/0_1b9t1hz8) [(PDF)](info/lectures/lec06-name-analysis.pdf), [Type Systems as Inductive Relations](https://mediaspace.epfl.ch/media/07-01%2C+Introduction+to+Types+and+Inductive+Relations/0_3hxblocu) [(PDF)](info/lectures/lec06-inductive.pdf) . [Operational Semantics](https://mediaspace.epfl.ch/media/07-02%2C+Operational+Semantics/0_3ru05nbo) [(PDF)](info/lectures/lec06-operational.pdf) | -| | .23... | Fri | 14.03.2025 | 15:15 | ELA 2 | Lab 3 | Parser lab | -| 5 | ..3... | Wed | 19.03.2025 | 13:15 | BC 01 | Exercises 3 | [LL(1) Grammars](info/exercises/ex-03.pdf) [(solutions)](info/exercises/ex-03-sol.pdf) | +| Week | Labs | Day | Date | Time | Room | Topic | Materials | +| :-- | :-- | :-- | :-- | :-- | :-- | :-- | :-- | | | ..3... | Fri | 21.03.2025 | 13:15 | ELA 2 | Lecture 7 | Type Checking | | | ..34.. | Fri | 21.03.2025 | 15:15 | ELA 2 | Lab 4 | Typer lab release | +| | 6 | ..34.. | Wed | 26.03.2025 | 13:15 | BC 01 | Exercises 4 | Parsing. Type checking | | | ..34.. | Fri | 28.03.2025 | 13:15 | ELA 2 | Lecture 8 | Type Inference. Code generation | | | ..34.. | Fri | 28.03.2025 | 15:15 | ELA 2 | Exercises 5 | Type checking | +| | 7 | ...4.. | Wed | 02.04.2025 | 13:15 | BC 01 | Exercise | | | | ...4.. | Fri | 04.04.2025 | 13:15 | ELA+CM | **EXAM** | | | | ...4.. | Fri | 04.04.2025 | 15:15 | ELA+CM | **EXAM** | | +| | 8 | ...45. | Wed | 09.04.2025 | 13:15 | BC 01 | Lab 5 | Codegen lab release | | | ...45. | Fri | 11.04.2025 | 13:15 | ELA 2 | Lecture 9 | Code generation | | | ...45. | Fri | 11.04.2025 | 15:15 | ELA 2 | Lab 5 | Codegen lab | +| | 9 | ....56 | Wed | 16.04.2025 | 13:15 | BC 01 | Lab 5 | Codegen lab. Pick projects | | | | Fri | 18.04.2025 | 13:15 | ELA 2 | **HOLIDAY** | | | | | Fri | 18.04.2025 | 15:15 | ELA 2 | **HOLIDAY** | | +| | - | | Wed | 23.04.2025 | | | **BREAK** | | | | | Fri | 25.04.2025 | | | **BREAK** | | | | | Fri | 25.04.2025 | | | **BREAK** | | -| 10 | ....56 | Wed | 30.04.2025 | 13:15 | BC 01 | Labs | | -| | ....56 | Fri | 02.05.2025 | 13:15 | ELA 2 | Labs | | +| +| 10 | ....56 | Wed | 30.04.2025 | 13:15 | BC 01 | Labs | **Lab Check-Offs** | +| | ....56 | Fri | 02.05.2025 | 13:15 | ELA 2 | Labs | **Lab Check-Offs** | | | ....56 | Fri | 02.05.2025 | 15:15 | ELA 2 | Lecture 10 | Parsing general grammars | +| | 11 | .....6 | Wed | 07.05.2025 | 13:15 | BC 01 | Lecture 11 | Compiler correctness | | | .....6 | Fri | 09.05.2025 | 13:15 | ELA 2 | Labs | | | | .....6 | Fri | 09.05.2025 | 15:15 | ELA 2 | Labs | | +| | 12 | .....6 | Wed | 14.05.2025 | 13:15 | BC 01 | Labs | | | | .....6 | Fri | 16.05.2025 | 13:15 | ELA 2 | Labs | | | | .....6 | Fri | 16.05.2025 | 15:15 | ELA 2 | Labs | | +| | 13 | .....6 | Wed | 21.05.2025 | 13:15 | BC 01 | | Project presentations | | | .....6 | Fri | 23.05.2025 | 13:15 | ELA 2 | | Project presentations | | | .....6 | Fri | 23.05.2025 | 15:15 | ELA 2 | | Project presentations | +| | 14 | .....6 | Wed | 28.05.2025 | 13:15 | BC 01 | | Project presentations | | | .....6 | Fri | 30.05.2025 | 13:15 | ELA 2 | | Project presentations | | | .....6 | Fri | 30.05.2025 | 15:15 | ELA 2 | | Project presentations |