Marco Elver
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2013–2024
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICSE | GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production. | 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 | DATE | VerC3: A library for explicit state synthesis of concurrent systems. | Marco Elver, Christopher J. Banks, Paul B. Jackson, Vijay Nagarajan |
| 2017 | FMCAD | Verification of a lazy cache coherence protocol against a weak memory model. | Christopher J. Banks, Marco Elver, Ruth Hoffmann, Susmit Sarkar, Paul B. Jackson, Vijay Nagarajan |
| 2016 | HPCA | McVerSi: A test generation framework for fast memory consistency verification in simulation. | Marco Elver, Vijay Nagarajan |
| 2016 | MICRO | C | Cheng-Chieh Huang, Rakesh Kumar, Marco Elver, Boris Grot, Vijay Nagarajan |
| 2014 | HPCA | TSO-CC: Consistency directed cache coherence for TSO. | Marco Elver, Vijay Nagarajan |
| 2013 | PLDI | Fast RMWs for TSO: semantics and implementation. | Bharghava Rajaram, Vijay Nagarajan, Susmit Sarkar, Marco Elver |