Zobrazeno 1 - 10
of 213
pro vyhledávání: '"Mittal Neeraj"'
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. Locksynth serves as the implementation of our
Externí odkaz:
http://arxiv.org/abs/2305.18225
Autor:
Dhoked, Sahil, Mittal, Neeraj
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 assumption that a process does not fail while acquiring/releasing a lock
Externí odkaz:
http://arxiv.org/abs/2110.08308
Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming
Publikováno v:
EPTCS 345, 2021, pp. 219-233
We tackle the problem of automatically designing concurrent data structure operations given a sequential data structure specification and knowledge about concurrent behavior. Designing concurrent code is a non-trivial task even in simplest of cases.
Externí odkaz:
http://arxiv.org/abs/2109.08298
Autor:
Kaur, Gaganpreet, Kumar, Aman, Kurl, Samridhi, Mittal, Neeraj, Malik, Deepinder Singh, Bassi, Pallavi, Singh, Tanveer, Khan, Azmat Ali, Alanazi, Amer M., Kaur, Gurpreet
Publikováno v:
In Heliyon 30 April 2024 10(8)
Autor:
Dhoked, Sahil, Mittal, Neeraj
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 focus on the problem of recoverable mutual exclusion (RME), a special case
Externí odkaz:
http://arxiv.org/abs/2103.01538
In this paper we tackle the problem of automatically designing concurrent data structure operations given a sequential data structure specification and knowledge about concurrent behavior. Designing concurrent code is a non-trivial task even in simpl
Externí odkaz:
http://arxiv.org/abs/2011.04045
We develop an inductive proof-technique to generate imperative programs for pointer data structures from behavioural specifications expressed in the Answer Set Programming (ASP) formalism. ASP is a non-monotonic logic based formalism that employs neg
Externí odkaz:
http://arxiv.org/abs/2006.07440
Autor:
Dhoked, Sahil, Mittal, Neeraj
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 assumption that a process does not fail while acquiring/releasing a l
Externí odkaz:
http://arxiv.org/abs/2006.07086