18 citations · 20 across the 9 of their papers we have counts for
3 papers · 2 filters
An Innovative Approach to Achieve Compositionality Efficiently using Multi-Version Object Based Transactional Systems
Chirag Juyal, Sandeep Kulkarni, Sweta Kumari +2
In the modern era of multicore processors, utilizing cores is a tedious job. Synchronization and communication among processors involve high cost. Software transaction memory syste…
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…
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…