Browse Dissertations and Theses - Electrical and Computer Engineering by Contributor "Parthasarathy, Madhusudan"

  • Suresh Kumar, Anjana (2021-04-26)
    Invariant synthesis is crucial for program verification and is a challenging task. We present a new concrete learning algorithm, Winnow-ICE, to synthesize inductive invariants for proving that a program is correct by ...

    application/pdf

    application/pdfPDF (688kB)
  • Wang, Long (2011-01-14)
    Operating systems and hypervisors enable the collection and extraction of rich information on application and system execution characteristics. This thesis describes a Reliability MicroKernel (RMK) architecture, which ...

    application/pdf

    application/pdfPDF (2MB)