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