Browse Dissertations and Theses - Computer Science by Author "Tan, Lin"

  • Tan, Lin (2009)
    Lastly, we proposed and implemented aComment to detect operating system concurrency bugs and handle the complex interaction between interrupts and lock. Specifically, we designed a new type of interrupt related annotations, ...

    application/pdf

    application/pdfPDF (3MB)Restricted to U of Illinois