Edinburgh Research Explorer

Research outputs

  1. Scale-Out ccNUMA: Exploiting Skew with Strongly Consistent Caching

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

  2. Blasting Through The Front-End Bottleneck With Shotgun

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

  3. VerC3: A Library for Explicit State Synthesis of Concurrent Systems

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

View all (53) »

Research activities & awards

  1. PhD External Examiner: University of Cambridge

    Activity: ExaminationExternal Examiner or Assessor

  2. PhD External Examiner: University of Manchester

    Activity: ExaminationExternal Examiner or Assessor

View all (2) »

ID: 25090