1. The LLVM compiler framework. http://llvm.org. The LLVM compiler framework. http://llvm.org.
2. The Princeton application repository for shared-memory computers (PARSEC). http://parsec.cs.princeton.edu/. The Princeton application repository for shared-memory computers (PARSEC). http://parsec.cs.princeton.edu/.
3. Parallel BZIP2 (PBZIP2). http://compression.ca/pbzip2/. Parallel BZIP2 (PBZIP2). http://compression.ca/pbzip2/.
4. Stanford parallel applications for shared memory (SPLASH). http://www-flash.stanford.edu/apps/SPLASH/. Stanford parallel applications for shared memory (SPLASH). http://www-flash.stanford.edu/apps/SPLASH/.
5. STP Constraint Solver. https://sites.google.com/site/stpfastprover/. STP Constraint Solver. https://sites.google.com/site/stpfastprover/.