Skip to content
Snippets Groups Projects
Select Git revision
  • b01f7cdc1c992d2811789415d1fe85d0af568f97
  • main default protected
  • fall2022
  • 2021
4 results

cs320

  • Clone with SSH
  • Clone with HTTPS
  • Name Last commit Last update
    info
    README.md

    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

    Schedule and Materials - Current

    Week Labs Day Date Time Room Topic Materials
    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