Software System Design and Implementation (COMP3141)

Semester 1, 2013

Important Information

Course Information

Lecture: Wed, 14:00-16:00 @ CLB 5 (K-E19-G06)

Fri, 15:00-16:00 @ CLB 3 (K-E19-G04)

Staff Details:

LiC	: Manuel Chakravarty
Consult.	: Friday, 14:00-15:00

Tutor

: none, courtesy of budget cuts

All email to cs3141@cse.unsw.edu.au

Timetable
Schedule, lecture slides & additional notes
Exercises
Assignment 1 (deadline is 14 April 2013)
Assignment 2 (deadline is 12 May 2013)
Assignment 3 (deadline is 26 May 2013)
#Assignment 4 (deadline is TBD)
#Sample exam question (solution)

Useful Resources

Course Forum
Course Software
Haskell Resources
Background reading:
- Social processes, program verification and all that, Andrea Asperti, Herman Geuvers and Raja Natarajan, Mathematical Structures in Computer Science (to access the fulltext version, you need to be in the UNSW domain, or use the CSE VPN)
- Type Theory Comes of Age, Alex Wright, Communications of the ACM
- seL4: Formal Verification of an OS Kernel, Klein et al., 22nd ACM Symposium on Principles of Operating Systems (SOSP)
HALL OF CHAMPIONS

Note: This web page will be the most accurate source of information during the subject, and you should consult it frequently.

#Items marked with the hash sign (#) will be activated during the course.