Papers and other material

Lamport's paper on sequential consistency: How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs.
Bacon, Graham, Compiler transformations for High Performance Computing This is a good general overview of many high level compiler optimizations.
The seminal paper on Isoefficiency, which complements the isoefficiency lecture notes, is Grama's IEEE Parallel and Distributed Technology.
A good survey of co-array Fortran
A technical discussion of the second Java Memory Model
A technical discussion of the CPP concurrency (memory) model
Dijkstra, March 1968 CACM of the Go To Considered Harmful

Last updated January 3, 2019