Support

Support for my research comes from a variety of government and industrial
sources gratefully acknowledged below:

National Science Foundation
Air Force Research Laboratory and DARPA
    Quelea:Verified Implementation of Weakly-Consistent Distributed Programs

Semiconductor Research Corporation and DARPA
    C-BRIC:Center for Brain-inspired Computings

Cisco
    Investigation of IP Storage Protocols for Database Applications

Intel
    Profile-Guided Speculation for Multicore Architectures

Microsoft
   
Compiler Backend Experimentation and Extensibility Using Phoenix
    Language and Runtime Support for Safe and Scalable Programs

NEC
    Distributed Storage Systems Research

Samsung
    Programming Models and Implementations for Non-Coherent Memory Multicore Architectures