Dissertation Defenses

Rescuing Data Center Processors

Automating the Detection and Correction of Failures in Modern Persistent Memory Systems

Cognitive Modeling of Aggregate and Individual Performance on the Remote Associates Test

Toward a Robust Internet Interdomain Routing

Optimal Combinational Logic Synthesis

System Architecture with Virtualized Resources in a Large-Scale Computing Infrastructure

Toward a Robust Internet Interdomain Routing

Razor: A Variability-Tolerant Design Methodology for Low-Power and Robust Computing

Features on Point-based Surfaces and Their Applications

Effective Verification Solution For Modern Microprocessors

Designing for the Cooperative Use of Multi-user, Multi-device Museum Exhibits

Resolving conflicting design goals through cyber foraging and automated configuration management

On Predictive Linear Gaussian Models

Design, Analysis, and Test of Logic Circuits under Uncertainty

Realizing Software Defined Radio — A Study In Designing Mobile Supercomputers

Incorporating Provenance into Database Systems

Querying Graph Databases

Chip-Level Thermal Analysis, Modeling and Optimization

Efficient Index-based Methods for Processing Large Biological Databases

Systems-Level Support for Mobile Device Connectivity

Structured Preference Representation and Multiattribute Auctions

A Computational Unification of Cognitive Control, Emotion, and Learning

Empirical Game-Theoretic Methods for Strategy Design and Anaylsis in Complex Games

Microarchitecture Choices and Tradeoffs for Maximizing Processing Efficiency

Simulation-Based Hierarchical Synthesis and Verification

Mechanism Design and Analysis Using Simulation-Based Models

Multiattribute Call Markets

Extending Cognitive Architectures with Spatial and Visual Imagery Mechanisms

Topics in Massive Data Summarization

Statistical Performance Analysis and Optimization

Mission-Phasing Techniques for Constrained Agents in Stochastic Environments

Unreliable Silicon: Circuit through System-Level Techniques for Mitigating the Adverse Effects of Process Variation, Device Degradation and Environmental Conditions

Propagation, Detection and Containment of Mobile Malware

Exploiting Host Availability in Distributed Systems

The Fast, Efficient, and Representative Benchmarking of Future Microarchitectures

Architectural and Compiler Mechanisms for Accelerating Single Thread Applications on Multicore Processors