• Home
• People
• Publications
• Downloads
• Contact Us
• SSRG

Papers | PhD Thesis | PhD Proposals | MS Theses |Technical Reports

Link Technical Report; Link Source Code; Link Presentation

Papers

2022

• "A Fast Wait-Free Queue with Bounded Memory Usage", R. Nikolaev and B. Ravindran, 34th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2022), July 11-14, 2022, Philadelphia, PA


• "Scalable Byzantine Fault Tolerance via Partial Decentralization", B. Arun and B. Ravindran, 48th International Conference on Very Large Data Bases (VLDB 2022), September 05-09, 2022, Sydney, Australia


• "wCQ: A Fast Wait-Free Queue with Bounded Memory Usage", R. Nikolaev and B. Ravindran, 27th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (PPoPP 2022), Poster paper, February 12-16, 2022, Seoul, South Korea

2021

• "Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free Data Structures", R. Nikolaev and B. Ravindran, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2021), Virtual, June 20-25, 2021 (ACM Artifacts Evaluated - Functional , ACM Artifacts Available , ACM Artifacts Evaluated - Reusable , full version of paper is available as an arXiv report)


• "Brief Announcement: Crystalline: Fast and Memory Efficient Wait-Free Reclamation", R. Nikolaev and B. Ravindran, 35th International Symposium on Distributed Computing (DISC 2021), October 4-8, 2021, Freiburg, Germany (full version of paper is available as an arXiv report)

2020

• "Universal Wait-Free Memory Reclamation", R. Nikolaev and B. Ravindran, Principles and Practice of Parallel Programming (PPoPP 2020), February 22-26, 2020 San Diego, CA (ACM Artifacts Evaluated - Functional , ACM Artifacts Available , ACM Artifacts Results Replicated , full version of paper is available as an arXiv report)


• "Taming the Contention in Consensus-based Distributed Systems", B. Arun, S. Peluso, R. Palmieri, G. Losa, and B. Ravindran, IEEE Transactions on Dependable and Secure Computing, To appear, 2020

2019

• "Generalized Consensus for Practical Fault Tolerance", M. Garg, S. Peluso, B. Arun, and B. Ravindran, ACM/IFIP International Middleware Conference (MIDDLEWARE 2019), December 9-13, 2019, UC Davis, CA, USA


• "A Scalable, Portable, and Memory-Efficient Lock-Free FIFO Queue". Ruslan Nikolaev. In Proceedings of the 33rd International Symposium on Distributed Computing (DISC'19). Budapest, Hungary
• 
  
• "Brief Announcement: Hyaline: Fast and Transparent Lock-Free Memory Reclamation", R. Nikolaev and B. Ravindran, The 38th ACM Symposium on Principles of Distributed Computing (PODC 2019), July 29-August 2, 2019, Toronto, Canada (full version of paper is available as an arXiv report).


• "ezBFT: Decentralizing Byzantine Fault Tolerant State Machine Replication", B. Arun, S. Peluso, and B. Ravindran, The 39th IEEE International Conference on Distributed Computing Systems (ICDCS), July 2019, Dallas, TX, USA

2017

• "Optimistic Transactional Boosting", A. Hassan, R. Palmieri, S. Peluso, and B. Ravindran, IEEE Transactions on Parallel and Distributed Systems (IEEE TPDS), 2017 (To Appear)


• "Speeding up Consensus by Chasing Fast Decisions", B. Arun, S. Peluso, R. Palmieri, G. Losa, and B. Ravindran, The 47th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), June 2017, Denver, CO, USA


• "Managing Resource Limitation of Best-Effort HTM", M. Mohamedin, R. Palmieri, A. Hassan, and B. Ravindran, IEEE Transactions on Parallel and Distributed Systems (IEEE TPDS) 2016

2016

