Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

cc18:top [2018/09/14 17:32]
vkuncak [Week 01, September 17]
cc18:top [2018/11/15 10:14] (current)
romain [Week 09, November 12]
Line 3: Line 3:
 CS-320, Edition 2018 CS-320, Edition 2018
  
 +  * [[https://​courseware.epfl.ch/​courses/​course-v1:​EPFL+CS-320+2018/​course/​|Submit your lab assignment]]
   * [[http://​moodle.epfl.ch/​course/​view.php?​id=4241|Moodle Page]]   * [[http://​moodle.epfl.ch/​course/​view.php?​id=4241|Moodle Page]]
   *  [[https://​calendar.google.com/​calendar/​embed?​mode=WEEK&​amp;​height=600&​amp;​wkst=2&​amp;​bgcolor=%23FFFFFF&​amp;​src=bknocri186tqu1hmfpdqrs80to%40group.calendar.google.com&​amp;​color=%232952A3&​amp;​ctz=Europe%2FZurich|Google Calendar Link]]   *  [[https://​calendar.google.com/​calendar/​embed?​mode=WEEK&​amp;​height=600&​amp;​wkst=2&​amp;​bgcolor=%23FFFFFF&​amp;​src=bknocri186tqu1hmfpdqrs80to%40group.calendar.google.com&​amp;​color=%232952A3&​amp;​ctz=Europe%2FZurich|Google Calendar Link]]
Line 11: Line 12:
 | **Instructor** ​            | [[http://​lara.epfl.ch/​~kuncak|Viktor Kunčak]] ​ | | **Instructor** ​            | [[http://​lara.epfl.ch/​~kuncak|Viktor Kunčak]] ​ |
 | **PhD Assistants** ​   | [[https://​people.epfl.ch/​georg.schmid|Georg S. Schmid]] and [[https://​people.epfl.ch/​romain.edelmann|Romain Edelmann]]| | **PhD Assistants** ​   | [[https://​people.epfl.ch/​georg.schmid|Georg S. Schmid]] and [[https://​people.epfl.ch/​romain.edelmann|Romain Edelmann]]|
-| **MSc Assistants** | [[https://​people.epfl.ch/​karine.perrard|Karine Perrard]] | +| **MSc Assistants** | [[https://​people.epfl.ch/​karine.perrard|Karine Perrard]] and [[https://​people.epfl.ch/​maxime.kjaer|Maxime Kjaer]] | 
 | **Secretary** ​             | [[http://​people.epfl.ch/​sylvie.jankow|Sylvie Jankow]] ​ | | **Secretary** ​             | [[http://​people.epfl.ch/​sylvie.jankow|Sylvie Jankow]] ​ |
 +
 +===== Upcoming Office Hours =====
 +
 +  * **Georg Schmid:** 25th September (Tue), 10:00am - 11:00am, BC355
 +
  
 ===== Grading ===== ===== Grading =====
Line 23: Line 29:
   * The [[Amy specification]]   * The [[Amy specification]]
   * The [[Amy reference compiler]]   * The [[Amy reference compiler]]
 +  * [[Labs setup]]
  
 First class: Wednesday 19 September at 8:15am in the classroom INF213. First class: Wednesday 19 September at 8:15am in the classroom INF213.
Line 32: Line 39:
  
 | Monday ​    | NO CLASSES | | Monday ​    | NO CLASSES |
-| Wednesday ​ | Lecture 1: [[https://​docs.google.com/​presentation/​d/​1oNtWuoSXekrLVb3K8uac3p_mXnco1UssEienDnIHG9A/​edit?​usp=sharing|Lecture ​Slides]] |  +| Wednesday ​ | [[https://​docs.google.com/​presentation/​d/​1oNtWuoSXekrLVb3K8uac3p_mXnco1UssEienDnIHG9A/​edit?​usp=sharing|Lecture ​01 Slides]] |  
-| Thursday ​  | [[Labs 01]] (**always bring own laptops**) |+| Thursday ​  | [[Labs 01]] in INF 119 (**always bring own laptops**) | 
 + 
 +Wikipedia articles: 
 +  * [[wp>​Programming language]] 
 +  * [[wp>​Syntax (programming languages)]]
  
 You may also wish to check the [[https://​www.youtube.com/​watch?​v=_C5AHaS1mOA|Gobble Gook]] video, which relates the subtle difference between compilers and interpreters to the familiar everyday situation of landing on an alien planet. You may also wish to check the [[https://​www.youtube.com/​watch?​v=_C5AHaS1mOA|Gobble Gook]] video, which relates the subtle difference between compilers and interpreters to the familiar everyday situation of landing on an alien planet.
Line 39: Line 50:
 ==== Week 02, September 24 ==== ==== Week 02, September 24 ====
  
-| Monday ​    | Lecture | +| Monday ​    | Lecture ​02 (in CE1 100): [[https://​docs.google.com/​presentation/​d/​1QI-lcvQy0b8Ll54NBZM5-7-ws_dh1VdCEn4IzLncddo/​edit?​usp=sharing|Lecture 2 Slides]] ​
-| Wednesday ​ | Labs |  +| Wednesday ​ | Labs in INF 213. Finish [[Labs 01]], start [[Labs 02]] |  
-| Thursday ​  | Exercises |+| Thursday ​  | Lecture 03 (in INF 119): [[https://​docs.google.com/​presentation/​d/​12VgtTU1kLl70pLCSFmtqP64ctbm-gx1oxQhCdPhFhZ4/​edit?​usp=sharing|part1]],​ {{:​cc18:​lec03-part2.pdf|part2}} | 
 + 
 +==== Week 03, October 01 ==== 
 + 
 +| Monday ​    | Lecture 04 on Automata (in CE1 100): {{:​cc18:​lec04-given.pdf|PDF slides}} | 
 +| Wednesday ​ | Labs in INF 213. Continue [[Labs 02]] |  
 +| Thursday ​  | Exercises ​01 in INF 119. {{:​cc18:​exes01.pdf|Slides}} | 
 + 
 +==== Week 04, October 08 ==== 
 + 
 +| Monday ​    | Exercises 02 on Automata (in CE1 100): {{:​cc18:​exes02.pdf|Slides}} | 
 +| Wednesday ​ | Labs in INF 213. Continue [[Labs 02]], start [[Labs 03]] |  
 +| Thursday ​  | Lecture 05 on CF Grammars, INF 119: {{:​cc18:​lec05.pdf|Slides in PDF}} | 
 + 
 +==== Week 05, October 15 ==== 
 + 
 +| Monday ​    | Lecture 06 (in CE1 100): {{:​cc18:​lec06-ll1.pdf|Slides on LL1}}  | 
 +| Wednesday ​ | Continue [[Labs 03]] in INF 213 |  
 +| Thursday ​  | Exercises 03 in INF 119: {{:​cc18:​exercise-session-3.pdf|Exercise sheet}}, {{:​cc18:​exercises-session-3-solutions.pdf|Beautifully handwritten solutions}} | 
 + 
 +==== Week 06, October 22 ==== 
 + 
 +| Monday ​    | Lecture 07 (in CE1 100): {{:​cc18:​lec06-cyk.pdf|Slides on CYK}}, {{:​cc18:​lec07-cnf.pdf|Slides on CNF}}, {{:​cc18:​lec07-name-analysis-1.pdf|Name Analysis Part 1}}  | 
 +| Wednesday ​ | Continue [[Labs 03]] in INF 213 |  
 +| Thursday ​  | Exercises 04 in INF 119: {{:​cc18:​exercise_session_4.pdf|Exercise sheet}}, {{:​cc18:​exercises-4-solutions.pdf|Handwritten solutions}} | 
 + 
 +==== Week 07, October 29 ==== 
 + 
 +| Monday ​    | Lecture 08 (in CE1 100): {{:​cc18:​lec08-name-analysis-2.pdf|Name Analysis Part 2}}, {{:​cc18:​lec08-type-checking-1.pdf|Type Checking Part 1}} | 
 +| Wednesday ​ | Finish up [[Labs 03]] and Start [[Labs 04]] in INF 213 |  
 +| Thursday ​  | Exercises 05 in INF 119: {{:​cc18:​exercise_session_5.pdf|Exercise sheet}}, {{:​cc18:​exercises-5-solutions.pdf|Handwritten solutions}} | 
 + 
 +==== Week 08, November 05 ==== 
 + 
 +| Monday ​    | Lecture 09 (in CE1 100): {{:​cc18:​lecture09.pdf|Type Soundness}} | 
 +| Wednesday ​    | Labs in INF213 - Continue [[Labs 04]] | 
 +| Monday ​    | Exercises 06 in INF119: {{:​cc18:​exercise_session_6.pdf|Exercise sheet}}, {{:​cc18:​exercises-6-solutions.pdf|Handwritten solutions}} | 
 + 
 +==== Week 09, November 12 ==== 
 + 
 +| Monday ​    | Lecture 10 (in CE1 100): {{:​cc18:​lecture10.pdf|Type Inference}} | 
 +| Wednesday ​    | Labs in INF213 - Start [[Labs 05]] | 
 +| Thursday ​    | Exercises 07 in INF119: {{:​cc18:​exercise_session_7.pdf|Exercise sheet}}, {{:​cc18:​exercise_session_7_solutions.pdf|Solutions}} | 
 + 
 +---- 
 + 
 +==== Week 10, November 19 ==== 
 + 
 +| Monday ​    | {{:​cc18:​lecture11.pdf|Lecture 11: Code Generation}} | 
 +| Wednesday ​ | Labs in INF213 - Continue [[Labs 05]] and (potentially) start code generation ([[Labs 06]]). | 
 +| Thursday ​  | Quiz Review Exercises | 
 + 
 +==== Week 11, November 26 ==== 
 + 
 +| Monday ​    | Quiz Review Exercises | 
 +| Wednesday ​ | Labs in INF213 - Continue [[Labs 05]] and [[Labs 06]] | 
 +| Thursday ​  | **QUIZ** in **different room, INJ 218**. Arrive by 8:05am | 
 + 
 +==== Week 12, December 3 ==== 
 + 
 +| Monday ​    | Lecture 12 on Code Generation | 
 +| Wednesday ​ | Labs in INF213 - Continue [[Labs 06]]; introduction to [[Labs 07]] and group formation | 
 +| Thursday ​  | Quiz Solution Discussion | 
 + 
 +==== Week 13, December 10 ==== 
 + 
 +| Monday ​    | Lecture 13 on Code Generation | 
 +| Wednesday ​ | Labs in INF213 - Continue [[Labs 06]] and [[Labs 07]] | 
 +| Thursday ​  | Labs | 
 + 
 +==== Week 14, December 17 ==== 
 + 
 +| Monday ​    | Labs | 
 +| Wednesday ​ | [[Labs 07]] project presentations | 
 +| Thursday ​  | [[Labs 07]] project presentations ​|
  
 ---- ----
 
cc18/top.1536939179.txt.gz · Last modified: 2018/09/14 17:32 by vkuncak
 
© EPFL 2018 - Legal notice