Submitting the assignment

In this course we shall use Submit.

The deadlines for the various assignments and parts of assignments to be submitted are listed below. Try to be on time; this greatly simplifies the administration task. People who submit too late, should take into account that they will get at least a one point penalty for the overhead (out of ten), depending on how much too late the submission is.

We expect every submission to be in the form of a single zip file including the necessary code and/or documentation, as explained on the page for the assignment. If you want to hand in an assignment written on paper, you should still use Submit to send me something (before the deadline of course) to facilitate administration of the grades.

Handing it to me in person at a lecture, or putting it in my CGN post box (top floor) are the most likely ways of submitting something on paper.

Assignments

The following deadlines exist, ordered by deadline date.

  1. Data flow analysis assignment submit as dataflow [Deadline (recently extended to) saturday 22nd of May, 14:00]
  2. Monotone framework programming assignment part one submit as monotone1 [Deadline friday 28th of May, 14:00]
  3. Control flow analysis assignment submit as controlflow [Deadline monday 14th of June, 10:45]
  4. Monotone framework programming assignment part two submit as monotone2 [Deadline friday 25th of June, 14:00]
  5. Abstract interpretation assignment submit as absint [Deadline friday 2nd of July, 14:00]

jur@cs.uu.nl