Lab for Automated Reasoning and Analysis LARA

Compiler Construction 2012

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

Programs that Generate Programs, Illustrated by M.C.Escher's Drawing Hands (fair use, see http://en.wikipedia.org/wiki/File:DrawingHands.jpg)

Related Coursera courses: Compilers by Alex Aiken, Automata by Jeffrey Ullman

Quick links: Official Schedule , Moodle page , Repository server , Tool Compiler Project

All activities are in INM202.

Lab Overview

General Information

Note that:

  • the time slots for lectures, exercises, and labs are interchangeable
  • attendance is strongly recommended in all slots

Will follow the structure of Compiler Construction in 2011.

Staff

Instructor Viktor Kuncak
PhD Assistants Eva Darulova and Etienne Kneuss
MSc Assistants Ivan Kuraj
Secretary Yvette Gallay

Course Materials

Week 01, September 17

Week 02, September 24

Week 03, October 01

Week 04, October 08

Week 05, October 15

Week 06, October 22

Week 07, October 29

Week 08, November 05

Week 09, November 12

Partial Bytecode Instruction List

Week 10, November 19

Week 11, November 26

Week 12, December 03

Week 13, December 10

Week 14, December 17

 
cc12/top.txt · Last modified: 2013/01/27 15:20 by vkuncak