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)
	..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	Operational Semantics and Type Checking (solutions)
	..34..	Fri	28.03.2025	13:15	ELA 2	Lecture 8	Finish Type Inference (PDF). Start Code generation: Examples and Web Assembly (PDF) Compiling Expressions (PDF)
	..34..	Fri	28.03.2025	15:15	ELA 2	Lab 4	Typer lab
7	...4..	Wed	02.04.2025	13:15	BC 01	Exercises 5	Type checking and more (solutions); Review exercises (solutions)
	...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	Solutions of last week's Exam. Lab 05
	...45.	Fri	11.04.2025	13:15	ELA 2	Lecture 9	Simple Code Generation for If (PDF), Translating Control with Destination Parameters (PDF), Register Machines (PDF)
	...45.	Fri	11.04.2025	15:15	ELA 2	Lab 5	Lab 05

Schedule and Materials - Current

Week	Labs	Day	Date	Time	Room	Topic	Materials
9	....56	Wed	16.04.2025	13:15	BC 01	Lab 5	Lab 05. Pick Lab 06 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	Compiler correctness 1, Compiler Correctness 2
11	.....6	Wed	07.05.2025	13:15	BC 01	Lecture 10	Parsing general grammars
	.....6	Fri	09.05.2025	13:15	ELA 2	Guest Lecture	Sebastien Doeraene: Scala's Wasm backend (docs)
	.....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