• "Opacity vs TMS2: Expectations and Reality", S. Hans, A. Hassan, R. Palmieri, S. Peluso, and B. Ravindran, 30th International Symposium on Distributed Computing (DISC 2016), September 26-30, 2016, Paris, France
•  
• "HiperTM: High Performance, Fault-Tolerant Transactional Memory", S. Hirve, R. Palmieri, B. Ravindran, Theoretical Computer Science journal, To Appear
•  
• "Brief Announcement: A Family of Leaderless Generalized-Consensus Algorithms", G. Losa, S. Peluso, B. Ravindran, The 35th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2016), July 25-28, 2016, Chicago, Illinois, USA
•  
• "Extending TM Primitives using Low Level Semantics", M. Saad, R. Palmieri, A. Hassan, B. Ravindran, The 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2016), July 11 - 13, 2016, Asilomar State Beach, California, USA
•  
• "Exploiting Parallelism of Distributed Nested Transactions", D. Niles, R. Palmieri, B. Ravindran, The 9th ACM International Systems and Storage Conference (SYSTOR 2016), June 6-8, 2016, Haifa, Israel
•  
• "Making Fast Consensus Generally Faster", S. Peluso, A. Turcu, R. Palmieri, G. Losa, B. Ravindran, 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016), June 28 - July 1, 2016, Toulouse, France
•  
• "Lerna: Transparent and Effective Speculative Loop Parallelization", M. Saad, R. Palmieri, and B. Ravindran, 11th ACM SIGPLAN Workshop on Transactional Computing (TRANSACT 2016), March 12, 2016, Barcelona, Spain
•  
• "On Extending TM Primitives using Low Level Semantics", M. Saad, R. Palmieri, A. Hassan, and B. Ravindran, 11th ACM SIGPLAN Workshop on Transactional Computing (TRANSACT 2016), March 12, 2016, Barcelona, Spain
•  
• "On Designing NUMA-Aware Concurrency Control for Scalable Transactional Memory", M. Mohamedin, R. Palmieri, S. Peluso, and B. Ravindran, ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2016), Poster paper, March 12-16, 2016, Barcelona, Spain
•  
• "On Ordering Transaction Commit", M. Saad, R. Palmieri, and B. Ravindran, ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2016), Poster paper, March 12-16, 2016, Barcelona, Spain
•  

2015

• "Remote Transaction Commit: Centralizing Software Transactional Memory Commits", A. Hassan, R. Palmieri, and B. Ravindran, IEEE Transactions on Computers, IEEE Transactions on Computers, vol.PP, no.99, pp.1-1, 2015
•  
• "Transactional Interference-less Balanced Tree", A. Hassan, R. Palmieri, and B. Ravindran, , The 29th International Symposium on Distributed Computing (DISC 2015), October 5-9, 2015, Tokyo, Japan
•  
• "On Open Nesting in Distributed Transactional Memory", A. Turcu, R. Palmieri, and B. Ravindran, IEEE Transactions on Computers, IEEE Transactions on Computers, vol.PP, no.99, pp.1-1, 2015
•  
• "Disjoint-Access Parallelism: Impossibility, Possibility, and Cost of Transactional Memory Implementations", S. Peluso, R. Palmieri, P. Romano, B. Ravindran, and F. Quaglia, The 34th Annual ACM Symposium on Principles of Distributed Computing (PODC), July 2015, Donostia-San Sebastian, Spain
•  
• "Transactional Interference-less Balanced Tree", A. Hassan, R. Palmieri, and B. Ravindran, The 10th ACM SIGPLAN Workshop on Transactional Computing (TRANSACT), June 2015, Portland, Oregon, USA
•  
• "On Preserving Data Integrity of Transactional Applications on Multicore Architectures", M. Mohamedin, R. Palmieri, and B. Ravindran, The 35th International Conference on Distributed Computing Systems (ICDCS), Short Paper, June 2015, Columbus, Ohio, USA
•  
• "On Exploiting Locality for Generalized Consensus", S. Peluso, A. Turcu, R. Palmieri, and B. Ravindran, The 35th International Conference on Distributed Computing Systems (ICDCS), Short Paper, June 2015, Columbus, Ohio, USA
•  
• "Brief Announcement: Managing Resource Limitation of Best-Effort HTM", M. Mohamedin, R. Palmieri, A. Hassan and B. Ravindran, 27th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), June 2015, Portland, Oregon, USA
•  
• "Brief Announcement: On Scheduling Best-Effort HTM Transactions", M. Mohamedin, R. Palmieri and B. Ravindran, 27th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), June 2015, Portland, Oregon, USA
•  
• "Transaction Execution Models in Partially Replicated Transactional Memory: The Case for Data-flow and Control-flow", Transactional Memory: Foundations, Algorithms, Tools and Applications, R. Palmieri, S. Peluso and B Ravindran, Book Chapter, ISBN 978-3-319-14719-2, Springer, 2015.
•  
• "On Scheduling in Distributed Transactional Memory: Techniques and Tradeoffs", Handbook on Data Centers, J. Kim, R. Palmieri and B Ravindran, Book Chapter, ISBN: 978-1-4939-2091-4, Springer, 2015
•  
• "Automated Data Partitioning for Highly Scalable and Strongly Consistent Transactions", A. Turcu, R. Palmieri, B. Ravindran and S. Hirve, IEEE Transactions on Parallel and Distributed Systems (IEEE TPDS), vol. PP,no. 99, pp. 1-1, 2015.
•  
• "An Automated Framework for Decomposing Memory Transactions to Exploit Partial Rollback", A. Dhoke, R. Palmieri and B. Ravindran, 29th IEEE International Symposium on Parallel and Distributed Processing (IPDPS), May 2015, Hyderabad, India.
•  
• "On Reducing False Conflicts in Distributed Transactional Data Structures", A. Dhoke, R. Palmieri and B. Ravindran, 16th International Conference on Distributed Computing and Networking (ICDCN), January 2015, Goa, India.
•  
• "Reducing Aborts in Distributed Transactional Systems through Dependency Detection", B. Zhang, B. Ravindran and R. Palmieri, 16th International Conference on Distributed Computing and Networking (ICDCN), January 2015, Goa, India.
•  

