14 citations · 25 across the 12 of their papers we have counts for
14 papers
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP
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 m…
Adaptive and Fair Transformation for Recoverable Mutual Exclusion
Sahil Dhoked, Neeraj Mittal
Mutual exclusion is one of the most commonly used techniques to handle contention in concurrent systems. Traditionally, mutual exclusion algorithms have been designed under the ass…
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…
Memory Reclamation for Recoverable Mutual Exclusion
Sahil Dhoked, Neeraj Mittal
Mutual exclusion (ME) is a commonly used technique to handle conflicts in concurrent systems. With recent advancements in non-volatile memory technology, there is an increased focu…
Generating Concurrent Programs From Sequential Data Structure Knowledge
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
In this paper we tackle the problem of automatically designing concurrent data structure operations given a sequential data structure specification and knowledge about concurrent b…
Pointer Data Structure Synthesis from Answer Set Programming Specifications
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
We develop an inductive proof-technique to generate imperative programs for pointer data structures from behavioural specifications expressed in the Answer Set Programming (ASP) fo…