Projects per year
Search results
-
Active
FMitF: Track 1: Pay-as-you-go Consistency Verification for Distributed System Designs
Lloyd, W. A. (PI)
NSF - National Science Foundation
8/1/24 → 7/31/28
Project: Research project
-
Collaborative Research: CISE: Large: Systems Support for Run-Anywhere Serverless
Lloyd, W. A. (PI)
NSF - National Science Foundation
10/1/23 → 9/30/28
Project: Research project
-
CNS Core: Small: Modernizing Consistency Models
Lloyd, W. A. (PI)
NSF - National Science Foundation
1/1/23 → 12/31/25
Project: Research project