![](/img/cover-not-exists.png)
[ACM Press the Twenty-Second International Conference - Xi'an, China (2017.04.08-2017.04.12)] Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS '17 - Automated Synthesis of Comprehensive Memory Model Litmus Test Suites
Lustig, Daniel, Wright, Andrew, Papakonstantinou, Alexandros, Giroux, OlivierYear:
2017
Language:
english
DOI:
10.1145/3037697.3037723
File:
PDF, 960 KB
english, 2017