Support

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

National Science Foundation

• Programming Non-Coherent Memory(abstract)
• EAGER: Verified Compilation and High-Level Memory Models (abstract)
• Robust Distributed Wind Power Engineering (abstract)
• A Computational Infrastructure for Scalable Transactional Memory Abstractions (abstract)
• Eager Maps and Lazy Folds for Graph-Structured Applications (abstract)
• A Unified Open Source Transactional Infrastructure (abstract)
• Relax: Controlled Declassification with Transactional Memory (abstract)
• Kala: An Efficient and Scalable Time-Travel Infrastructure for Concurrent Systems (abstract)
• A Computational Infrastructure for Experimentation on Relaxed Concurrency Abstractions and their Applications (abstract)
• Fault Determination and Recovery in Cycle-Sharing Infrastructures (abstract)
• Plethora: A Wide-Area Read-Write Storage Repository for the Internet (abstract)

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