Edinburgh Research Explorer

Marco Elver

(Former employee or visitor)

Profile photo

Research Interests

Programming languages with focus on concurrency. Memory consistency models, and their impact on hardware and software design. Scalable cache coherence protocols. Verification of the memory consistency model in hardware and compilers.  

Qualifications

Marco is a PhD Graduate (2016) at the University of Edinburgh, and holds a Bachelor with Honours (2011) also from the University of Edinburgh.

Biography

I am a Research Associate at the University of Edinburgh, School of Informatics working with Dr. Vijay Nagarajan. My work is with the Compiler and Architecture Design Group which is part of the Institute for Computing Systems Architecture.

Research outputs

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

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

  2. C3D: Mitigating the NUMA Bottleneck via Coherent DRAM Caches

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

  3. McVerSi: A Test Generation Framework for Fast Memory Consistency Verification in Simulation

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

View all (8) »

ID: 23496887