Dissertation Defenses

Computer Architectures for Mobile Computer Vision Systems

Mechanisms of Controlled Sharing for Social Networking Users

Explanation-Based Auditing

Optimizing Mobile Application Performance through Network Infrastructure Aware Adaptation

Mining Multiple Perspectives From Social Media and Scientific Literature

Harnessing Simulation Acceleration to Solve the Digital Design Verification Challenge

Reducing End-User Burden in Everyday Data Organization

Performance and Power Characterization of Cellular Networks and Mobile Application Optimizations

Symmetry in Finite Combinatorial Objects: Scalable Methods and Applications

Towards Least Privilege Principle: Limiting Unintended Accesses in Software Systems

Finding and Tolerating Concurrency Bugs

ON THE POWER AND LIMITATIONS OF QUANTUM COMPUTATION

Sublinear Time Algorithms for the Sparse Recovery Problem

Holistic System Design for Deterministic Replay

Rethinking Wireless: Building Next-Generation Networks

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

Learning Integrated Relational and Continuous Action Models for Continuous Domains

Characterizing and Mitigating Virtual Machine Interference in Public Clouds

Hybrid Techniques for Simulation of Quantum Circuits using the Heisenberg Representation