Research

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