The Resilient Systems theme

These are the tasks of the resiliency theme, as set forth in the 2010 GSRC Proposal.

Task 5.5.1. -- Exploiting Concurrency to Verify Concurrency
PI: Sharad Malik

Task 5.5.2. -- Perpetually Available Software Systems
PI: Emery Berger

Task 5.5.3. -- Software-Managed Resiliency
PI: Sarita Adve

Task 5.5.4. -- Introspective Energy-Efficient CMPs
PIs: Todd Austin, Valeria Bertacco, Li-Shiuan Peh

Task 5.5.5. -- Design Methods for Resilient Systems
PIs: Subhasish Mitra, Sanjit A. Seshia

Task 5.5.6. -- Resiliency for Ultra-low Power Platforms
PI: Dennis Sylvester

You are not logged in