Support
Support for my research comes from a variety of government and industrial
sources gratefully acknowledged below:
National Science Foundation
- CRONUS: High-Level Reasoning for Low-Level Isolation (abstract)
- 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)
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