EPFL CS320 - Computer language processing, Spring 2025
Links: Moodle and Course Description
Important information:
-
Midterm exam will take place Friday 4 April within the time block 13:00-17:00 in two rooms: ELA 2 and CM 1 120. One reminder sheet (2 sided) will be allowed.
-
Please register for project groups on Moodle as soon as this is possible (Registration link)
Grading
The grade is based on a midterm (30%) as well as team project work (70%). Please read the grading policy page.
Schedule and Materials - Past Weeks
| Week | Labs | Day | Date | Time | Room | Topic | Materials |
|---|---|---|---|---|---|---|---|
| 1 | Wed | 19.02.2025 | 13:15 | BC 01 | Lecture 1 | Intro to CLP (PDF), Formal languages (PDF) | |
| Fri | 21.02.2025 | 13:15 | ELA 2 | Lecture 2 | Operations on Formal Languages, Regular Expressions and Idea of a Lexer (PDF) | ||
| 1.... | Fri | 21.02.2025 | 15:15 | ELA 2 | Lab 1 | Interpreter lab released (due in 2 weeks) | |
| 2 | 1.... | Wed | 26.02.2025 | 13:15 | BC 01 | Lecture 3 | First Symbols. Constructing a Lexer (PDF), From Regular Expressions to Automata (PDF) |
| 1..... | Fri | 28.02.2025 | 13:15 | ELA 2 | Exercise 1 | Languages, Automata and Lexers | |
| 12.... | Fri | 28.02.2025 | 15:15 | ELA 2 | Lab 2 | Lexer lab release | |
| 3 | 12.... | Wed | 05.03.2025 | 13:15 | BC 01 | Lecture 4 | Introduction to Grammars (PDF), Syntax Trees (PDF) |
| 12.... | Fri | 07.03.2025 | 13:15 | ELA 2 | Exercises 2 | Grammar Concepts (solutions) | |
| 123... | Fri | 07.03.2025 | 15:15 | ELA 2 | Lab 3 | Parser lab release | |
| 4 | .23... | Wed | 12.03.2025 | 13:15 | BC 01 | Lecture 5 | LL(1) Parsing (PDF). Scallion Tutorial |
| .23... | Fri | 14.03.2025 | 13:15 | ELA 2 | Lecture 6 | Name Analysis (PDF), Type Systems as Inductive Relations (PDF) . Operational Semantics (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 (solutions) |
Schedule and Materials - Current
| Week | Labs | Day | Date | Time | Room | Topic | Materials |
|---|---|---|---|---|---|---|---|
| ..3... | Fri | 21.03.2025 | 13:15 | ELA 2 | Lecture 7 | Type Checking (PDF), Type Inference (PDF) | |
| ..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 | 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 | Lab 4 | Typer lab | |
| 7 | ...4.. | Wed | 02.04.2025 | 13:15 | BC 01 | Exercise 5 | Type checking and more |
| ...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 | Oral Lab Checks |
| ....56 | Fri | 02.05.2025 | 13:15 | ELA 2 | Labs | Oral Lab Checks | |
| ....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 |
Books
Printed and online books can be helpful, even if our goal is for lectures, exercises, and project instructions to be self-contained.
Staff
| Professor | Viktor Kunčak |
| PhD TA | Samuel Chassot |
| PhD TA | Sankalp Gambhir |
| MSc TA | Sidonie Bouthors |
| MSc TA | Sébastien Kobler |
| MSc TA | Marcin Wojnarowski |
| MSc TA | Jacopo Moretti |