Edinburgh Research Explorer

Research outputs

  1. ATOM: Atomic Durability in Non-volatile Memory through Hardware Logging

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Evaluating and Mitigating Bandwidth Bottlenecks Across the Memory Hierarchy in GPUs

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Verification of a lazy cache coherence protocol against a weak memory model

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

View all (50) »

Research activities & awards

  1. Intel Early Career Faculty Honor Award

    Activity: Awards and AccoladesPrize (including medals and awards)

  2. Best Poster: 2nd Prize

    Activity: Awards and AccoladesPrize (including medals and awards)

  3. PhD External Examiner: University of Cambridge

    Activity: External academic engagementExternal Examiner or Assessor

View all (5) »

ID: 25090