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

Hybrid Techniques for Simulation of Quantum Circuits using the Heisenberg Representation

Characterizing and Mitigating Virtual Machine Interference in Public Clouds

Learning Integrated Relational and Continuous Action Models for Continuous Domains

Energy-Efficient Algorithms on Mesh-Connected Systems With Additional Communication Links

Rethinking Wireless: Building Next-Generation Networks

Holistic System Design for Deterministic Replay

Sublinear Time Algorithms for the Sparse Recovery Problem

ON THE POWER AND LIMITATIONS OF QUANTUM COMPUTATION

Finding and Tolerating Concurrency Bugs

Towards Least Privilege Principle: Limiting Unintended Accesses in Software Systems

Symmetry in Finite Combinatorial Objects: Scalable Methods and Applications

Performance and Power Characterization of Cellular Networks and Mobile Application Optimizations

Reducing End-User Burden in Everyday Data Organization

Harnessing Simulation Acceleration to Solve the Digital Design Verification Challenge

Optimizing Mobile Application Performance through Network Infrastructure Aware Adaptation

Mining Multiple Perspectives From Social Media and Scientific Literature

Explanation-Based Auditing

Mechanisms of Controlled Sharing for Social Networking Users

Computer Architectures for Mobile Computer Vision Systems