Lectures and Other Class Materials

• Weeks 1-2: Basic threading in Java
  • Jan 24 - Java threads
  • Project 1
  • Jan 31 - More on Java threads
• Week 3: Hardware and shared memory models
  • Feb 5 - Adve and Gharachorioo, Shared Memory Consistency Models: A Tutorial
  • Feb 5 - Shared memory architectures pdf (taken from here)
  • Feb 7 - Manson, Pugh, and Adve, The Java Memory Model
  • Feb 7 - Hennessy and Patterson, Section 8.5
  • Synchronization, textbook style
  • Kernel spinlocks
  • Posix locks
  • Pthreads condition variables
• Week 4: Dynamic race detection
  • Feb 12 - Savage et al, Eraser: a dynamic data race detector for multithreaded programs
  • Feb 14 - University closed
• Week 5: Dynamic and static race detection
  • Feb 19 - Elmas, Qadeer, and Tasiran, Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets
  • Feb 21, 26 - Flanagan and Abadi, Types for Safe Locking
• Week 6: Static race detection
  • Feb 28 - Naik, Aiken, and Whaley, Effective Static Race Detection for Java
• Week 7: Static race detection and alias analysis
  • Mar 5 - Pratikakis, Foster, and Hicks, Locksmith: Context-Sensitive Correlation Analysis for Race Detection
  • pdf slides
• Week 8: Concurrent ML and message passing
  • Mar 12 - Reppy, CML: A higher concurrent language
  • Mar 12 - Dongarra et al, A message passing standard for MPP and workstations
  • Examples
  • Project 2
• (Spring break)
• Week 9: Transactions
  • Mar 26 - Flanagan and Qadeer, A Type and Effect System for Atomicity
  • Mar 26 - Herlihy and Moss, Transactional Memory: Architectural Support for Lock-Free Data Structures
  • Mar 28 - Harris and Fraser, Language Support for Lightweight Transactions
• Week 10: Transactions and distributed computing
  • Apr 2 - Harris et al, Composable Memory Transactions
  • Peyton Jones, Tackling the awkward squad
  • Apr 2 - Kendall, Waldo, Wollrath, and Wyant, A Note on Distributed Computing
  • Apr 4 - Dean and Ghemaway, MapReduce: Simplified Data Processing on Large Clusters
• Week 11: Distributed computing
  • Apr 9 - Sewell, Applied Pi - A Brief Tutorial, chapters 1-3
  • Apr 11 - Chang et al, Trustless Grid Computing in ConCert
  • A Globus Primer
• Week 12: Languages
  • Apr 16 - Cilk and XMTC
  • Apr 18 - Erlang and Polyphonic C#
• Week 13: Languages
  • Apr 23 - Acute and Fortress
  • Apr 25 - Guest lecture - Taiga Nakamura, Defect Patterns in High Performance Computing
• Week 14: Miscellaneous
  • Apr 30 - Flatt and Findler, Kill-Safe Synchronization Abstractions
    slides
  • Apr 30 - Ringenburg and Grossman, AtomCaml:First-Class Atomicity via Rollback
  • May 2 - Lamport, Time, clocks, and the ordering of events in a distributed system
• Week 15: Project Presentations
  • May 7 - Presentations (Long class - 3450 AVW, starts at 12:30. We will go until everyone has presented their project).
    • Tom, Stream Programming on XMT
    • Alex, Automatic XMT-C to Cilk Translation
    • Randy, Statomic: Lightweight Static Atomicity Checking
    • Chris, A Verification Strategy for Dynamic Software Updates
    • Saeed and Mohammed, Dynamic Data Race Detection in Java
    • Denis, Dynamic Atomicity Checking
    • Nick and Joonghoon, Concurrency using Locking & STM? That's unpossible!
    • Greg and Brian, Using Atomic Data Structures with Software Transactional Memory
    • Justin, Symbolic Execution for Precise Model Checking of MPI Programs
  • May 9 - No class