Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP

no code implementations • 20 May 2023 • Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta

We present Locksynth, a tool that automatically derives synchronization needed for destructive updates to concurrent data structures that involve a constant number of shared heap memory write operations.

C++ code

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

no code implementations • 17 Sep 2021 • 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.