In this course, we focus on concurrent programming in the object oriented language Java. The course consists of three main parts. In the first part, we discuss concurrent programming in general. In the second part, we concentrate on writing concurrent programs in Java. In the third and final part, we look at techniques and tools to verify concurrent Java programs.
Mondays and Wednesdays, 11:30-13:00, Ross Building, room S536
Mondays and Wednesdays, 13:00-14:00, Computer Science and Engineering Building, room 3046.
Additional material, discussions, etcetera can be found at the forum.