This is the collection for the University of Waterloo's David R. Cheriton School of Computer Science theses & dissertations.

Graduate students can submit a copy of their electronic thesis or dissertation to this collection to meet their degree requirements.

Recent Submissions

  • Case Studies of a Machine Learning Process for Improving the Accuracy of Static Analysis Tools 

    Zhao, Peng (University of Waterloo, 2016-10-18)
    Static analysis tools analyze source code and report suspected problems as warnings to the user. The use of these tools is a key feature of most modern software development processes; however, the tools tend to generate ...
  • Modeling the Effects of AUTOSAR Overhead on Automotive Application Software Timing and Schedulability 

    Chauhan, Manish (University of Waterloo, 2016-10-14)
    AUTOSAR (AUTomotive Open System ARchitecture) provides an open and standardized E/E architecture to support modularity, transferability, reusability and scalability of the various components required to implement a function ...
  • Tabular Abstraction, Editing, and Formatting 

    Wang, Xinxin (University of Waterloo, 2016-09-29)
    This dissertation investigates the composition of high-quality tables with the use of electronic tools. A generic model is designed to support the different stages of tabular composition, including the editing of logical ...
  • Understanding and Efficiently Servicing HTTP Streaming Video Workloads 

    Summers, Jim (University of Waterloo, 2016-09-28)
    Live and on-demand video streaming has emerged as the most popular application for the Internet. One reason for this success is the pragmatic decision to use HTTP to deliver video content. However, while all web servers ...
  • Computational Approaches to Problems in Noncommutative Algebra -- Theory, Applications and Implementations 

    Heinle, Albert (University of Waterloo, 2016-09-28)
    Noncommutative rings appear in several areas of mathematics. Most prominently, they can be used to model operator equations, such as differential or difference equations. In the Ph.D. studies leading to this thesis, ...
  • Decentralized Runtime Verification of LTL Specifications in Distributed Systems 

    Hasabelnaby, Mennatallah (University of Waterloo, 2016-09-26)
    Runtime verification is a lightweight automated formal method for specification-based run- time monitoring as well as testing of large real-world systems. While numerous techniques exist for runtime verification of sequential ...
  • Implementing a Functional Language for Flix 

    Yee, Ming-Ho (University of Waterloo, 2016-09-15)
    Static program analysis is a powerful technique for maintaining software, with applications such as compiler optimizations, code refactoring, and bug finding. Static analyzers are typically implemented in general-purpose ...
  • Upward Octagonal Drawings of Ternary Trees 

    Lee, Seunghee (University of Waterloo, 2016-09-08)
    We explore ways to embed a ternary tree in an integer coordinate grid such that the width of the drawing is minimized. We provide upper and lower bounds on the width requirement of planar, straight-line, upward, order-preserving ...
  • Quantum state purification 

    Fu, Honghao (University of Waterloo, 2016-08-29)
    Quantum state purification is a process in which decoherence is partially reversed by using multiple copies of the input states that have been subject to the same decoherence effect. This thesis focuses on purifying the ...
  • Continuous Integration Build Failures in Practice 

    Labuschagne, Adriaan (University of Waterloo, 2016-08-24)
    Automated software testing is a popular method of quality control that aims to detect bugs before software is released to the end user. Unfortunately, writing, maintaining, and executing automated test suites is expensive ...
  • Single-Entity-Single-Relation Question Answering with Minimal Annotation 

    Peng, Zhongyu (University of Waterloo, 2016-08-24)
    We present a novel bag-of-words based approach that automatically constructs a semantic parsing based question answering (QA) system tailored to single-entity-single-relation questions. Given a large community QA pair ...
  • Refining, Implementing, and Evaluating the Extended Continuous Variable-Specific Resolutions of Feature Interactions 

    Zhang, Chi (University of Waterloo, 2016-08-19)
    Systems that involve feature-oriented software development suffer from feature interactions, in which features affect one another’s behaviour in surprising ways. As the number of features increases, the complexity of ...
  • Three Approaches to Building Time-Windowed Geometric Data Structures 

    Pratt, Simon (University of Waterloo, 2016-08-18)
    Given a set of geometric objects (points or line segments) each associated with a time value, we wish to determine whether a given property is true for a subset of those objects whose time values fall within a query time ...
  • A 2-Approximation for the Height of Maximal Outerplanar Graph Drawings 

    Demontigny, Philippe (University of Waterloo, 2016-08-18)
    In this thesis, we study drawings of maximal outerplanar graphs that place vertices on integer coordinates. We introduce a new class of graphs, called umbrellas, and a new method of splitting maximal outerplanar graphs ...
  • Evaluating the Efficacy of Implicit Authentication Under Realistic Operating Scenarios 

    Khan, Hassan (University of Waterloo, 2016-08-10)
    Smartphones contain a wealth of personal and corporate data. Several surveys have reported that about half of the smartphone owners do not configure primary authentication mechanisms (such as PINs, passwords, and fingerprint- ...
  • Scalable Informative Rule Mining 

    Feng, Guoyao (University of Waterloo, 2016-08-10)
    In this thesis we present SIRUM: a system for Scalable Informative RUle Mining from multi-dimensional data. Informative rules have recently been studied in several contexts, including data summarization, data cube exploration ...
  • Agent-Based Modeling Framework for Energy Policies 

    Adepetu, Adedamola (University of Waterloo, 2016-08-09)
    Energy infrastructure systems -- including energy generation, transmission, and distribution systems -- provide consumers with access to energy. Energy systems have been relatively static for several decades but due to ...
  • Evaluating Re-authentication Strategies for Smartphones 

    Agarwal, Lalit (University of Waterloo, 2016-08-04)
    Re-authenticating users may be necessary for smartphone authentication schemes that leverage user behavior, device context, or task sensitivity. However, due to the unpredictable nature of re-authentication, users may get ...
  • Filtering News from Document Streams: Evaluation Aspects and Modeled Stream Utility 

    Baruah, Gaurav Makhon (University of Waterloo, 2016-08-04)
    Events like hurricanes, earthquakes, or accidents can impact a large number of people. Not only are people in the immediate vicinity of the event affected, but concerns about their well-being are shared by the local ...
  • Biologically Plausible Neural Learning using Symmetric Predictive Estimators 

    Xu, David (University of Waterloo, 2016-08-04)
    A predictive estimator (PE) is a neural microcircuit hypothesized to explain how the brain processes certain types of information. They participate in a hierarchy, passing predictions to lower layers, which send back ...

View more


University of Waterloo Library
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1
519 888 4883

All items in UWSpace are protected by copyright, with all rights reserved.

DSpace software

Service outages