2014

• "On Developing Optimistic Transactional Lazy Set", A. Hassan, R. Palmieri and B. Ravindran, , 18th International Conference on Principles of Distributed Systems (OPODIS), December 15-19, 2014, Cortina, Italy
•  
• "Be General and Don't Give Up Consistency in Geo-Replicated Transactional Systems", A. Turcu, S. Peluso, R. Palmieri, and B. Ravindran,18th International Conference on Principles of Distributed Systems (OPODIS), December 15-19, 2014, Cortina, Italy
•  
• "Speculative Client Execution in Deferred Update Replication", B. Arun, S. Hirve, R. Palmieri, S. Peluso and B. Ravindran, ACM/IFIP/USENIX 9th Middleware for Next Generation Internet Computing (MW4NG), Workshop of the ACM/IFIP/USENIX 15th International Middleware Conference (MIDDLEWARE), December 8-12, 2014, Bordeaux, France
•  
• "Archie: A Speculative Replicated Transactional System", S. Hirve, R. Palmieri and B. Ravindran, ACM/IFIP/USENIX 15th International Middleware Conference (MIDDLEWARE), December 8-12, 2014, Bordeaux, France
•  
• "Brief Announcement: On Breaching the Wall of Impossibility Results on Disjoint-Access Parallel STM", S. Peluso, R. Palmieri, P. Romano, B. Ravindran and F. Quaglia, 28th International Symposium on Distributed Computing (DISC), October 12-15, 2014, Austin, Texas
•  
• "On Making Transactional Applications Resilient to Data Corruption Faults", M. Mohamedin, R. Palmieri and B. Ravindran, 13th IEEE International Symposium on Network Computing and Applications (NCA), August 21-23, 2014 Boston, USA
•  
• "Distributed Transactional Contention Management as the Traveling Salesman Problem", B. Zhang, B. Ravindran and R. Palmieri, The 21th International Colloquium on Structural Information and Communication Complexity (SIROCCO), July 23-25, 2014, Hida Takayama, Japan
•  
• "Automated Data Partitioning for Highly Scalable and Strongly Consistent Transactions", A. Turcu, R. Palmieri and B. Ravindran, The 7th ACM International Systems and Storage Conference (SYSTOR), June 10-12, 2014, Haifa, Israel
•  
• "Managing Soft-errors in Transactional Systems", M. Mohamedin, R. Palmieri and B. Ravindran, 19th IEEE Workshop on Dependable Parallel, Distributed and Network-Centric Systems (DPDNS), May 23, 2014, Phoenix, Arizona, USA
•  
• "On Breaching the Wall of Impossibility Results on Disjoint-Access Parallel STM", S. Peluso, R. Palmieri, P. Romano, B. Ravindran and F. Quaglia, Euro-TM Workshop on Transactional Memory (WTM), April 13, 2014, Amsterdam, The Netherlands
•  
• "Integrating Transactionally Boosted Data Structures with STM Frameworks: A Case Study on Set", A. Hassan, R. Palmieri and B. Ravindran, 9th Workshop on Transactional Computing (TRANSACT), March 2, 2014, Utah, USA
•  
• "Remote Invalidation: Optimizing the Critical Path of Memory Transactions", A. Hassan, R. Palmieri and B. Ravindran, 28th IEEE International Symposium on Parallel and Distributed Processing (IPDPS), May 19-23, 2014, Phoenix, Arizona, USA
•  
• "Optimistic Transactional Boosting", A. Hassan, R. Palmieri, and B. Ravindran, ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), Poster paper, February 15-19, 2014, Orlando, Florida, USA
•  
• "HiperTM: High Performance, Fault-Tolerant Transactional Memory", S. Hirve, R. Palmieri, B. Ravindran, 15th International Conference on Distributed Computing and Networking (ICDCN), January 2014, Coimbatore, India
•  

