1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2016
Efficient Verification of Concurrent Programs Over TSO Memory Model
Chinmay Narayan, Subodh Sharma, S. Arun-Kumar
We address the problem of efficient verification of multi-threaded programs running over Total Store Order (TSO) memory model. It has been shown that even with finite data domain p…
cs.LO2013★ 1 cited
Inferring Fences in a Concurrent Program Using SC proof of Correctness
Chinmay Narayan, Shibashis Guha, S. Arun-Kumar
Most proof systems for concurrent programs assume the underlying memory model to be sequentially consistent (SC), an assumption which does not hold for modern multicore processors.…