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
Systems

 

Architecture

Legacy OS

OS Libraries

Hypervisor
Debugging
with Replay
Intel Multicore/GPGPU
RAMP Manycore