33 citations · 83 across the 25 of their papers we have counts for
1 paper · 2 filters
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
We tackle the problem of automatically designing concurrent data structure operations given a sequential data structure specification and knowledge about concurrent behavior. Desig…