Skip to content

Dissertation Topics Computer Science Pdf

Follow

Dissertations from 2017

PDF

Method for Enabling Causal Inference in Relational Domains, David Arbour

PDF

Problems in Graph-Structured Modeling and Learning, James Atwood

PDF

Spreadsheet Tools for Data Analysts, Daniel W. Barowy

PDF

Deep Energy-Based Models for Structured Prediction, David Belanger

PDF

Graph Construction for Manifold Discovery, CJ Carey

PDF

Automatic Derivation of Requirements for Components Used in Human-Intensive Systems, Heather Conboy

PDF

DESIGN, ANALYSIS AND OPTIMIZATION OF CACHE SYSTEMS, Mostafa Dehghan Shirehpaz

PDF

Controversy Analysis and Detection, Shiri Dori-Hacohen

PDF

DEEP-LEARNED GENERATIVE REPRESENTATIONS OF 3D SHAPE FAMILIES, Haibin Huang

PDF

On Leveraging Multi-Path Transport in Mobile Networks, Yeon-sup Lim

PDF

Inference in Networking Systems with Designed Measurements, Chang Liu

PDF

Style-driven Shape Analysis and Synthesis, Zhaoliang Lun

PDF

Temporal and Relational Models for Causality: Representation and Learning, Katerina Marazopoulou

PDF

The Complexity of Resilience, Cibele Matos Freire

PDF

Knowledge Representation and Reasoning with Deep Neural Networks, Arvind Ramanathan Neelakantan

PDF

Belief-Space Planning for Resourceful Manipulation and Mobility, Dirk Ruiken

PDF

Database Usability Enhancement in Data Exploration, Yue Wang

PDF

HIGH-PERFORMANCE COMPLEX EVENT PROCESSING FOR DECISION ANALYTICS, Haopeng Zhang

Dissertations from 2016

PDF

Effective Performance Analysis and Debugging, Charles M. Curtsinger

PDF

Detecting Anomalously Similar Entities in Unlabeled Data, Lisa D. Friedland

PDF

Elastic Resource Management in Distributed Clouds, Tian Guo

PDF

Application-Aware Resource Management for Cloud Platforms, Xin He

PDF

Extending Faceted Search to the Open-Domain Web, Weize Kong

PDF

Efficient Inference, Search and Evaluation for Latent Variable Models of Text with Applications to Information Retrieval and Machine Translation, Kriste Krstovski

PDF

Combining Static and Dynamic Analysis for Bug Detection and Program Understanding, Kaituo Li

PDF

Algorithms for First-order Sparse Reinforcement Learning, Bo Liu

PDF

Applications of Sampling and Estimation on Networks, Fabricio Murai Ferreira

PDF

An Incremental Approach to Identifying Causes of System Failures using Fault Tree Analysis, Huong T. Phan

PDF

Specification and Analysis of Resource Utilization Policies for Human-Intensive Systems, Seung Yeob Shin

PDF

Intrinsically Motivated Exploration in Hierarchical Reinforcement Learning, Christopher M. Vigorito

PDF

Stochastic Network Design: Models and Scalable Algorithms, Xiaojian Wu

PDF

Leveraging Backscatter for Ultra-low Power Wireless Sensing Systems, PENGYU ZHANG

PDF

Shape Design and Optimization for 3D Printing, Yahan Zhou

Dissertations from 2015

PDF

Reconstructing Geometric Structures from Combinatorial and Metric Information, Md Ashraful Alam

PDF

An Analysis of Student Learning Strategies in High Enrollment Computer-Based College Courses, gordon c. anderson

PDF

Fundamental Limits of Covert Communication, Boulat A. Bash

PDF

Automated Style Feedback for Advanced Beginner Java Programmers, Hannah Blau

PDF

Skeleton Structures and Origami Design, John C. Bowers

PDF

Exploiting Concepts In Videos For Video Event Detection, Ethem Can

PDF

Learning Parameterized Skills, Bruno Castro da Silva

PDF

