Support

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

National Science Foundation

• 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

NEC
    Distributed Storage Systems Research