14 citations · 25 across the 12 of their papers we have counts for
8 papers · 1 filter
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…
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…
An Adaptive Approach to Recoverable Mutual Exlcusion
Sahil Dhoked, Neeraj Mittal
Mutual exclusion (ME) is one of the most commonly used techniques to handle conflicts in concurrent systems. Traditionally, mutual exclusion algorithms have been designed under the…
Fast and Scalable Group Mutual Exclusion
Shreyas Gokhale, Neeraj Mittal
The group mutual exclusion (GME) problem is a generalization of the classical mutual exclusion problem in which every critical section is associated with a type or session. Critica…
Robust Neighbor Discovery in Multi-Hop Multi-Channel Heterogeneous Wireless Networks
Yanyan Zeng, K. Alex Mills, Shreyas Gokhale +3
An important first step when deploying a wireless ad hoc network is neighbor discovery in which every node attempts to determine the set of nodes it can communicate with in one wir…