Robust Mobile Data Transport: Modeling, Measurements, and Implementation, Yung-Chih Chen

PDF

Model-Based Guidance for Human-Intensive Processes, Stefan Christov

PDF

General Program Synthesis from Examples Using Genetic Programming with Parent Selection Based on Random Lexicographic Orderings of Test Cases, Thomas Helmuth

PDF

Network Characteristics and Dynamics: Reciprocity, Competition and Information Dissemination, Bo Jiang

PDF

Application of Techniques for MAP Estimation to Distributed Constraint Optimization Problem, Yoonheui Kim

PDF

Exploiting Social Media Sources for Search, Fusion and Evaluation, Chia-Jung Lee

PDF

A Platform for Scalable Low-Latency Analytics using MapReduce, Boduo Li

PDF

Energy-Efficient Content Delivery Networks, Vimal Mathew

PDF

Energy Optimizations for Smart Buildings and Smart Grids, Aditya K. Mishra

PDF

Learning with Joint Inference and Latent Linguistic Structure in Graphical Models, Jason Narad

PDF

Long Range Motion Estimation and Applications, Laura Sevilla-Lara

PDF

Content Placement as a Key to a Content-Dominated, Highly mobile Internet, Abhigyan Sharma

PDF

Variation in Human-Intensive Systems: a Conceptual Framework for Characterizing, Modeling, and Analyzing Families of Systems, Borislava I. Simidchieva

PDF

Informed Search for Learning Causal Structure, Brian J. Taylor

PDF

Safe Reinforcement Learning, Philip S. Thomas

PDF

Epistemological Databases for Probabilistic Knowledge Base Construction, Michael Louis Wick

PDF

An Opportunistic Service Oriented Approach for Robot Search, Dan Xie

PDF

Forensic and Management Challenges in Wireless and Mobile Network Environment, sookhyun yang

PDF

Universal Schema for Knowledge Representation from Text and Structured Data, Limin Yao

Dissertations from 2014

PDF

Integrating Non-Topical Aspects Into Information Retrieval, Elif Aktolga

PDF

Subtyping with Generics: A Unified Approach, John G. Altidor

PDF

Model-Driven Analytics of Energy Meter Data in Smart Homes, Sean K. Barker

PDF

Streaming Algorithms Via Reductions, Michael S. Crouch

PDF

ADAPTIVE STEP-SIZES FOR REINFORCEMENT LEARNING, William C. Dabney

PDF

Entity-based Enrichment for Information Extraction and Retrieval, Jeffrey Dalton

PDF

A Proportionality-based Approach to Search Result Diversification, Van Bac Dang

PDF

Improving Text Recognition in Images of Natural Scenes, Jacqueline Feild

PDF

Making Networks Robust to Component Failures, Daniel Gyllstrom

PDF

Indexing Proximity-based Dependencies for Information Retrieval, Samuel Huston

PDF

DEFINING, EVALUATING, AND IMPROVING THE PROCESS OF VERIFYING PATIENT IDENTIFIERS, Junghee Jo

PDF

Incorporating Boltzmann Machine Priors for Semantic Labeling in Images and Videos, Andrew Kae

PDF

SEARCHING BASED ON QUERY DOCUMENTS, Youngho Kim

PDF

A Probabilistic Model of Hierarchical Music Analysis, Phillip Benjamin Kirlin

PDF

Reliable and Efficient Multithreading, Tongping Liu

PDF

Privacy-preserving Sanitization in Data Sharing, Wentian Lu

PDF

Causal Discovery for Relational Domains: Representation, Reasoning, and Learning, Marc Maier

PDF

Unsupervised Joint Alignment, Clustering and Feature Learning, Mohamed Marwan Mattar

PDF

Probabilistic Models for Motion Segmentation in Image Sequences, Manjunath Narayana

PDF

Using Formal Methods to Verify Transactional Abstract Concurrency Control, Trek S. Palmer

PDF

Designing Efficient and Accurate Behavior-Aware Mobile Systems, Abhinav Parate

