Prerequisites | Description | Readings | Syllabus | Grading | Late | Home Page

Professor Richard Carver
703-993-1550
rcarver@cs.gmu.edu
(Please prefix the subject of your email with CS706.)

Course office hours: Tuesday before class (3:30-4:15pm)
Office: Research II 5318

PREREQUISITES :

CS 571 and (SWE 621 or 631 or equivalent).

DESCRIPTION :

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.

READINGS:

SYLLABUS:

• Introduction to concurrent programming
• The critical section problem
• Concurrent constructs based on shared variables
• Concurrent constructs based on message passing
• Testing and Debugging concurrent software systems
• Specifying and verifying concurrent software systems

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.

CLASS HOME PAGE