|
|
Resources
- Flanagan and Freund, Type-Based
Race Detection for Java
- Qadeer and Wu, KISS:
Keep it simple and sequential
- Frigo, Leiserson, and Randall, The implementation of
the Cilk-5 multithreaded language
- Charles et al, X10: an
object-oriented approach to non-uniform cluster computing
- Milner, The
Polyadic pi-Calculus: A Tutorial
- Sewell et al, Acute:
high-level programming language design for distributed computation
- Giovannetti, Ambient
Calculi with Types: a Tutorial
- Jia and Walker, Modal
Proofs as Distributed Programs
- Cardelli and Gordon, Mobile Ambients
- O'Callahan and Choi, Hybrid Dynamic Data
Race Detection
- Foster et al, The
Anatomy of the Grid
Papers already scheduled:
- Adve
and Gharachorioo, Shared
Memory Consistency Models: A Tutorial
- Manson, Pugh, and Adve, The Java
Memory Model
- Savage et al, Eraser: a dynamic
data race detector for multithreaded programs
- Elmas, Qadeer, and Tasiran, Goldilocks:
Efficiently Computing the Happens-Before Relation Using Locksets
- Flanagan and Abadi, Types for
Safe Locking
- Flanagan and Qadeer, A Type and
Effect System for Atomicity
- Naik, Aiken, and Whaley, Effective
Static Race Detection for Java
- Pratikakis, Foster, and Hicks, Locksmith:
Context-Sensitive Correlation Analysis for Race Detection
- Reppy, CML: A
higher concurrent language
- Dongarra et al, A message passing
standard for MPP and workstations
- Herlihy and Moss, Transactional
Memory: Architectural Support for Lock-Free Data Structures
- Harris and Fraser, Language
Support for Lightweight Transactions
- Harris et al, Composable
Memory Transactions
- Kendall, Waldo, Wollrath, and Wyant, A Note
on Distributed Computing
- Dean and Ghemaway, MapReduce:
Simplified Data Processing on Large Clusters
- Sewell, Applied
Pi - A Brief Tutorial
- Chang et al, Trustless
Grid Computing in ConCert
- Flatt and Findler, Kill-Safe
Synchronization Abstractions
- Ringenburg and Grossman, AtomCaml:
First-Class Atomicity via Rollback
- Lamport, Time,
clocks, and the ordering of events in a distributed system
Languages:
|