Shared Memory Multiprocessor Design
Verification and Test
Tools and Methodologies
Conference and Journal Papers
Marco Elver, Christopher J. Banks, Paul Jackson, and Vijay Nagarajan. VerC3: A Library for Explicit State Synthesis of Concurrent Systems. In Design, Automation and Test in Europe (DATE). Dresden, Germany, IEEE, March 2018. [pdf], [website].
Christopher J. Banks, Marco Elver, Ruth Hoffmann, Susmit Sarkar, Paul Jackson, and Vijay Nagarajan. Verification of a lazy cache coherence protocol against a weak memory model. In International Conference on Formal Methods in Computer-Aided Design (FMCAD). Vienna, Austria, October 2017. [pdf], [website].
Cheng-Chieh Huang, Rakesh Kumar, Marco Elver, Boris Grot, and Vijay Nagarajan. C3D: Mitigating the NUMA Bottleneck via Coherent DRAM Caches. In IEEE/ACM International Symposium on Microarchitecture (MICRO). Taipei, Taiwan, October 2016. [pdf], [website].
Marco Elver and Vijay Nagarajan. McVerSi: A Test Generation Framework for Fast Memory Consistency Verification in Simulation. In IEEE International Symposium on High Performance Computer Architecture (HPCA). Barcelona, Spain, March 2016. [pdf], [talk], [website].
Marco Elver and Vijay Nagarajan. RC3: Consistency directed cache coherence for x86-64 with RC extensions. In International Conference on Parallel Architectures and Compilation Techniques (PACT). San Francisco, CA, USA, October 2015. [pdf].
Marco Elver and Vijay Nagarajan. TSO-CC: Consistency directed cache coherence for TSO. In IEEE International Symposium on High Performance Computer Architecture (HPCA). Orlando, FL, USA, February 2014. [pdf], [talk], [website].
Bharghava Rajaram, Vijay Nagarajan, Susmit Sarkar, and Marco Elver. Fast RMWs for TSO: Semantics and implementation. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). Seattle, WA, USA, June 2013. [pdf].
Jean-Luc Stevens, Marco Elver, and James A. Bednar. An automated and reproducible workflow for running and analysing neural simulations using Lancet and IPython Notebook. Frontiers in Neuroinformatics, 2013. [pdf].
Technical Reports and Workshop Papers
Marco Elver, Paul E. McKenney, Dmitry Vyukov, Andrey Konovalov, Alexander Potapenko, Kostya Serebryany, Alan Stern, Andrea Parri, Akira Yokosawa, Peter Zijlstra, Will Deacon, Daniel Lustig, Boqun Feng, Joel Fernandes, Jade Alglave, and Luc Maranget. Concurrency bugs should fear the big bad data-race detector. Linux Weekly News (LWN), 2020. [link], [talk].
Marco Elver. Memory Consistency Directed Cache Coherence Protocols for Scalable Multiprocessors. PhD thesis, University of Edinburgh, 2016. [pdf].
Marco Elver. Cache coherence using release-acquire partial ordering. In 1st ASPLOS Doctoral Workshop. London, UK, March 2012.