1 files changed, 6 insertions, 0 deletions

diff --git a/tools/memory-model/Documentation/references.txt b/tools/memory-model/Documentation/references.txt
index 74f448f2616a..b177f3e4a614 100644
--- a/tools/memory-model/Documentation/references.txt
+++ b/tools/memory-model/Documentation/references.txt
@@ -63,6 +63,12 @@ o	Shaked Flur, Susmit Sarkar, Christopher Pulte, Kyndylan Nienhuis,
         Principles of Programming Languages (POPL 2017). ACM, New York,
         NY, USA, 429–442.
 
+o       Christopher Pulte, Shaked Flur, Will Deacon, Jon French,
+        Susmit Sarkar, and Peter Sewell. 2018. "Simplifying ARM concurrency:
+        multicopy-atomic axiomatic and operational models for ARMv8". In
+        Proceedings of the ACM on Programming Languages, Volume 2, Issue
+        POPL, Article No. 19. ACM, New York, NY, USA.
+
 
 Linux-kernel memory model
 =========================