8 citations · 15 across the 13 of their papers we have counts for
1 paper · 2 filters
Sanjana Singh, Divyanjali Sharma, Subodh Sharma
Program executions under relaxed memory model (rmm) semantics are significantly more difficult to analyze; the rmm semantics result in out of order execution of program events lead…