PDF

Retrieval Models based on Linguistic Features of Verbose Queries, Jae Hyun Park

PDF

Efficient Routing and Scheduling in Wireless Networks, Anand Seetharam

PDF

Scaling MCMC Inference and Belief Propagation to Large, Dense Graphical Models, Sameer Singh

PDF

INFERENCE-BASED FORENSICS FOR EXTRACTING INFORMATION FROM DIVERSE SOURCES, Robert J. Walls

PDF

COMPUTATIONAL COMMUNICATION INTELLIGENCE: EXPLORING LINGUISTIC MANIFESTATION AND SOCIAL DYNAMICS IN ONLINE COMMUNICATION, Xiaoxi Xu

PDF

Efficient Representation and Matching of Texts and Images in Scanned Book Collections, Ismet Zeki Yalniz

Dissertations from 2013

PDF

Query-Time Optimization Techniques for Structured Queries in Information Retrieval, Marc-Allen Cartright

PDF

The Security and Privacy Implications of Energy-Proportional Computing, Shane S. Clark

PDF

The Impact of Integrated Coaching and Collaboration Within an Inquiry Learning Environment, Toby Dragon

PDF

Exploring Privacy and Personalization in Information Retrieval Applications, Henry A. Feild

PDF

Evolving Expert Knowledge Bases: Applications of Crowdsourcing and Serious Gaming to Advance Knowledge Development for Intelligent Tutoring Systems, Mark Floryan

PDF

Accurate and Robust Mechanical Modeling of Proteins, Naomi Fox

PDF

Exploiting Domain Structure in Multiagent Decision-Theoretic Planning and Reasoning, Akshat Kumar

PDF

Multiscale Modeling of Human Addiction: a Computational Hypothesis for Allostasis and Healing, Yariv Z. Levy

PDF

Optimizing Linear Queries Under Differential Privacy, Chao Li

PDF

Privacy-Aware Collaboration Among Untrusted Resource Constrained Devices, Andres David Molina-Markham

PDF

Semantically Grounded Learning from Unstructured Demonstrations, Scott D. Niekum

PDF

Characterization and Network Consequences Of Low Spreading Loss in Underwater Acoustic Networks, James W Partan

PDF

Transiently Powered Computers, Benjamin Ransford

PDF

Software Techniques to Reduce the Energy Consumption of Low-Power Devices at the Limits of Digital Abstractions, Mastooreh Salajegheh

 

This page lists all Allen School student theses, archived online since 2005.

2015

TR15-01: PDF Winner, 2015 Best Senior Thesis Award
Probability Type Inference for Flexible Approximate Programming
Brett Boston, supervised by Dan Grossman

TR15-02: PDF
Tleilax: Porting Tor to Arrakis
Sunjay Cauligi, supervised by Tom Anderson

TR15-03: PDF
EKG Monitoring and Arrhythmia Detection
Amaris Chen, supervised by Bruce Hemingway

TR15-04: PDF
Automated Analysis of Paper-Based Immunoassay Tests
Krittika D'Silva, supervised by Gaetano Borriello & Paul Yager

TR15-05: PDF 
The Wisdom of Multiple Guesses
Ryan Drapeau, supervised by Johan Ugander and Carlos Guestrin

TR15-06: PDF
Extending Streaming Features for Myria
Yuqing Guo, supervised by Magdalena Balazinska

TR15-07: PDF
Tabletop Manipulation
Dylan Holmes, supervised by Emanuel Todorov

TR15-08: PDF
Peer-to-peer Data Transfer in Resource Constrained Environments
Shahar Levari, supervised by Gaetano Borriello & Richard Anderson

TR15-09: PDF
OBA Research & Development
Aengus McMillin, supervised by Alan Borning

TR15-10: PDF
A Web Based Tool for Labeling the 3D World
Aaron Nech, supervised bySteve Seitz & Richard Newcombe

TR15-11: PDF
Talk Space: Developing the Online Salon
Karthik Palaniappan, supervised by Alan Borning

