Edinburgh Research Explorer

Research outputs

  1. Automatic Parameter Tuning of Motion Planning Algorithms

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

  2. DHTM: Durable Hardware Transactional Memory

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

  3. ProtoGen: Automatically Generating Directory Cache Coherence Protocols from Atomic Specifications

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

View all (58) »

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