Dissertation Defenses

Where are the Humans in Human-AI Interaction: The Missing Human-Centered Perspective on Interpretability Tools for Machine Learning

Efficient Query Processing for Spatio-Temporal Databases

Exponential Family Predictive Representations of State

Quantum Communication Complexity and Nonlocality of Bipartite Quantum Operations

Advances in Surface Penetrating Technologies for Imaging, Detection, and Classification

Speculative execution in a commodity operating system

Improving the Storage Manageability, Flexibility, and Security in Virtual Machine Systems

Managing Complex Scheduling Problems with Dynamic and Hybrid Constraints

Functional Error Diagnosis, Correction and Layout Repair of Digital Circuits

Cooperative Data and Computation Partitioning for Decentralized Architectures

Mobility Modeling of Mobile Users

Customizing the Computation Capabilities of Microprocessors

Efficient Algorithms for Temporal Skyline Query Evaluation

Enhancing Intelligent Agents with Episodic Memory

Collaborative Power Management: Piercing Abstraction Barriers for Fast and Energy-Efficient Pervasive Data Access

Declarative Querying of Biological Data

QoS Support in Large-Scale Computer Network Based on Aggregate Scheduling and BGP Routing Enhancement

XML Data Warehousing

Using Graphs and Random Walks For Discovering Latent Semantic

Network Transparency in Wide Area Collaborations

On the Performance of Local Synchronization with Stochastic Task Times

Managing Complex Databases in a Schema Management Framework

Architecting Energy Efficient Servers

A Baseband Processor for Software Defined Radio Terminals

Efficient and Expressive Extensions of Constraint-Based Temporal Reasoning

Flexible Query facilities for Heterogeneous Semi-Structured Data

Exposing Internet Address Use to Enhance Network Security

Distributed Access to Parallel File Systems

Hardware/Software Techniques for Memory Power Optimizations in Embedded Processors