Now showing items 1-2 of 2

    • Automated Reasoning of Database Queries 

      Chu, Shumo
      From booking air tickets to analyzing astronomy datasets, database queries are pervasive in people’s work and life. This thesis describes Cosette, the first tool for automated reasoning the equivalences of SQL queries. The ...
    • Pushing the Limits of Compiler Verification 

      Mullen, Eric Alexander
      Modern computer systems rely on the correctness of at least one compiler for correct operation. Formal verification is a powerful technique for constructing correct systems. While there have been many efforts to develop ...