Theses & Reports

Instructions for submitting a technical report or thesis.

  • Ph.D. Thesis 2011 Collusion Preserving Computation Alwen, Joel Abstract | PDF
  • Ph.D. Thesis 2011 Re-architecting Web and Mobile Information Access for Emerging Regions Chen, Jay Abstract | PDF
  • Ph.D. Thesis 2011 Automatic Deduction for Theories of Algebraic Data Types Chikanian, Igor Abstract | PDF
  • TR2011-943 2011 Two-Level Overlapping Schwarz Algorithms for a Staggered Discontinuous Galerkin Method Chung, Eric T.; Kim, Hyea Hyun; Widlund, Olof B. Abstract | PDF
  • TR2011-946 2011 An Alternative Coarse Space for Irregular Subdomains and an Overlapping Schwarz Algorithm Dohrmann, Clark R.; Widlund, Olof B. Abstract | PDF
  • TR2011-939 2011 Parsing All of C by Taming the Preprocessor Gazzillo, Paul; Grimm, Robert Abstract | PDF
  • Ph.D. Thesis 2011 Efficient Cryptographic Primitives for Non-Interactive Zero-Knowledge Proofs and Applications Haralambiev, Kristiyan Abstract | PDF
  • TR2011-940 2011 Sharing is Caring: Combination of Theories Jovanovic, Dejan; Barrett, Clark Abstract | PDF
  • Ph.D. Thesis 2011 Learning Feature Hierarchies for Object Recognition Kavukcuoglu, Koray Abstract | PDF
  • Ph.D. Thesis 2011 Topics in Formal Synthesis and Modeling Klein, Uri Abstract | PDF
  • TR2011-938 2011 Formalization and Automated Verification of RESTful Behavior Klein, Uri; Namjoshi, Kedar S. Abstract | PDF
  • TR2011-944 2011 Effective Synthesis of Asynchronous Systems from GR(1) Specifications Klein, Uri; Piterman, Nir; Pnueli, Amir Abstract | PDF
  • TR2011-937 2011 Domain Decomposition Methods for Reissner-Mindlin Plates Discretized with the Falk-Tu Elements Lee, Jong Ho Abstract | PDF
  • Ph.D. Thesis 2011 Adaptive Isotopic Approximation of Nonsingular Curves and Surfaces Lin, Long Abstract | PDF
  • Ph.D. Thesis 2011 Real-Space Localization Methods for Minimizing the Kohn-Sham Energy Millstone, Marc Abstract | PDF
  • Ph.D. Thesis 2011 Scoring-and-Unfolding Trimmed Tree Assembler: Algorithms for Assembling Genome Sequences Accurately and Efficiently Narzisi, Giuseppe Abstract | PDF
  • TR2011-942 2011 Domain Decomposition Methods for Raviart-Thomas Vector Fields Oh, Duk-Soon Abstract | PDF
  • TR2011-945 2011 From a Calculus to an Execution Environment for Stream Processing SoulĂ©, Robert; Hirzel, Martin; Gedik, Bugra; Grimm, Robert Abstract | PDF
  • Ph.D. Thesis 2011 Cryptographic Resilience to Continual Information Leakage Wichs, Daniel Abstract | PDF
  • Ph.D. Thesis 2011 Surface Representation of Particle Based Fluids Yu, Jihun Abstract | PDF