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

Deep Learning and Reward Design for Reinforcement Learning

Improving Usability of Mobile Applications Through Speculation and Distraction Minimization

Reining in the Functional Verification of Complex Processor Designs With Automation, Prioritization, and Approximation

Improving Mobile Network Performance Through Measurement-driven System Design Approaches

Regulating and Securing the Interfaces Across Mobile Apps, OS and Users

Scaling Causality Analysis for Production Systems

Energy Efficient Heterogeneous Processor Architectures for General Purpose Applications

Composite Cores: Improving Energy Efficiency Through Fine-Grained Heterogeneity

Leveraging Mixed Expertise in Crowdsourcing

Scale-Adaptive Video Understanding

Enabling Efficient Resource Utilization on Multitasking Throughput Processors

Robust Localization in 3D Prior Maps for Autonomous Driving

Theoretical Tools for Network Analysis: Game Theory, Graph Centrality, and Statistical Inference

Deep Neural Networks for Visual Reasoning, Program Induction, and Text-to-Image Synthesis

Unbounded Scalable Hardware Verification

Designing Accurate and Low-Cost Stochastic Circuits

Spotting Tip of the Iceberg in Social Media: Detecting Target Clusters from Indications of Individual Items

Network Analysis on Incomplete Structures

Control-Flow Security

Efficient Large-Scale Graph Processing

Low-overhead Online Code Transformations

Computational Models of Algorithmic Trading in Financial Markets