Lab for Automated Reasoning and Analysis LARA

Computer Language Processing

CS-320, Edition 2017

Moodle Page

Staff

Instructor Viktor Kunčak
PhD Assistants Manos Koukoutos and Georg S. Schmid
MSc Assistants Quentin Laville and Valentin Moullet
Secretary Sylvie Jankow

Grading

  • 50% Projects
  • 50% Quiz

Lab material

Slides

Search in this pile

Week 01, September 18

Please note the unusual schedule the first week. The second week schedule is more typical.

Monday 10:15am NO CLASSES
Wednesday 8:15am INF213 Lecture: Introduction
Wednesday 10:15am INF213 Labs 01 (always bring own laptops)

You may also wish to check the Gobble Gook video, which relates the subtle difference between compilers and interpreters to the familiar everyday situation of landing on an alien planet.

Week 02, September 25

Monday 10:15am CE1103 Lecture: Regular Languages
Wednesday 8:15am INF213 Labs 02 and cont. Labs 01
Wednesday 10:15am INF213 Lecture: Lexical Analyzers: manual, automated

Week 03, October 2

Monday 10:15am CE1103 Exercises 01: Automata
Wednesday 8:15am INF213 Cont. Labs 02
Wednesday 10:15am INF213 Exercises 02: Lexical Analysis

Week 04, October 9

Monday 10:15am CE1103 Lecture 04: Grammars and Parsing: PDF
Wednesday 8:15am INF213 Lecture 05: LL(1) Parsing: PDF
Wednesday 10:15am INF213 Labs 03

Week 05, October 16

Monday 10:15am CE1103 Exercises 03: Context-Free Grammars / Parsing
Wednesday 8:15am INF213 Cont. Labs 03
Wednesday 10:15am INF213 Lecture 06: LL(1) Parsing (ctd.) / CYK Parsing (PDF)

Week 06, October 23

Monday 10:15am CE1103 Lecture 07: Chomsky Normal Form. Name Analysis PDF
Wednesday 8:15am INF213 Labs 04 and cont. Labs 03
Wednesday 10:15am INF213 Lecture 08: Names and types PDF

Week 07, October 30

Monday 10:15am CE1103 Lecture 09: Type soundness PDF
Wednesday 8:15am INF213 Cont. Labs 04
Wednesday 10:15am INF213 Exercises 04: Type checking

Week 08, November 06

Monday 10:15am CE1103 Lecture 10: Type inference PDF
Wednesday 8:15am INF213 Labs 05 and cont. Labs 04
Wednesday 10:15am INF213 Exercises 05: Type inference (and some additional material on subtyping)

Week 09, November 13

Monday 10:15am CE1103 Lecture 11: Code generation for expressions (PDF with slides as given and pptx with some extra slides). See also WA@PLDI'17 and WA Doc
Wednesday 8:15am INF213 Labs 06 and cont. Labs 05
Wednesday 10:15am INF213 Exercises 06: Code generation

Week 10, November 20

Monday 10:15am CE1103 Exercises
Wednesday 8:05am-11:55 INF213 Quiz

Week 11, November 27

Monday 10:15am CE1103 Lecture 12: Code generation.
Wednesday 8:15am INF213 Labs 06
Wednesday 10:15am INF213 Discussion of quiz solutions

Week 12, December 04

Monday 10:15am CE1103 Lecture 13: Code generation
Wednesday 8:15am INF213 Labs
Wednesday 10:15am INF213 Labs

Week 13, December 11

Monday 10:15am CE1103 Lecture 14: Program analysis
Wednesday 8:15am INF213 Labs
Wednesday 10:15am INF213 Discussion of quiz results

Week 14, December 18

Monday 10:15am CE1103 Project presentations and discussions
Wednesday 8:15am INF213 Project presentations and discussions
Wednesday 10:15am INF213 Project presentations and discussions

Last year's edition: 2016


Attribution-ShareAlike 2.5 Generic (CC BY-SA 2.5) Creative Commons Licence

 
cc17/top.txt · Last modified: 2017/11/16 14:41 by manos