The adoption of cloud services is on the rise, with both personal and corporate data being stored on third-party server databases. In order to protect …
Recently, there has been significant interest in applications where high-volume, continuous data streams need to be processed with low latency. Such applications include financial market …
Combinatorial and algebraic topology have both provided useful mathematical tools to the field of distributed computing, giving researchers a rigorous mathematical model in which one …
Estimating image motion, or optical flow, in scenes with multiple moving objects and segmenting the individual moving objects are two fundamental problems in computer vision …
This dissertation primarily contributes to the visualization and visual analytics community. It offers findings and methods to expand the visualization design space and to deepen …
Future collaborative robots must be capable of finding objects. As such a fundamental skill, we expect object search to eventually become an off-the-shelf capability for …
A well-written text follows an overall structure, with each sentence following naturally from the ones before and leading into the ones which come afterwards. We …
Determining the sequences of alleles co-inherited on a single chromosome, or haplotypes, is fundamentally important in genomics, molecular biology, and genomic medicine. Experimental methods for …
This thesis addresses the problem of memory safety in the Linux kernel. Despite many memory isolation, control-flow integrity, and code diversification techniques existing both in …
Hot environments pose a risk of heat illness for many professions especially when heavy workloads or protective clothing are necessary. Modern wearable sensors may be …
Object search is a central problem for human-robot interaction, as finding, localizing, and then grasping an object is a first step for almost anything a …
This dissertation introduces and evaluates novel visualization methods that enable researchers to derive and test hypotheses from available scientific data faster and more accurately than …
Software is becoming increasingly complex. To keep up with evolving applications, modern operating systems (OSes) provide a rich and continually-growing set of features through OS …
Large pre-trained transformer-based language models (PTLMs) have recently dominated the state-of-the-art in Information Retrieval tasks such as web search and question answering. Despite the advantages …
Test-first development and peer review have been studied independently in computing courses, but their combination has not. In in-flow peer review, students provide feedback to …
This dissertation presents new computational approaches toward the virtual histology of white-matter microstructures and new visualization and interaction techniques for identifying and segmenting white-matter anatomy. …
As the volume and complexity of generated data grow, users would like to maintain the ability to issue expressive queries on their data without sacrificing …
When developing a new heuristic or complete algorithm for a constraint satisfaction or constrained optimization problem, we frequently face the problem of choice. There may …
The need for rich, ad-hoc data analysis is key for pervasive discovery. However, generic and reusable systems tools for interactive search, exploration and mining over …