Marco Elver

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