Marco Elver

Marco Elver Github    Marco Elver LinkedIn


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.


Current areas of interest:

  • 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.

List of publications.