The following publications are possibly variants of this publication:
- Optimal Stateless Model Checking for Causal ConsistencyParosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna, Ashutosh Gupta, Omkar Tuppe. TACAS 2023: 105-125 [doi]
- Optimal Reads-From Consistency Checking for C11-Style Memory ModelsHünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty 0001, Shankaranarayanan Krishna, Umang Mathur 0001, Andreas Pavlogiannis. PACMPL, 7(PLDI):761-785, 2023. [doi]
- Optimal stateless model checking under the release-acquire semanticsParosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo. PACMPL, 2(OOPSLA), 2018. [doi]