Marco Elver

Affiliations:

University of Edinburgh

According to our database¹, Marco Elver authored at least 10 papers between 2013 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production.

[BibT_eX]

[DOI]

CoRR, 2023

2018

VerC3: A library for explicit state synthesis of concurrent systems.

[BibT_eX]

[DOI]

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

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

[BibT_eX]

[DOI]

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016

Memory consistency directed cache coherence protocols for scalable multiprocessors.

[BibT_eX]

[DOI]

Marco Elver

PhD thesis, 2016

C<sup>3</sup>D: Mitigating the NUMA bottleneck via coherent DRAM caches.

[BibT_eX]

[DOI]

Proceedings of the 49th Annual IEEE/ACM International Symposium on Microarchitecture, 2016

McVerSi: A test generation framework for fast memory consistency verification in simulation.

[BibT_eX]

[DOI]

Marco Elver

Vijay Nagarajan

Proceedings of the 2016 IEEE International Symposium on High Performance Computer Architecture, 2016

2015

RC3: Consistency Directed Cache Coherence for x86-64 with RC Extensions.

[BibT_eX]

[DOI]

Marco Elver

Vijay Nagarajan

Proceedings of the 2015 International Conference on Parallel Architectures and Compilation, 2015

2014

TSO-CC: Consistency directed cache coherence for TSO.

[BibT_eX]

[DOI]

Marco Elver

Vijay Nagarajan

Proceedings of the 20th IEEE International Symposium on High Performance Computer Architecture, 2014

2013

An automated and reproducible workflow for running and analyzing neural simulations using Lancet and IPython Notebook.

[BibT_eX]

[DOI]

Jean-Luc Richard Stevens

Marco Elver

James A. Bednar

Frontiers Neuroinformatics, 2013

Fast RMWs for TSO: semantics and implementation.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Marco Elver

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...