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

  • Succinct Data Structures for Chordal Graphs 

    Wu, Kaiyu (University of Waterloo, 2019-04-10)
    We study the problem of approximate shortest path queries in chordal graphs and give a n log n + o(n log n) bit data structure to answer the approximate distance query to within an additive constant of 1 in O(1) time. We ...
  • Formal Methods in Quantum Circuit Design 

    Amy, Matthew (University of Waterloo, 2019-02-26)
    The design and compilation of correct, efficient quantum circuits is integral to the future operation of quantum computers. This thesis makes contributions to the problems of optimizing and verifying quantum circuits, with ...
  • An Analysis on The Network Structure of Influential Communities in Twitter 

    Schunk, Adam (University of Waterloo, 2019-02-21)
    Over the past years online social networks have become a major target for marketing strategies, generating a need for methods to efficiently spread information through these networks. Close knit communities have developed ...
  • Detecting Vulnerable JavaScript Libraries in Hybrid Android Applications 

    Volodin, Nikita (University of Waterloo, 2019-02-15)
    Smartphone devices are very popular. There are a lot of devices being sold, a lot of applications that are created and a lot of people using those applications. However, mobile applications could only be created in the ...
  • Applications of Artificial Intelligence to the NHL Entry Draft 

    Alcox, Brandon (University of Waterloo, 2019-01-31)
    This thesis investigates the application of various fields of artificial intelligence to the domain of sports management and analysis. The research in this thesis is primarily focussed on the entry draft for the National ...
  • Bounds on Maximum Matchings in 1-Planar Graphs 

    Wittnebel, John (University of Waterloo, 2019-01-29)
    In this thesis, we study lower bounds on maximum matchings in 1-planar graphs. We expand upon the tools used for proofs of matching bounds in other classes of graphs as well as some original ideas in order to find these ...
  • Dash: Declarative Behavioural Modelling in Alloy 

    Serna, Jose (University of Waterloo, 2019-01-25)
    An abstract model is a representation of the fundamental characteristics and properties of a system, and its purpose is to provide feedback to stakeholders about the correctness of the system during the early stages of ...
  • Gradual C Programming for Typed Lua 

    Turas, Rafi (University of Waterloo, 2019-01-22)
    The work presented in this thesis deals with the problem of enhancing the performance of dynamically-typed programming languages by integrating features from statically-typed programming languages. Statically-typed languages ...
  • UNiS: A User-space Non-intrusive Workflow-aware Virtual Network Function Scheduler 

    Anthony, Anthony (University of Waterloo, 2019-01-16)
    Network Function Virtualization (NFV) has gained a significant research interest in both academia and industry since its inception in the late 2012. One of the key research issues in NFV is the development of systems for ...
  • User-Controlled Computations in Untrusted Computing Environments 

    Vinayagamurthy, Dhinakaran (University of Waterloo, 2019-01-15)
    Computing infrastructures are challenging and expensive to maintain. This led to the growth of cloud computing with users renting computing resources from centralized cloud providers. There is also a recent promise in ...
  • Automating Programming Assignment Marking with AST Analysis 

    Li, Sichuang (University of Waterloo, 2019-01-14)
    This thesis presents a novel approach to automatically mark programming assignments. We hypothesize that correct student solution ASTs will be more similar to reference solution ASTs than incorrect student solutions and ...
  • Protein Structure Elastic Network Models and the Rank 3 Positive Semidefinite Matrix Manifold 

    Li, Xiao-Bo (University of Waterloo, 2019-01-09)
    This thesis is a contribution to the study of protein dynamics using elastic network models (ENMs). An ENM is an abstraction of a protein structure where inter-atomic interactions are assumed to be modelled by a Hookean ...
  • An Affine Semi-Lagrangian Advection Method 

    Marcoux-Ouellet, Jade (University of Waterloo, 2019-01-08)
    In computer graphics, the standard semi-Lagrangian advection as in the work of Stam (1999) is a widespread unconditionally stable transport scheme used in incompressible fluid solvers. Due to its stability, which disconnects ...
  • Aggregation of Heterogeneous Anomaly Detectors for Cyber-Physical Systems 

    Dunne, Murray (University of Waterloo, 2019-01-07)
    Distributed, life-critical systems that bridge the gap between software and hardware are becoming an integral part of our everyday lives. From autonomous cars to smart electrical grids, such cyber-physical systems will ...
  • Astra: Evaluating Translations from Alloy to SMT-LIB 

    Abbassi, Ali (University of Waterloo, 2018-12-21)
    We present a variety of translation options for converting Alloy to SMT-LIB via Alloy's Kodkod interface. Our translations, which are implemented in a library that we call Astra, are based on converting the set and relational ...
  • Enhanced Multi-Touch Gestures for Complex Tasks 

    Avery, Jeff (University of Waterloo, 2018-12-21)
    Recent technological advances have resulted in a major shift, from high-performance notebook and desktop computers -- devices that rely on keyboard and mouse for input -- towards smaller, personal devices like smartphones, ...
  • Analysis and Optimization of TrueType Font Bytecode 

    Liu, Zeming (University of Waterloo, 2018-12-19)
    TrueType is one of the most widely used vectorized font formats. It can be optimally rendered on screens with different resolutions and different font sizes thanks to hints expressed as bytecode programs. Font engines ...
  • Counting, Adding, and Regular Languages 

    Lidbetter, Thomas (University of Waterloo, 2018-12-17)
    In this thesis we consider two mostly disjoint topics in formal language theory that both involve the study and use of regular languages. The first topic lies in the intersection of automata theory and additive number ...
  • Empirical validation of the Gamification User Types Hexad scale in English and Spanish 

    Fortes Tondello, Gustavo; Mora, Alberto; Marczewski, Andrzej; Nacke, Lennart E. (Elsevier, 2018-10-13)
    Gamification, the use of game elements in non-game systems, is now established as a relevant research field in human-computer interaction (HCI). Several empirical studies have shown that gameful interventions can increase ...
  • An Analysis of Network-Partitioning Failures in Cloud Systems 

    Alquraan, Ahmed (University of Waterloo, 2018-12-10)
    We present a comprehensive study of 136 system failures attributed to network-partitioning faults from 25 widely used distributed systems. We found that the majority of the failures led to catastrophic effects, such as ...

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