Dissertation Defenses

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

The Fast, Efficient, and Representative Benchmarking of Future Microarchitectures

Exploiting Host Availability in Distributed Systems

Propagation, Detection and Containment of Mobile Malware

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

Mission-Phasing Techniques for Constrained Agents in Stochastic Environments

Statistical Performance Analysis and Optimization

Topics in Massive Data Summarization

Extending Cognitive Architectures with Spatial and Visual Imagery Mechanisms

Multiattribute Call Markets

Mechanism Design and Analysis Using Simulation-Based Models

Simulation-Based Hierarchical Synthesis and Verification

Microarchitecture Choices and Tradeoffs for Maximizing Processing Efficiency

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

A Computational Unification of Cognitive Control, Emotion, and Learning

Structured Preference Representation and Multiattribute Auctions

Systems-Level Support for Mobile Device Connectivity

Efficient Index-based Methods for Processing Large Biological Databases

Chip-Level Thermal Analysis, Modeling and Optimization

Querying Graph Databases

Incorporating Provenance into Database Systems

Realizing Software Defined Radio — A Study In Designing Mobile Supercomputers

Design, Analysis, and Test of Logic Circuits under Uncertainty

On Predictive Linear Gaussian Models

Resolving conflicting design goals through cyber foraging and automated configuration management

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

Effective Verification Solution For Modern Microprocessors

Features on Point-based Surfaces and Their Applications

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

Toward a Robust Internet Interdomain Routing

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

Optimal Combinational Logic Synthesis

Toward a Robust Internet Interdomain Routing