2013

• "On High Performance Distributed Transactional Data Structures", A. Dhoke, R. Palmieri, B. Ravindran, ACM/IFIP/USENIX 14th International Middleware Conference (MIDDLEWARE), Poster paper, December 9-13, 2013, Beijing, China
•  
• "Automated data partitioning for independent distributed transactions", A. Turcu, R. Palmieri, B. Ravindran, ACM/IFIP/USENIX 14th International Middleware Conference (MIDDLEWARE), Poster paper, December 9-13, 2013, Beijing, China
•  
• "SMASH: speculative state machine replication in transactional systems", S. Hirve, R. Palmieri, B. Ravindran, ACM/IFIP/USENIX 14th International Middleware Conference (MIDDLEWARE), Poster paper, December 9-13, 2013, Beijing, China
•  
• "On Transactional Memory Concurrency Control in Distributed Real-Time Programs", S. Hirve, A. Lindsay, B. Ravindran, R. Palmieri, IEEE Cluster 2013, September, 2013, Indianapolis, USA
•  
• "Hyflow2: A High Performance Distributed Transactional Memory Framework in Scala", A. Turcu, B. Ravindran, R. Palmieri, 10th International Conference on Principles and Practices of Programming on JAVA platform: virtual machines, languages, and tools (PPPJ), September, 2013, Stuttgart, Germany
•  
• "On the Viability of Speculative Transactional Replication in Database Systems: a Case Study with PostgreSQL", S. Peluso, R. Palmieri, F. Quaglia, B. Ravindran, 12th IEEE International Symposium on Network Computing and Applications (NCA), August, 2013, Boston, USA.
•  
• "HyflowCPP: A Distributed Transactional Memory framework for C++", S. Mishra, A. Turcu, R. Palmieri, B. Ravindran, 12th IEEE International Symposium on Network Computing and Applications (NCA), August, 2013, Boston, USA.
•  
• "Enhancing Concurrency in Distributed Transactional Memory through Commutativity", J. Kim, R. Palmieri, B. Ravindran, 19th International European Conference on Parallel and Distributed Computing (Euro-Par), August, 2013, Aachen, Germany.
•  
• "Scheduling Open-Nested Transactions in Distributed Transactional Memory", J. Kim, R. Palmieri, B. Ravindran, 15th International Conference on Coordination Models and Languages (COORDINATION), June, 2013, Firenze, Italy.
•  
• "ByteSTM: Virtual Machine-level Java Software Transactional Memory", M. Mohamedin, B. Ravindran, and R. Palmieri, 15th International Conference on Coordination Models and Languages (COORDINATION), June, 2013, Firenze, Italy
•  
• "Scheduling Transactions in Replicated Distributed Transactional Memory", J. Kim, B. Ravindran, 13th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing (CCGrid), Delft, Netherlands, May 13-16, 2013.
•  
• "On Closed Nesting and Checkpointing in Fault-Tolerant Distributed Transactional Memory", A. Dhoke, B. Ravindran and B. Zhang, 27th IEEE International Symposium on Parallel and Distributed Processing (IPDPS), Cambridge, MA, USA, May 20-24, 2013
•  
• "ByteSTM: Virtual Machine-level Java Software Transactional Memory", M. Mohamedin and B. Ravindran, 8th Workshop on Transactional Computing (TRANSACT), March 2013, Houston, USA
•  

