Over the past several years, many “alternative” social networks have sprung up, with an emphasis on minimal moderation and protection of free speech. Although they claim to be politically neutral, they have been a haven ...

Users are susceptible to password guessing attacks when they create weak passwords. Despite an abundance of text-based password advice, it appears insufficient to help home users create strong memorable passwords. We propose ...

The goal of my thesis is to enable formal reasoning about the Scala programming language. To that end I present a core calculus that formalizes Scala's i) essential features in a ii) type-safe way and is iii) easy to extend ...

In this thesis, we present an artificial intelligence approach for tutoring students in environments where there is a large repository of possible learning objects (e.g. texts, videos). In particular, we advocate that ...

While many researchers have proposed various ways of quantifying recommendation list diversity, these approaches have had little input from users on their own perceptions and preferences in seeking diversity. Through a ...

Spatial Augmented Reality (SAR) enables the projection of digital content directly on the physical environment without the use of wearable displays. In spaces where viewers are encouraged to explore different locations, ...

This thesis examines web-server architectures for static workloads on both uniprocessor and multiprocessor systems to determine the key factors affecting their performance. The architectures examined are event-driven ...

A self-stabilizing protocol is one that starting from any arbitrary initial state recovers to legitimate states in a finite number of steps, and once it stabilizes to a set of legitimate states, it remains there unless it ...

Cloud computing enables data centres to provide resource sharing across multiple tenants. This sharing, however, usually comes at a cost in the form of reduced isolation between tenants, which can lead to inconsistent ...

The Ultra-wide word model of computation (UWRAM) is an extension of the Word-RAM model which has an ALU that can operate on w^2 bits at a time, where w is the size in bits of a cell in memory. The purpose of this thesis ...