Support
Support for my research comes from a variety of government and industrial
sources gratefully acknowledged below:
National Science Foundation
- FMiTF: Vayu: Verifying Infrastructure for Safe and Performant Tunable Consistency (abstract)
- 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
- 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
- Exploration Service for Synthesis and Evaluation of Novel CPS Emergent Designs (ESSENCE)
- REVERSER: Repair Engineering for Verified Software Resilience.
C-BRIC:Center for Brain-inspired Computing
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