CSE 763 — Introduction to Distributed Systems
Spring 2007


Instructor Prof. Paul Sivilotti
TA Mariana Sharp
Time/Place Mon/Wed/Fri, 9:30–10:18, in DL 264
Syllabus see here
Newsgroup cse.course.cse763
Credits U G 3

Handouts

A course packet with lecture notes can be purchased at UniPrint (first floor, Tuttle garage).

Assignments

Number Due Date Description
0 Friday, Mar 30 Mug Shots
1 Friday, Apr 6 Predicate Calculus
2 Friday, Apr 13 Reasoning About Program—Safety
3 Friday, Apr 20 Reasoning About Programs—Progress
4 Friday, Apr 27 Time
5 Wednesday, May 16 Resource Allocation
6 Friday, May 25 Termination Detection
7 Friday, June 1 Consensus and Self-Stabilization

Exams

Quiz Day, time Reference
Material
Results
Minute Quizzes randomly scattered
Midterm Friday May 4, in class Reference Pages
Final Wednesday June 6, 9:30–11:18 open notes

Contact Information

The best way to get a course-related question answered quickly is to post to the class newsgroup. We will use this newsgroup to make general announcements as well as to answer questions that may have general relevance. You should check this newsgroup daily.

Dr. Paul Sivilotti Mariana Sharp
email paolo (at cse) sharpm (at cse)
office Dreese 695 Dreese 674
phone 292-5835 292-8234
hours Wed. 12:30 – 1:30 pm
Fri. 10:30 – 11:30 am
Wed. 12:30 – 2:30 pm