Lab for Automated Reasoning and Analysis LARA

Computer Language Processing

CS-320, Edition 2015

Moodle Page

Staff

Instructor Viktor Kuncak
PhD Assistants Manos Koukoutos and Ravi Kandhadai
MSc Assistants Tristan Overney and Allan Renucci
Infrastructure advice Etienne Kneuss
Secretary Yvette Gallay

Grading

  • 50% Projects
  • 50% Quiz (expected tentatively on Wednesday, November 18)

Stuff: Course Materials

Slides on drive: accessible here.

Week 01, September 14

Monday 10:15am CE 1103 Lecturecise 01: Introduction to Computer Language
Wednesday 8:15am INF213 Labs (always bring own laptops) Labs setup and then Labs 01
Wednesday 10:15am INF213 Lecturecise 02: Formal Languages. Regular Expressions. Building Lexers

Week 02, September 21

Monday NO CLASSES
Wednesday 8:15am INF213 Finish Labs 01 and Start Labs 02
Wednesday 10:15am INF213 Lecturecise 03: Maximal Munch. Regular Expressions to Automata and Lexers

Week 03, September 28

Monday 10:15am CE 1103 Lecturecise 04: Regular Expressions, Automata and Lexers (PDF)
Wednesday 8:15am INF213 Labs 02 - Lexer
Wednesday 10:15am INF213 Lecturecise 05: Grammars and Parsing

Week 04, October 5

Week 05, October 12

Week 06, October 19

Monday 10:15am CE 1103 Lecturecise 10: Name Analysis (PDF)
Wednesday 08:15am INF213 Labs 03 - Parser
Wednesday 10:15am INF213 Lecturecise 11: Exercises on CYK and CNF (PDF)
Exercise 10 solution

Week 07, October 26

Monday 10:15am CE 1103 Lecturecise 12: Type Checking Introduction (PDF)
Wednesday 8:15am INF213 Labs 03 - Parser (no exercises or lecture!)
Wednesday 10:15am INF213 Labs 03 - Parser (no exercises or lecture!)

Week 08, November 2

Monday 10:15am CE 1103 Lecturecise 13: Type Checking: Subtyping and Soundness (PDF)
Wednesday 8:15am - 10pm INF213 Labs 04 - Name analysis
Wednesday 10:15am - 12pm INF213 Lecturecise 14: Type Checking Exercises (PDF)

Week 09, November 9

Week 10, November 16

Monday 10:15am CE 1103 Lecturecise 17: Quiz review. See sample quizzes from past years
Wednesday 8.15am-11:55 INF213 QUIZ quiz-solution make-up quiz solution

Week 11, November 23

Week 12, November 30

Week 13, December 7

Monday 10:15am CE 1103 Continue Labs 06, Final Project Phase Assignment
Wednesday 8:15am INF213 Final Project Phase
Wednesday 10:15am INF213 Lecturecise 22: Dataflow analysis in PHP, Scala and Leon (Etienne)

Week 14, December 14

 
cc15/top.txt · Last modified: 2015/12/10 16:19 by ravi