Theses & Reports

Instructions for submitting a technical report.

  • Ph.D. Thesis 2016 Decision Procedures for Finite Sets with Cardinality, and Local Theories Extensions Bansal, Kshitij Abstract | PDF
  • Ph.D. Thesis 2016 Analyzing Source Code Across Static Conditionals Gazzillo, Paul Abstract | PDF
  • Ph.D. Thesis 2016 Improving SAT Solvers by Exploiting Empirical Characteristics of CDCL Oh, Chanseok Abstract | PDF
  • Ph.D. Thesis 2016 Partition Memory Models for Program Analysis Wang, Wei Abstract | PDF