Theses & Reports

Instructions for submitting a technical report or thesis.

  • 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
  • TR2016-984 2016 Finding Prospects for Shopping Centers: a machine learning approach Kogan, Jonathan; Jain, Rishabh; Jean, Joe; Lowrance, Roy; Shasha, Dennis Abstract | PDF
  • Ph.D. Thesis 2016 Improving Knowledge Base Population with Information Extraction Li, Xiang Abstract | PDF
  • Ph.D. Thesis 2016 Improving SAT Solvers by Exploiting Empirical Characteristics of CDCL Oh, Chanseok Abstract | PDF
  • Ph.D. Thesis 2016 Graph-based Approaches to Resolve Entity Ambiguity Pershina, Maria Abstract | PDF
  • TR2016-985 2016 On the Solution of Elliptic Partial Differential Equations on Regions with Corners II: Detailed Analysis Serkh, Kirill Abstract | PDF
  • TR2016-982 2016 Alphacodes: Usable, Secure Transactions with Untrusted Providers using Human Computable Puzzles Sharma, Ashlesh; Chandrasekaran, Varun; Amjad, Fareeha; Shasha, Dennis; Subramanian, Lakshminarayanan Abstract | PDF
  • Ph.D. Thesis 2016 Partition Memory Models for Program Analysis Wang, Wei Abstract | PDF
  • TR2016-981 2016 Scaling Multicore Databases via Constrained Parallel Execution Wang, Zhaoguo; Mu, Shuai; Cui, Yang; Yi, Han; Chen, Haibo; Li, Jinyang Abstract | PDF
  • M.S. Thesis 2016 A New Strongly Polynomial Algorithm for Computing Fisher Market Equilibria with Spending Constraint Utilities Wang, Zi Abstract | PDF
  • Ph.D. Thesis 2016 Learning Algorithms from Data Zaremba, Wojciech Abstract | PDF
  • Ph.D. Thesis 2016 Distributed Stochastic Optimization for Deep Learning Zhang, Sixin Abstract | PDF
  • Ph.D. Thesis 2016 Pushing the Limits of Additive Fabrication Technologies Zhou, Qingnan (James) Abstract | PDF