TR15-12: PDF
Identification of Unstructured Language Indicating Multiple Objects
Vivek Paramasivam, supervised by Luke Zettlemoyer

TR15-13: PDF
Distributed Sampling in a Big Data Management System
Dan Radion, supervised by Dan Suciu

TR15-14: PDF
Algebraic Simplification for the Herbie Project
Alex Sanchez-Stern, supervised by Zachary Tatlock

TR15-15: PDF
Understanding Charts in Research Papers: A Learning Approach
Noah Siegel, supervised by Ali Farhadi

TR15-16: PDF
LeagueSpeak: The Language of Skill in Leage of Legends
King O. Xia, supervised by James Fogarty

 

2014

TR14-01: PDF
POMDP-Based Interaction and Interactive Natural Language Grounding with a NAO Robot
Maxwell Forbes, supervised by Rajesh Rao

TR14-02: PDF
Running N-body Use Cases on Myria
Lee Lee Choo, supervised by Magdalena Balazinska

TR14-03: PDF
Verification Games Type Systems
Nathaniel Mote, supervised by Michael Ernst

TR14-04: PDF
PNA: Protein-Nucleic Acid Complex Structure Prediction
Raymond Zhang, supervised by Martin Tompa

TR14-05: PDF Winner, 2014 Best Senior Thesis Award
DCDN: Distributed Content Delivery for the Modern Web 
Nick Martindell, supervised by Tom Anderson & Arvind Krishnamurthy

TR14-06: PDF
Data Purchase Advisor: Cost-Effective Data Acquisition for Shared Data Analysis
Martina Unutzer, supervised by Magdalena Balazinska

TR14-07: PDF
Investigation into Measuring Blood Pressure with a Mobile Phone
Molly Moen, supervised by Gaetano Borriello

TR14-08: PDF
DigiTaps
Vaspol Ruamviboonsuk, supervised by Richard Ladner

TR14-09: PDF
Modeling Relational Vocabulary for Grounded Language Acquisition
Caitlin Harding, supervised by Luke Zettlemoyer

TR14-10: PDF
Spectral Graph Theory, Expanders, and Ramanujan Graphs
Christopher WIlliamson, supervised by James Lee & Anup Rao

TR14-11: PDF
Eyes-Free Error Detection and Correction of Speech Dictation on Mobile Devices
Rochelle Ng, supervised by Richard Ladner

TR14-12: PDF
On a Competitive Secretary Problem
Eric Lei, supervised by Anna Karlin

 

 

2013

TR13-01: PDF
Traceur: Inferring Variable Control Flow Using Synoptic With Multiple Relation Types
Timothy Vega, supervised by Michael Ernst

TR13-02: PDF 1, PDF 2, PDF 3
Monitors: Keeping Informed on Code Changes [PDF 1]
News and Notification: Propagating Releveant Changes to Developers[PDF 2]
Refinements and Git Integration with Notifications and Monitoring [PDF 3]
Christopher Dentel
supervised at ETH Zurich by Christian Estler, Dr. Martin Nordio, & Prof. Dr. Bertrand Meyer
supervised at UW by David Notkin

TR13-03: PDF 1, PDF 2, PDF 3
Contract Inserter: A Tool for Automatically Generating and Inserting C# Code Contracts
Forrest Coward, supervised by Michael Ernst

TR13-04: PDF
ODK Tables Graphing Tool
Nathan Brandes, supervised by Gaetano Borriello

TR13-05: PDF
Probabilistic Co-Adaptive Brain-Computer Interfacing
Matthew Bryan, supervised by Rajesh Rao

TR13-06: PDF
Stroke Rehabilitation Through Motor Imagery Controlled Humanoid
Priya Chagaleti, supervised by Rajesh Rao

TR13-07: PDF
Analyzer: Integrated Tools to Guide the Application of Machine Learning
Christopher Clark, supervised by Oren Etzioni

