Alan Huang. Maximally stateless model checking for concurrent bugs under relaxed memory models. In Laura K. Dillon, Willem Visser, Laurie Williams, editors, Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume. pages 686-688, ACM, 2016. [doi]
Abstract is missing.