• 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