Verification of software barriers

  • Authors:

  • Alexander Malkis;Anindya Banerjee

  • Affiliations:

  • IMDEA Software Institute, Boadilla del Monte, Madrid, Spain;IMDEA Software Institute, Boadilla del Monte, Madrid, Spain

  • Venue:
  • Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper describes frontiers in verification of the software barrier synchronization primitive. So far most software barrier algorithms have not been mechanically verified. We show preliminary results in automatically proving the correctness of the major software barriers.