TR13-08: PDF
Considering Accuracy and Diversity when Creating Ensembles of Classifiers
Michael Fain, supervised by James Fogarty

TR13-09: PDF
ODK Tables Maps
Christopher Gelon, supervised by Gaetano Borriello

TR13-10: PDF
Appliance Reader
Antonius Denny Harijanto, supervised by Richard Ladner

TR13-11: PDF
Towards a Theory of Multiparty Information Complexity
Samuel Hopkins, supervised by Paul Beame

TR13-12: PDF
Instance-Based Recognition of Screen-Rendered Text in a System for Pixel-Based Reverse-Engineering of Graphical Interfaces
Stephen Joe Jonany, supervised by James Fogarty

TR13-13: PDF
Identifying Idiomatic Language at Scale
Grace Muzny, supervised by Luke Zettlemoyer

TR13-14: PDF
Identifying Application Breakage Caused by Virtualization
Steven Portzer, supervised by Arvind Krishnamurthy

TR13-15: PDFWinner, 2013 Best Senior Thesis Award
An API For Touch-Free Interfaces For Andriod Devices
Leeran Raphaely, supervised by Gaetano Borriello

TR13-16: PDF
ODK Tables: Improving the Custom Views
Heidi So, supervised by Gaetano Borriello

TR13-17: PDF
Leveraging Data Invariants in Model Interfernce for Test Case Generation
Roykrong Sukkerd, supervised by Michael Ernst

 

2012

TR12-01: PDF
InvariMint: Modeling Logged Behavior with Invariant DFAs
Jenny Abrahamson, supervised by Michael Ernst

TR12-02: PDF
Quantum Compiler Optimizations
Jeff Booth, supervised by Aram Harrow

TR12-03: PDF
StopFinder: Improving the Experience of Blind Public Transit Riders with Crowdsourcing
Sanjana Prasain, supervised by Alan Borning

TR12-04: PDF
A Type System for Regular Expressions
Eric Spishak, supervised by Michael Ernst

TR12-05: PDF
Run-Length Encoding Markovian Streams
Jennifer Wong, supervised by Magdalena Balazinska

TR12-06: PDF
Expanding the Depth Cloud: How to Intelligently Improve Grasping
Matthew Mullen, supervised by Joshua Smith

TR12-08: PDF
Simultaneous Tracking of Two Hands Using Camshift
Eric Hare, supervised by Dieter Fox

TR12-07: PDF
A Cold Chain Data Visualization Tool
Melissa Winstanley, supervised by Ruth Anderson

TR12-09: PDFWinner, 2012 Best Senior Thesis Award
The Elan Programming Language for Field-Programmable Gate Arrays
Elliott Brossard, supervised by Carl Ebeling

TR12-10: PDF
The Friendbo Attention Bar: Improving Engagement with Web Feeds on Social Networking Sites
Greg Bigelow, supervised by James Landay

TR12-11: PDF
Namaste: A Yoga Activity Logging Sensor
Milda Zizyte, supervised by Shewtak Patel

TR12-12: PDF
Efficient MapReduce Applications
Finn Parnell, supervised by Luis Ceze

TR12-13: PDF
ODK Tables: A Customizable Data Management Application for Android
Hilary Worden, supervised by Gaetano Borriello

TR12-14: PDF
A Synchronization Protocol for ODK Tables and ODK Aggregate
Dylan Price, supervised by Gaetano Borriello

TR12-15: PDF
Computer Security in the Undergraduate Curriciulum
Miles Sackler, supervised by Tadayoshi Kohno

 

2011

TR11-01: PDF
Improving DHT Routing Performance in Harmony using Client Caching
Allison Obourn, supervised by Tom Anderson

TR11-03: PDF
Smart Connect: Developing an SMS-Based Communcations Systems for Health Clinics in Vietnam
Krysta Yousoufian, supervised by Richard Anderson

TR11-04: PDF
Improving performance of prototype recognition in Prefab
Orkhan Muradov, supervised by James Fogarty

