News

Nov 9, 2017:Lab 4 has been released. This is a large lab:
the handin is split into four parts: Lab 4a is due Nov 16, Lab 4b is due
Nov 30, Lab 4c is due Dec 7, and Lab 4d is due Dec 11. See the assignment
for details.

Oct 18, 2017:Lab 3 has been released. The handin is split
into three parts: Lab 3a is due Oct 19, Lab 3b is due Nov 2, and Lab 3c is
due Nov 9. See the assignment for details.

Oct 4, 2017:Lab 2 has been released. The first half of the
lab is due Oct 12 (see the assignment for details). The rest of the lab is
due Oct 19th.

May 2017: This class is new and will be offered in the Fall of
2017. It is loosely based on the
original
POCS. It provides an introduction the basic principles of computer
systems with emphasis on the use of rigorous techniques as an aid to
understanding and building modern computing systems. The labs will involve
the proof assistant Coq. You should not
take this class if you haven't taken 6.033 and one of the advanced systems
subjects (e.g., 6.824, 6.828, 6.830, or 6.858). We will assume you have no
prior knowledge of Coq.