Jun 21, 2010: Trends in Concurrency 2010, part 3
This is the last post about the TiC’10 summer school and covers the two remaining lectures. Mark Moir talked about concurrent data structures and transactional memory, and last but not least, Madan Musuvathi presented the work they did at Microsoft Research to improve the testing of concurrent applications.
Jun 14, 2010: Trends in Concurrency 2010, part 2
This post is a follow up on my first report on the TiC’10 summer school. It covers mainly the talks about X10 and formal aspects of concurrency.
Jun 7, 2010: Trends in Concurrency 2010, part 1
I already posted the presentation I gave at the summer school earlier. In the following posts, I will report a bit about the lectures of the summer school, similar to my posts about the TPLI summer school of last year.
May 25, 2010: Locality and Encapsulation: My Student’s Presentation at the TiC Summer School
On the first day here at the summer school, the organizers gave us the opportunity to present our research ideas to the lecturers and other participants.