This is the collection for the University of Waterloo's Cheriton School of Computer Science .

Research outputs are organized by type (eg. Master Thesis, Article, Conference Paper).

Waterloo faculty, students, and staff can contact us or visit the UWSpace guide to learn more about depositing their research.

Recent deposits

  • Local Reasoning for Parameterized First Order Protocols 

    Ashmore, Rylo (University of Waterloo, 2019-08-14)
    First Order Logic (FOL) is a powerful reasoning tool for program verification. Recent work on Ivy shows that FOL is well suited for verification of parameterized distributed systems. However, specifying many natural objects, ...
  • Longer Delays in Rehearsal-based Interfaces Increase Expert Use 

    Lewis, Blaine (University of Waterloo, 2019-08-08)
    Rehearsal-based interfaces are designed to encourage a transition from novice to expert, but many users fail to make this transition. Most of these interfaces activate novice mode after a short delay, between 150 and 500ms. ...
  • Network-Accelerated Linearizable Reads 

    Takruri, Hatem (University of Waterloo, 2019-08-07)
    This thesis present FLAIR, a novel approach for accelerating read operations in leader-based consensus protocols. FLAIR leverages the capabilities of the new generation of programmable switches to serve reads from follower ...
  • Matrix Polynomials and their Lower Rank Approximations 

    Haraldson, Joseph (University of Waterloo, 2019-08-07)
    This thesis is a wide ranging work on computing a “lower-rank” approximation of a matrix polynomial using second-order non-linear optimization techniques. Two notions of rank are investigated. The first is the rank as the ...
  • Applying Fair Reward Divisions to Collaborative Work 

    d'Eon, Gregory (University of Waterloo, 2019-07-18)
    Collaborative crowdsourcing tasks allow workers to solve more difficult problems than they could alone, but motivating workers in these tasks is complex. In this thesis, we study how to use payments to motivate groups of ...
  • Dynamic Personalization of Gameful Interactive Systems 

    Fortes Tondello, Gustavo (University of Waterloo, 2019-07-17)
    Gameful design, the process of creating a system with affordances for gameful experiences, can be used to increase user engagement and enjoyment of digital interactive systems. It can also be used to create applications ...
  • Optimization for Image Segmentation 

    Tang, Meng (University of Waterloo, 2019-06-26)
    Image segmentation, i.e., assigning each pixel a discrete label, is an essential task in computer vision with lots of applications. Major techniques for segmentation include for example Markov Random Field (MRF), Kernel ...
  • Model-Based Bayesian Sparse Sampling for Data Efficient Control 

    Tse, Timmy Rong Tian (University of Waterloo, 2019-06-24)
    In this work, we propose a novel Bayesian-inspired model-based policy search algorithm for data efficient control. In contrast to other model-based approaches, our algorithm makes use of approximate Gaussian processes in ...
  • Mitigator: Privacy policy compliance using Intel SGX 

    Mazmudar, Miti (University of Waterloo, 2019-06-19)
    Privacy policies have been known to be hard to read and understand by internet users and yet users are obliged to accept these one-sided terms of usage of their data before they can effectively use websites. Although ...
  • Fast Multi-Level Co-Clustering 

    Xu, Haifeng (2013)
    We present a new multilevel method for hierarchical co-clustering. The fast multilevel co-clustering method (FMCC) implements a bi-coarsening process on the bipartite graph induced by the feature matrix. It does so in a ...
  • Entity Matching and Disambiguation Across Multiple Knowledge Graphs 

    Farag, Michael (University of Waterloo, 2019-06-10)
    Knowledge graphs are considered an important representation that lie between free text on one hand and fully-structured relational data on the other. Knowledge graphs are a back-bone of many applications on the Web. With ...
  • Theoretical foundations for efficient clustering 

    Kushagra, Shrinu (University of Waterloo, 2019-06-07)
    Clustering aims to group together data instances which are similar while simultaneously separating the dissimilar instances. The task of clustering is challenging due to many factors. The most well-studied is the high ...
  • A Study on the Effects of Exception Usage in Open-Source C++ Systems 

    Bradley, Kirsten (University of Waterloo, 2019-05-24)
    Exception handling (EH) is a feature common to many modern programming languages, including C++, Java, and Python, that allows error handling in client code to be performed in a way that is both systematic and largely ...
  • Leveraging Asymmetry and Interdependence to Enhance Social Connectedness in Cooperative Digital Games 

    Harris, John Joseph (University of Waterloo, 2019-05-24)
    Play is a fundamental component of human development and is an important means of forming healthy relationships throughout life. Research has shown that the types of digital games people play, how they play them, and who ...
  • High Performance Web Servers: A Study In Concurrent Programming Models 

    Radhakrishnan, Srihari (University of Waterloo, 2019-05-24)
    With the advent of commodity large-scale multi-core computers, the performance of software running on these computers has become a challenge to researchers and enterprise developers. While academic research and industrial ...
  • ShallowForest: Optimizing All-to-All Data Transmission in WANs 

    Tan, Hao (University of Waterloo, 2019-05-23)
    All-to-all data transmission is a typical data transmission pattern in both consensus protocols and blockchain systems. Developing an optimization scheme that provides high throughput and low latency data transmission can ...
  • The number of valid factorizations of Fibonacci prefixes 

    Bonardo, Pierre; Frid, Anna; Shallit, Jeffrey (Elsevier, 2019-07-05)
    We establish several recurrence relations and an explicit formula for , the number of factorizations of the length-n prefix of the Fibonacci word into a (not necessarily strictly) decreasing sequence of standard Fibonacci ...
  • BotChase: Graph-Based Bot Detection Using Machine Learning 

    Abou Daya, Abbas (University of Waterloo, 2019-05-21)
    Bot detection using machine learning (ML), with network flow-level features, has been extensively studied in the literature. However, existing flow-based approaches typically incur a high computational overhead and do not ...
  • Dynamical Systems in Spiking Neuromorphic Hardware 

    Voelker, Aaron Russell (University of Waterloo, 2019-05-10)
    Dynamical systems are universal computers. They can perceive stimuli, remember, learn from feedback, plan sequences of actions, and coordinate complex behavioural responses. The Neural Engineering Framework (NEF) provides ...
  • End-to-end Neural Information Retrieval 

    Yang, Wei (University of Waterloo, 2019-04-30)
    In recent years we have witnessed many successes of neural networks in the information retrieval community with lots of labeled data. Yet it remains unknown whether the same techniques can be easily adapted to search ...

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