Home

Support

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

National Science Foundation
DARPA
    Quelea: Verified Implementation of Weakly-Consistent Distributed Programs
    Mitchell: A Declarative Dataflow Framework and Real-Time Resource Optimization Engine
    SPARTA: Automating Format Comprehension and Trustworthy Parser Development
    Leveraging Symbolic Represenatations for Safe and Assured Learning

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