1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.DC2017
Persistent Memory Programming Abstractions in Context of Concurrent Applications
Ajay Singh, Marc Shapiro, Gael Thomas
The advent of non-volatile memory (NVM) technologies like PCM, STT, memristors and Fe-RAM is believed to enhance the system performance by getting rid of the traditional memory hie…
cs.DC2017
Efficient means of Achieving Composability using Object based Conflicts on Transactional Memory
Sathya Peri, Ajay Singh, Archit Somani
Composing together the individual atomic methods of concurrent data-structures (cds) pose multiple design and consistency challenges. In this context composition provided by transa…
cs.DC2017★ 1 cited
Proving Correctness of Concurrent Objects by Validating Linearization Points
Sathya Peri, Muktikanta Sa, Ajay Singh +2
Concurrent data structures or CDS such as concurrent stacks, queues, sets etc. have become very popular in the past few years partly due to the rise of multi-core systems. But one…