Marco Elver

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 7

Top Venues

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Kostya Serebryany, Chris Kennelly, Mitch Phillips, Matt Denton, Marco Elver, Alexander Potapenko, Matt Morehouse, Vlad Tsyrklevich, Christian Holler, Julian Lettner, David Kilzer, Lander Brandt
GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production. ICSE-SEIP (2024)
Kostya Serebryany, Chris Kennelly, Mitch Phillips, Matt Denton, Marco Elver, Alexander Potapenko, Matt Morehouse, Vlad Tsyrklevich, Christian Holler, Julian Lettner, David Kilzer, Lander Brandt
GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production. CoRR (2023)
Marco Elver, Christopher J. Banks, Paul B. Jackson, Vijay Nagarajan
VerC3: A library for explicit state synthesis of concurrent systems. DATE (2018)
Christopher J. Banks, Marco Elver, Ruth Hoffmann, Susmit Sarkar, Paul B. Jackson, Vijay Nagarajan
Verification of a lazy cache coherence protocol against a weak memory model. CoRR (2017)
Christopher J. Banks, Marco Elver, Ruth Hoffmann, Susmit Sarkar, Paul B. Jackson, Vijay Nagarajan
Verification of a lazy cache coherence protocol against a weak memory model. FMCAD (2017)
Marco Elver, Vijay Nagarajan
McVerSi: A test generation framework for fast memory consistency verification in simulation. HPCA (2016)
Cheng-Chieh Huang, Rakesh Kumar, Marco Elver, Boris Grot, Vijay Nagarajan
D: Mitigating the NUMA bottleneck via coherent DRAM caches. MICRO (2016)
Marco Elver, Vijay Nagarajan
RC3: Consistency Directed Cache Coherence for x86-64 with RC Extensions. PACT (2015)
Marco Elver, Vijay Nagarajan
TSO-CC: Consistency directed cache coherence for TSO. HPCA (2014)
Jean-Luc Richard Stevens, Marco Elver, James A. Bednar
An automated and reproducible workflow for running and analyzing neural simulations using Lancet and IPython Notebook. Frontiers Neuroinformatics 7 (2013)
Bharghava Rajaram, Vijay Nagarajan, Susmit Sarkar, Marco Elver
Fast RMWs for TSO: semantics and implementation. PLDI (2013)

Marco Elver.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marco Elver