Search Results for author: Neeraj Mittal

Found 2 papers, 0 papers with code

Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP

no code implementations20 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 implementations17 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.