Research
Applications
|
Personal
Health |
Image
Retrieval |
Hearing,
Music |
Speech
|
Parallel
Browser |
|
C o r r e c t n e s s |
Dwarfs
|
|
||||||
|
|
Composition & Coordination Language (C&CL)
|
|
Static
Verification |
|||
Productivity Layer
|
|
C&CL Compiler/Interpreter
|
|
|
|||
|
|
Parallel Libraries
|
Parallel Frameworks
|
|
Type
Systems |
||
|
|
|
Efficiency Languages
|
|
|
|
|
|
|
|
Sketching
|
Directed
Testing |
|||
Efficiency
Layer |
|
|
Autotuners
|
||||
|
Legacy
Code |
Schedulers
|
Communication
Primitives |
|
|||
|
Efficiency Language Compilers
|
Dynamic Testing
|
|||||
Operating
Architecture |
Legacy OS
|
|
OS Libraries
Hypervisor
|
Debugging
with Replay |
|||
Intel Multicore/GPGPU
|
RAMP Manycore
|
|