Browse Dissertations and Theses - Computer Science by Author "Radoi, Cosmin"

  • Radoi, Cosmin (2014-01-16)
    Despite significant progress in recent years, the important problem of static race detection remains open. Previous techniques took a general approach and looked for races by analyzing the effects induced by low-level ...

    application/pdf

    application/pdfPDF (466kB)