Browse Research and Tech Reports - Computer Science by Author "Karmani, Rajesh Kumar"

  • Karmani, Rajesh Kumar; Madhusudan, P.; Moore, Brandon (2010-04-19)
    The goal of this paper is to build an annotation framework of thread contracts, called Accord to argue that a parallel program has no data-races, and build accompanying verification and testing tools. Accord annotations ...


    application/pdfPDF (248kB)