George Mason University
DEPARTMENT OF COMPUTER SCIENCE
Prerequisites | Description | Readings | Syllabus | Grading | Late | Home Page
Professor Richard Carver
Office hours: T: 12:45-1:20pm and R: 3:30-4:15pm; and by appointment
Office: Nguyen Engineering Building 5318
CS 571 and (SWE 621 or 631 or equivalent). (Qualified students who cannot satisfy the prerequisites are encouraged to contact the instructor about authorization to enroll.)
CS706 covers issues related to the development of concurrent software systems. Topics include: concurrent programming languages and libraries (Java, C++/Win32/Pthreads), specification, design, verification, and validation of concurrent programs, parallel programming and performance issues.
Required: Modern Multithreading: Implementing, Testing, and Debugging Multithreaded Java and C++/Pthreads/Win32 Programs, by Carver and Tai. (On reserve in the library: Modern Multithreading QA76.642 .C38 2006)
LOGISTICS AND GRADING:
Homeworks and projects will be assigned. A midterm exam will be given. Students are required to solve concurrent programming problems and to check their solutions by using verification, testing, and debugging tools.
The grade for the course will be based on the following components: (i) Programming and Homework Assignments (50%) (iii) Mid-term exam (25%) (iii) Project (25%).
LATE ASSIGNMENTS AND PROJECTS:
The late submission policy is as follows: assignments will be marked down 5% for each late day for the first three days after the due date. Beyond that assignments will be marked down 10% for each late day.
Read the CS Department honor code: http://cs.gmu.edu/wiki/pmwiki.php/HonorCode/CSHonorCodePolicies and the University honor code: http://oai.gmu.edu/the-mason-honor-code/. You are bound by these honor codes. Any submitted work which shows too much commonality with others' work to be completely original, or any plagiarized work, will receive a grade of 0. Any code which is presented in class or provided to you as part of the project may be included in your programs.
CLASS HOME PAGE