Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming

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…