CS492B Analysis of Concurrent Programs, Spring 13

Announcement

  • Feb 28: Class starts on Mar 2
  • Mar 21: No class on March 24 (Prof. Huh will be out of office for family matter)
  • Mar 26: We will be a regular class meeting.
  • May 9: HW#3 is slightly modified. See the noah board.
  • May 21: No class on June 2
  • May 21: Make-up class on May 27 (Tues) 8 pm
  • May 21: Pop-up quiz on data race detection and/or atomicity violation next week.
  • June 6: Final exam : June 16 (Monday) 13:00- 15:45

Administrative Information

  • Prof. Jaehyuk Huh

    Office: 4406
    Phone: 042-350-3515
    E-mail: jhhuh @ k a i s t . a c. k r
    Office hour: TBD
    (reservation e-mail would be preferred)

  • Prof. Moonzoo Kim

    Office: 2434 (located at the east wing)
    Phone: 042-350-3543
    E-mail: moonzoo @ c s . k a i s t . a c . k r
    Office hour: TBD
    (reservation e-mail would be preferred)

  • Teaching assistants: Bokyeong Kim (bokyeong @ calab. kaist. ac. kr) and Shin Hong (hongshin@gmail.com)
  • Lecture hours: Mon & Wed 1:00 - 2:15 PM
  • Lecture room: 110 (N-1)
  • Prerequisite: Equivalent knowledge obtained in System Programming class (i.e., experience in C/C++/Java as well as unix/linux programming)
  • Grading: attendance, class participation, and quiz: 20%, HW: 50%, final exam:30%
    • Late HW is accepted with 10% penalty of the max score in 1 day, 30% penalty of the max score in 3 days. HW will not be accepted after then.
    • HW should be submitted both in hardcopy and softcopy (through email to TA). 10% penalty for missing hardcopy or softcopy.
    • More than 8 absences of class will get F grade (to start class on time, late attendance is considered as 1/3 absence).
  • Note: The official language in the class is English. All students should submit homeworks and answer exam/quiz in English; 10% penalty otherwise
  • Questions and answers can be done through Noah BBS

Syllabus

This class teaches concurrent programming techniques and concurrent program analysis techniques for shared memory based target systems in C/C++ or Java programming language. This class will be co-taught by Prof. Jaehyuk Huh and Prof. Moonzoo Kim. Prof. Huh will teach concurrent programming techniques in the first half of the semester and Prof. Kim will teach concurrent program analysis techniques in the second half.

Course Material

Course Schedule

Homeworks