CS492B Analysis of Concurrent Programs, Spring 16

Announcement

  • The lectures on April 5 and 7 will be given by Prof. Moonzoo Kim on the concurrent program testing techniques
  • Classes on May 17 and 19 will be taught by Prof. Jaehyuk Hur
  • No class on May 5 due to the national holiday (children's day)
  • Quiz on May 24
  • No class on May 26 due to graduate program entrance interview exam (makeup class on May 26 8-9 pm)
  • Noah BBS on CS492B will be re-created soon (Noah BBS was crashed due to HW failure last week)

Administrative Information

  • Prof. Jaehyuk Huh

    Office: 4406
    Phone: 042-350-3515
    E-mail: jhhuh @ kaist.ac.kr
    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 @ cs.kaist.ac.kr
    Office hour: TBD
    (reservation e-mail would be preferred)

  • Teaching assistants: Bokyeong Kim (bokyeong @ calab.kaist.ac.kr)
  • Lecture hours: Tue/Thur 9-10:15
  • Lecture room: N1 Rm# 112
  • 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: 10%, HW: 50%, exam:40%
    • 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 may 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