14 citations · 25 across the 12 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.DC2021
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…
cs.PL2021★ 1 cited
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…
cs.DC2021
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…