Skip to main navigation
Skip to search
Skip to main content
Princeton University Home
Help & FAQ
Home
Profiles
Research units
Facilities
Projects
Research output
Press/Media
Search by expertise, name or affiliation
XPS: EXPL: CCA: Verification and Optimization Tools for Heterogeneous Memory Consistency Models
Martonosi, Margaret Rose
(PI)
Computer Science
Project
:
Research project
Overview
Project Details
Status
Finished
Effective start/end date
9/1/15
→
8/31/19
Funding
NSF - National Science Foundation
View all
View less