Entries
in the Readings column are symbolic references (real ones) to papers on
the readings
page. So, for instance Intro#1
refers to the first paper in the first subsection on that page. I think you can do the mapping easily enough
that I should not spend time embedding tags and links to them.
|
Date |
Topic (Presenter) |
Overheads |
|
|
25-aug |
Course overview & the problem with threads (Dillon) |
Intro#1 |
|
|
27-aug |
Synchronization Units Model |
szumoNasa.pdf (read) szumoCbse05.pdf (opt) |
|
|
1-sep |
MSU Holiday |
|
|
|
3-sep |
Java memory model (Dillon) |
|
Intro#3 |
|
8-sep |
Java memory model (Dillon) |
|
Intro#3 |
|
10-sep |
Eraser (Fleming) |
Data Races #1 |
|
|
15-sep |
Hybrid dynamic data race detection (Dillon) |
Data Races #2 |
|
|
17-sep |
Effective static race detection for Java (McGill) |
Data Races #3 |
|
|
22-sep |
High-level data races (Diaz) |
Data Races #4 |
|
|
24-sep |
A classification
of concurrency failures in Java (Huliyara) |
Related papers #6 |
|
|
29-sep |
Transactional memory (Shahid) |
shahid-transactional-memory.ppt |
STM #1 |
|
1-oct |
Instructor out of town |
|
|
|
6-oct |
Design tradeoffs in modern STM systems (Burks) |
burks-design-tradeoffs-stm.ppt (4up version) |
STM #4 |
|
8-oct |
STM for dynamic-sized data structures (Schall) |
STM #3 |
|
|
13-oct |
Enforcing isolation and ordering in STM (Dore) |
STM #5 |
|
|
15-oct |
Hybrid transactional memory (Burks) |
Related Papers #1 |
|
|
20-oct |
Supporting nested transactional memory in LogTM
(Padubidri) |
|
Nesting #2 |
|
22-oct |
Advanced
contention management for dynamic STM (Huang) |
Beyond STM #3 |
|
|
27-oct |
Nested Transactional Memory: Model and Preliminary Architectural Sketches (Shahid) |
Nesting #4 |
|
|
29-oct |
Lightweight transactions (Diaz) |
Language Solutions #2 |
|
|
3-nov |
Open nesting in STM (McGill) |
Nesting #1 |
|
|
5-nov |
Adaptive Locks (Dore) |
Beyond STM #4 |
|
|
10-nov |
|
|
|
|
12-nov |
|
|
|
|
17-nov |
Transactional collection classes (Padubidri) |
padubidri_Transactional_Collection_Classes.ppt
|
Beyond STM #1 |
|
19-nov |
Transactions with isolation and cooperation (Fleming) |
fleming-tic.pdf (4up version)
|
Beyond STM #2 |
|
24-nov |
Checkpoints and continuations instead of nested transactions (Huliyara) |
Language Solutions #3 |
|
|
26-nov |
CLASS CANCELLED |
|
|
|
1-dec |
Ownership types for safe programming (Huang) |
Language Solutions #1 |
|
|
3-dec |
Systematic Concurrent Object Oriented Programming
(Schall) |
|
|
|
|
|
|
|