1. Shared memory consistency models: a tutorial
2. Shaizeen Aga , Supreet Jeloka , Arun Subramaniyan , Satish Narayanasamy , David T. Blaauw , and Reetuparna Das . 2017 . Compute Caches .. In Proceedings of the 23rd IEEE Symposium on High-Performance Computer Architecture (HPCA). 481--492 . Shaizeen Aga, Supreet Jeloka, Arun Subramaniyan, Satish Narayanasamy, David T. Blaauw, and Reetuparna Das. 2017. Compute Caches.. In Proceedings of the 23rd IEEE Symposium on High-Performance Computer Architecture (HPCA). 481--492.
3. Fences in Weak Memory Models
4. Jonathan Bachrach , Huy Vo , Brian C. Richards , Yunsup Lee , Andrew Waterman , Rimas Avizienis , John Wawrzynek , and Krste Asanovic . 2012 . Chisel: constructing hardware in a Scala embedded language .. In Design Automation Conference 2012. 1216--1225. Jonathan Bachrach, Huy Vo, Brian C. Richards, Yunsup Lee, Andrew Waterman, Rimas Avizienis, John Wawrzynek, and Krste Asanovic. 2012. Chisel: constructing hardware in a Scala embedded language.. In Design Automation Conference 2012. 1216--1225.
5. Paul Barham , Boris Dragovic , Keir Fraser , Steven Hand , Tim Harris , Alex Ho , Rolf Neugebauer , Ian Pratt , and Andrew Warfield . 2003 . Xen and the art of virtualization .. In Proceedings of the 19th ACM Symposium on Operating Systems Principles (SOSP). 164--177 . Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, and Andrew Warfield. 2003. Xen and the art of virtualization.. In Proceedings of the 19th ACM Symposium on Operating Systems Principles (SOSP). 164--177.