2012

• "On Open Nesting in Distributed Transactional Memory", A. Turcu and B. Ravindran, The 5th Annual International Systems and Storage Conference (SYSTOR), Haifa, Israel, June 4-6, 2012. Best Student Paper Award
•  
• "Scheduling Closed-Nested Transactions in Distributed Transactional Memory", J. Kim, B. Ravindran, 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS), Shanghai, China, May 21-25, 2012.
•  
• "On Closed Nesting in Distributed Transactional Memory", A. Turcu, B. Ravindran and M. M. Saad, 7th ACM SIGPLAN Workshop on Transactional Computing (TRANSACT), New Orleans, LA, USA, February 2012.
•  

2011

• "A Quorum-Based Replication Framework for Distributed Software Transactional Memory", B. Zhang, B. Ravindran, 15th International Conference on Principles of Distributed Systems (OPODIS), Toulouse, France, December 13-16, 2011.
•  
• "Snake: Control Flow Distributed Software Transactional Memory", M. M. Saad, B. Ravindran, 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Grenoble, France, October 10-12, 2011.
•  
• "Supporting STM in Distributed Systems: Mechanisms and a Java Framework", M. M. Saad, B. Ravindran, 6th ACM SIGPLAN Workshop on Transactional Computing (TRANSACT), San Jose, California, USA, June 2011.
•  
• "HyFlow: A high performance distributed software transactional memory framework", M. M. Saad, B. Ravindran, 20th IEEE International Symposium on High Performance Distributed Computing (HPDC), San Jose, California, USA, June 2011.
•  

PhD Theses

• "Scalable Byzantine State Machine Replication: Designs, Techniques, and Implementations", Balaji Arun, PhD Dissertation, May 2021
•  
• "On the Fault-tolerance and High Performance of Replicated Transactional Systems", Sachin Hirve, PhD Dissertation, September 2015.
•  
• "Designing, Modeling, and Optimizing Transactional Data Structures", Ahmed Hassan, PhD Dissertation, September 2015.
•  
• "On Optimizing Transactional Memory: Transaction Splitting, Scheduling, Fine-grained Fallback, and NUMA Optimization", Mohamed Mohamedin, PhD Dissertation, July 2015.
•  
• "On Improving Distributed Transactional Memory through Nesting, Partitioning and Ordering", Alexandru Turcu, PhD Dissertation, January 2015.
•  
• "Scheduling Memory Transactions in Distributed Systems", Junwhan Kim, PhD Dissertation, September 2013.
•  
• "Supporting Software Transactional Memory in Distributed Systems: Protocols for Cache-Coherence, Conflict Resolution, and Replication", Bo Zhang, PhD Dissertation, November 2011.
•  

PhD Proposals

