Streaming Supercomputer Strawman Architecture
Java Race Finder Checking Java Programs for Sequential Consistency