TR11-05: PDF  Winner, 2011 Best Senior Thesis Award
LIFEGUARD: Locating Internet Failure Events and Generating Usable Alternate Routes Dynamically
Robert Colin Scott, supervised by Tom Anderson

TR11-06: PDF
Towards Practical Brain-Computer Interfaces: Hierarchical Learning and Source Estimation
Willy Cheung, supervised by Rajesh Rao

TR11-07: PDF
Improving Open Data Kit Collect's Multiple Choice Data Entry Methods
Jeffrey Beorse, supervised by Gaetano Borriello

TR11-08: PDF
Runtime Verification of Portable Programming Interfaces
Jeff Rasley, supervised by Justin Cappos

 

2010

TR10-01: PDF
Modeling a Lattice-Traversing Robot

Albert Chiu, supervised by Eric Klavins

TR10-02: PDF
Haptic Laser
Erik Rosenkrantz Dennison Turnquist, supervised by Shwetak Patel

TR10-03: PDF
The Cinematic Sandbox: Utilizing Video Game Engines for Rapid Prototyping of Animated Films
Nicholas Garrett, supervised by Barbara Mones

TR10-04: PDF  Winner, 2010 Best Senior Thesis Award
Applications of the IP Timestamp Option to Internet Measurement
Justine Sherry, supervised by Tom Anderson

TR10-05: PDF
Iterative Design and Implementation of an Educational Platform for Shared Computing Contexts
Sunil Garg, supervised by Richard Anderson

TR10-06: PDF
Deployment and Evaluation of an Educational Platform for Shared Computing Contexts
Clint Tseng, supervised by Richard Anderson

TR10-07: PDF
MultiViewer Imaging Viewer: Automated Calibration PET Phanton Analysis Project
Yogesh Saletore, supervised by Linda Shapiro

 

2009

TR09-01: PDF
Node Containment in the Seattle Testbed
Cosmin Barsan, supervised by Justin Cappos

TR09-02: PDF
Simulating Hand Interaction in a Virtual Environment with Open Dynamics Engine and CyberGlove
Nick Nunley, supervised by Miro Enev

TR09-03: PDF  Winner, 2009 Best Senior Thesis Award
Real-Time Classification of Everyday Fitness Activities on Windows Mobile
Alireza Bagheri Garakani, supervised by James Fogarty

 

2008

TR08-01: PDF Winner, 2008 Best Senior Thesis Award
Maintaining Intelligibility of ASL Video in the Presence of Data Loss

Sam Whittle, supervised by Richard Ladner

TR08-02: PDF
Parallel N-Body Simulation Using Problem Space Promotion
Brandon Farrell, supervised by Larry Snyder

TR08-03: PDF
Exploring New Applications for Parallel Programming: Envisioning a New Realm
David Tepper, supervised by Larry Snyder

 

2007

TR07-01: PDF
Connecting Diets to Disease: Using Data-Mining to Find Links between Food Comsumption and Chronic Diseases

Alex Zheng, supervised by Rajesh Rao

TR07-02: PDF
Tagged Representations in WIL
Daria Craciunoiu, supervised by Craig Chambers

TR07-03: PDF
Multicore ZPL
Steven P. Smith, supervised by Larry Snyder

TR07-04: PDF
Implementing NOT EXISTS Predicates over a Probabilistic Database
Ting-You Wang, supervised by Dan Suciu

TR07-05: PDF  Winner, 2007 Best Senior Thesis Award
Context-Based Arithmetic Coding for the DCT: Achieving high compression rates with block transforms and simple context modeling
Kyle Littlefield, supervised by Richard Ladner

 

2006

TR06-01: PDF Winner, 2006 Best Senior Thesis Award
Feature-Based Classification of the Mouse Eye Images

Jenny Yuen, supervised by Linda Shapiro

 

2005

TR05-01: PDF Winner, 2005 Best Senior Thesis Award
Text Segmentation and Grouping for Tactile Graphics

Matthew Renzelmann, supervised by Richard Ladner