• "Revamping Byzantine Fault Tolerant State Machine Replication with Decentralization, Trusted Execution, and Practical Transformations", Balaji Arun, PhD Dissertation Proposal, May 2019.
•  
• "Extracting Parallelism from Legacy Sequential Code Using Software Transactional Memory", Mohamed M. Saad, PhD Dissertation Proposal, May 2015.
•  
• "Ensuring Dependability and Improving Performance of Transactional Systems Deployed on Multi-core Architectures", Mohamed Mohamedin, PhD Dissertation Proposal, November 2014.
•  
• "On Fault-tolerant and High Performance Replicated Transactional Systems", Sachin Hirve, PhD Dissertation Proposal, October 2014.
•  
• "On Improving Transactional Memory: Optimistic Transactional Boosting, Remote Execution, and Hybrid Transactions", Ahmed Hassan, PhD Dissertation Proposal, May 2014.
•  
• "On Improving Distributed Transactional Memory Through Nesting and Data Partitioning", Alexandru Turcu, PhD Dissertation Proposal, November 2012.
•  
• "Scheduling Memory Transactions in Distributed Systems", Junwhan Kim, PhD Dissertation Proposal, May 2012.
•  
• "On the Design of Contention Managers and Cache-Coherence Protocols for Distributed Transactional Memory", Bo Zhang, PhD Dissertation Proposal, May 2009.
•  

MS Theses

• "Generalized Consensus for Practical Fault-Tolerance", Mohit Garg, MS Thesis, August 2018
•  
• "Speeding Up Consensus By Chasing Fast Decisions", Balaji Arun, MS Thesis, February 2017
•  
• "Optimizing Distributed Transactions: Speculative Client Execution, Certified Serializability, and High Performance Run-Time", Utkarsh Pandey, MS Thesis, August 2016
•  
• "Mutex Locking versus Hardware Transactional Memory: An Experimental Evaluation", Sean Moore, MS Thesis, September 2015
•  
• "Improving Performance of Highly-Programmable Concurrent Applications by Leveraging Parallel Nesting and Weaker Isolation Levels", Duane F. Niles, Jr., MS Thesis, June 2015
•  
• "On Partial Aborts and Reducing Validation Costs in Fault-tolerant Distributed Transactional Memory", Aditya Dhoke, MS Thesis, September 2013
•  
• "HyflowCPP: A Distributed Transactional Memory framework for C++", Sudhanshu Mishra, MS thesis, January 2013.
•  
• "HyFlow: A High Performance Distributed Software Transactional Memory Framework", M. M. Saad, MS thesis, April 2011.
•  

Technical Reports

• "On Breaching the Wall of Impossibility Results on Disjoint-Access Parallel STM", S. Peluso, R. Palmieri, P. Romano, B. Ravindran and F. Quaglia, ECE Dept., Virginia Tech, February 2014.
•  
• "Exploring Checkpointing and Closed Nesting in Distributed Transactional Memory", A. Turcu, R. Palmieri and B. Ravindran, ECE Dept., Virginia Tech, March 2013.
•  
• "On Transactional Memory Concurrency Control in Distributed Real-Time Systems", S. Hirve and B. Ravindran, ECE Dept., Virginia Tech, 2012.
•  
• "On Closed Nesting in Replicated Distributed Transactional Memory", A. Dhoke, B. Ravindran and B. Zhang, ECE Dept., Virginia Tech, 2012.
•  
• "Hyflow2: A High Performance Distributed Transactional Memory Framework in Scala", A. Turcu and B. Ravindran, ECE Dept., Virginia Tech, April 2012.
•  
• "On Open Nesting in Distributed Transactional Memory: Technical Report", A. Turcu and B. Ravindran, ECE Dept., Virginia Tech, February 2012.
•  
• "On Closed Nesting in Distributed Transactional Memory: Technical Report", A. Turcu, B. Ravindran and M. M. Saad, ECE Dept., Virginia Tech, December 2011.
•  
• "Control Flow Distributed Software Transactional Memory: Technical Report", M. M. Saad and B. Ravindran, ECE Dept., Virginia Tech, February 2011.
•  
• "Transactional Forwarding Algorithm: Technical Report", M. M. Saad and B. Ravindran, ECE Dept., Virginia Tech, January 2011.
•  
• "Distributed Hybrid-Flow STM: Technical Report", M. M. Saad and B. Ravindran, ECE Dept., Virginia Tech, January 2011.
•  
• "On Enhancing Concurrency in Distributed Software Transactional Memory", B. Zhang and B. Ravindran, ECE Dept., Virginia Tech, January 2011.
•