• Reducing the Latency of Dependent Operations in Large-Scale Geo-Distributed Systems 

  Yan, Xinan (University of Waterloo, 2021-10-14)

  Many applications rely on large-scale distributed systems for data management and computation. These distributed systems are complex and built from different networked services. Dependencies between these services can ...

• Exception Handling in C∀ 

  Beach, Andrew James (University of Waterloo, 2021-10-04)

  The C∀ (Cforall) programming language is an evolutionary refinement of the C programming language, adding modern programming features without changing the programming paradigms of C. One of these modern programming features ...

• A Type System With Containers 

  Thode, Michael (University of Waterloo, 2021-10-04)

  In this thesis, we will introduce the concept of containers as they apply to programming languages. Encapsulation is a common topic in programming languages with well understood benefits. Here, we will investigate its ...

• Novel Paradigms in Physics-Based Animation: Pointwise Divergence-Free Fluid Advection and Mixed-Dimensional Elastic Object Simulation 

  Chang, Jumyung (University of Waterloo, 2021-10-01)

  This thesis explores important but so far less studied aspects of physics-based animation: a simulation method for mixed-dimensional and/or non-manifold elastic objects, and a pointwise divergence-free velocity interpolation ...

• Misinformation Retrieval 

  Rizvi, Saira (University of Waterloo, 2021-10-01)

  This work introduces the task of misinformation retrieval, identifying all documents containing misinformation for a given topic, and proposes a pipeline for misinformation retrieval on tweets. As part of the work, I curated ...

• Determining the Utility of Key-term Highlighting for High Recall Information Retrieval Systems 

  Wang, Xue Jun (University of Waterloo, 2021-09-28)

  High-recall information retrieval (HRIR) is an important tool used in tasks such as electronic discovery ("eDiscovery") and systematic review of medical research. Applications of HRIR often uses a human as its oracle to ...

• Fast algorithms for computing with integer matrices: normal forms and applications 

  Birmpilis, Stavros (University of Waterloo, 2021-09-24)

  The focus of this thesis is on fundamental computational problems in exact integer linear algebra. Specifically, for a nonsingular integer input matrix A of dimension n, we consider problems such as linear system solving ...

• Equality Operators for Constant-weight Codewords with Applications in (Keyword) PIR 

  Akhavan Mahdavi, Rasoul (University of Waterloo, 2021-09-21)

  Homomorphic encryption allows computation to be performed on data while in encrypted form. However, the computational overhead of a circuit that is run using homomorphic encryption depends on the number of multiplications ...

• The Fence Complexity of Persistent Sets 

  Coccimiglio, Gaetano (University of Waterloo, 2021-09-21)

  This thesis studies fence complexity of concurrent sets in a non-volatile shared memory model. I consider the case where CPU registers and cache memory remain volatile while main memory is non-volatile. Flush instructions ...

• Analyzing Barehand Input Mappings for Video Timeline Control and Object Pointing on Smart TVs 

  Zhang, Futian (University of Waterloo, 2021-09-21)

  Smart TVs are getting popular in recent few years. Given the emerging feature of distant bare hand control, one challenge is how to perform common tasks with this new input modality. Two tasks are discussed in this thesis ...

• Weakly-supervised Semantic Segmentation with Regularized Loss Hyperparameter Search 

  Ji, Zongliang (University of Waterloo, 2021-09-20)

  Weakly supervised segmentation signi cantly reduces user annotation e ort. Recently, regularized loss was proposed for single object class segmentation under image-level weak supervision. Regularized loss consists of ...

• Learning Energy-Aware Transaction Scheduling in Database Systems 

  Sethi, Udhav (University of Waterloo, 2021-09-20)

  Servers are typically sized to accommodate peak loads, but in practice, they remain under-utilized for much of the time. During periods of low load, there is an opportunity to save power by quickly adjusting processor ...

• “Transport Me Away”: Fostering Flow in Open Offices through Virtual Reality 

  Ruvimova, Anastasia; Kim, Junhyeok; Fritz, Thomas; Hancock, Mark; Shepherd, David C. (ACM, 2020-04-21)

  Open offices are cost-effective and continue to be popular. However, research shows that these environments, brimming with distractions and sensory overload, frequently hamper productivity. Our research investigates the ...

• On the Number of Trials Needed to Obtain k Consecutive Successes 

  Drekic, Steve; Spivey, Michael Z. (Elsevier, 2021-04-30)

  A sequence of independent Bernoulli trials, each of which is a success with probability p, is conducted. For k ∈ Z+, let Xk be the number of trials required to obtain k consecutive successes. Using techniques from elementary ...

• Designing Persuasively using Playful Elements 

  Wehbe, Rina Renee (University of Waterloo, 2021-09-14)

  Alongside productivity and communication, computers are a valuable tool for diversion and amusement. Game Designers leverage the multifaceted world of computing to create applications that can be developed persuasively; ...

• Smart Contract Analysis Through Communication Abstractions 

  Wesley, Arthur (University of Waterloo, 2021-09-07)

  Smart contracts are programs that manage interactions between many users. Recently, Solidity smart contract have become a popular way to enforce financial agreements between untrusting users. However, such agreements do ...

• Unsupervised Syntactic Structure Induction in Natural Language Processing 

  Deshmukh, Anup Anand (University of Waterloo, 2021-09-07)

  This work addresses unsupervised chunking as a task for syntactic structure induction, which could help understand the linguistic structures of human languages especially, low-resource languages. In chunking, words of a ...

• Rescuing Historical Climate Observations to Support Hydrological Research: A Case Study of Solar Radiation Data 

  Odunayo, Ogundepo; Sookoo, Naveela; Bathla, Gautam; Cavallin, Anthony; Persaud, Bhaleka; Szigeti, Kathy; Van Cappellen, Philippe; Lin, Jimmy (ACM, 2021-08-16)

  The acceleration of climate change and its impact highlight the need for long-term reliable climate data at high spatiotemporal resolution to answer key science questions in cold regions hydrology. Prior to the digital ...

• Profiling Alloy Models 

  Eid, Elias (University of Waterloo, 2021-09-03)

  Modeling of software-intensive systems using formal declarative modeling languages offers a means of managing software complexity through the use of abstraction and early identification of correctness issues by formal ...

• Data Protection in Big Data Analysis 

  Shafieinejad, Masoumeh (University of Waterloo, 2021-08-30)

  "Big data" applications are collecting data from various aspects of our lives more and more every day. This fast transition has surpassed the development pace of data protection techniques and has resulted in innumerable ...

View more