47 citations · 134 across the 31 of their papers we have counts for
Showing 2022 · cs.PLShow all
2 papers · 2 filters
cs.PL2022
Optimal Stateless Model Checking of Transactional Programs under Causal Consistency
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ashutosh Gupta +2
We present a framework for efficient stateless model checking (SMC) of concurrent programs under five prominent models of causal consistency, CCv,CM,CC, Read Committed and Read Ato…
cs.PL2022
Probabilistic Total Store Ordering
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal +2
We present -- a probabilistic extension of the classical TSO semantics. For a given (finite-state) program, the operational sem…