Research Interests
Computer architecture, designing microarchitectures so that they are easier to verify, improving computer system fault tolerance, developing memory systems for multicore processors, and designing special-purpose accelerators
Selected Grants
Collaborative Research: FMitF: Track I:Specifying, Synthesizing, and Verifying Heterogeneous Coherence Protocols
ResearchPrincipal Investigator · Awarded by National Science Foundation · 2025 - 2028SHF: Small: Transforming Computer Architecture Evaluation with Statistical Model Checking
ResearchPrincipal Investigator · Awarded by National Science Foundation · 2021 - 2026SHF:Small:Automatic Generation of Cache Coherent Memory Systems for Multicore Processors
ResearchPrincipal Investigator · Awarded by National Science Foundation · 2020 - 2024CIF:Small:High Performance Memories that Integrate Coding and Computer Architecture
ResearchCo Investigator · Awarded by National Science Foundation · 2017 - 2020SHF:Small:Designing Architectures to be Formally Verifiable
ResearchPrincipal Investigator · Awarded by National Science Foundation · 2014 - 2018SHF:Small:Using Coding Theory to Optimize the Representation of Information in Computer Architecture
ResearchPrincipal Investigator · Awarded by National Science Foundation · 2014 - 2018SHF:Small:Shared Memory Architectures and Microarchitectures for Heterogeneous General-Purpose Chips
ResearchPrincipal Investigator · Awarded by National Science Foundation · 2012 - 2016SHF:Small:Commodity Processors with Mainframe Reliability
ResearchPrincipal Investigator · Awarded by National Science Foundation · 2011 - 2015CCF: EAGER: FIESTA: A Sound Multi-Program Workload Methodology
ResearchPrincipal Investigator · Awarded by National Science Foundation · 2012 - 2013CPA-CSA: Verification-Aware Microarchitecture
ResearchPrincipal Investigator · Awarded by National Science Foundation · 2008 - 2012CAREER: Improving Multiprocessor Availability with Dynamic Verification and Autonomic Operation
ResearchPrincipal Investigator · Awarded by National Science Foundation · 2005 - 2011Autonomic Computing via Dynamic Self-Repair of Hardware Faults
ResearchPrincipal Investigator · Awarded by National Aeronautics and Space Administration · 2005 - 2008ITR: Nanoarchitecture: Balancing Regularity, Complexity, and Defect Tolerance using DNA for Nanoeletronic Integration
ResearchCo Investigator · Awarded by National Science Foundation · 2003 - 2007Architectural Support for Service Level Agreements
ResearchCo-Principal Investigator · Awarded by National Science Foundation · 2003 - 2007FaultFinder: Improving the Availabiltiy of Multiprocessor Servers
ResearchPrincipal Investigator · Awarded by National Science Foundation · 2003 - 2006External Relationships
- Morgan & Claypool Publishers. Purchased by Springer in 2022, info below is for M&C.
- Realtime Robotics
This faculty member (or a member of their immediate family) has reported outside activities with the companies, institutions, or organizations listed above. This information is available to institutional leadership and, when appropriate, management plans are in place to address potential conflicts of interest.