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

  • 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 ...
  • TwitSong: A current events computer poet and the thorny problem of assessment. 

    Lamb, Carolyn (University of Waterloo, 2018-11-29)
    This thesis is driven by the question of how computers can generate poetry, and how that poetry can be evaluated. We survey existing work on computer-generated poetry and interdisciplinary work on how to evaluate this type ...
  • Affect Lexicon Induction For the Github Subculture Using Distributed Word Representations 

    Jiao, Yuwei (University of Waterloo, 2018-11-06)
    Sentiments and emotions play essential roles in small group interactions, especially in self-organized collaborative groups. Many people view sentiments as universal constructs; however, cultural differences exist in some ...
  • A Variability-Aware Design Approach to the Data Analysis Modeling Process 

    Tavares, MariaCristina (University of Waterloo, 2018-10-25)
    The massive amount of current data has led to many different forms of data analysis processes that aim to explore this data to uncover valuable insights such as trends, anomalies and patterns. These processes support ...

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