Theses & Reports

Instructions for submitting a technical report or thesis.

  • TR2012-949 2012 A Note on the Complexity of Model-Checking Bounded Multi-Pushdown Systems Bansal, Kshitij; Demri, Stephane Abstract | PDF
  • Ph.D. Thesis 2012 Learning Hierarchical Feature Extractors For ImageRecognition Boureau, Y-Lan Abstract | PDF
  • Ph.D. Thesis 2012 On populations, haplotypes and genome sequencing Franquin, Pierre Abstract | PDF
  • Ph.D. Thesis 2012 Optimizing Machine Translation by Learning to Search Galron, Daniel Abstract | PDF
  • Ph.D. Thesis 2012 Flexible-Cost SLAM Grimes, Matthew Abstract | PDF
  • Ph.D. Thesis 2012 SMT Beyond DPLL(T): A New Approach to Theory Solvers and Theory Combination Jovanovic, Dejan Abstract | PDF
  • Ph.D. Thesis 2012 An Adaptive Fast Multipole Method-Based PDE Solver in Three Dimensions Langston, Matthew Harper Abstract | PDF
  • Ph.D. Thesis 2012 Acquiring information from wider scope to improve event extraction Liao, Shasha Abstract | PDF
  • M.S. Thesis 2012 A tool for extracting and indexing spatio-temporal information from biographical articles in Wikipedia Morton-Owens, Emily Abstract | PDF
  • Ph.D. Thesis 2012 Mobile Accessibility Tools for the Visually Impaired Paisios, Nektarios Abstract | PDF
  • Ph.D. Thesis 2012 Reusable Software Infrastructure for Stream Processing Soule, Robert Abstract | PDF
  • TR2012-948 2012 Hitting the Sweet Spot for Streaming Languages: Dynamic Expressivity with Static Optimization Soulé, Robert; Gordon, Michael I.; Amarasinghe, Saman; Grimm, Robert; Hirzel, Martin Abstract | PDF
  • Ph.D. Thesis 2012 Building scalable geo-replicated storage backends for web applications Sovran, Yair Abstract | PDF
  • Ph.D. Thesis 2012 Rapid Training of Information Extraction with Local and Global Data Views Sun, Ang Abstract | PDF
  • Ph.D. Thesis 2012 Combating Sybil attacks in cooperative systems Tran, Nguyen Abstract | PDF
  • Ph.D. Thesis 2012 Multi-species biclustering: An integrative method to identify functional gene conservation between multiple species Waltman, Peter Abstract | PDF