Dissertation Defenses

Computational Linguistic Models for Personal Values and Human Activities

Locality of Distributed Graph Problems

Cross-Layer System Design for Autonomous Driving

Preventing Capability Abuse through Systematic Analysis of Exposed Interfaces

Classical Computation in the Quantum World

High Availability Localization and Mapping

Design of Sequential Stochastic Computing Systems

Dynamics and Social Networks

Requirements Testing and Verification for Smart Systems through Systematic Software Analysis

Reducing Redundant Computation and Data in Non-deterministic Systems by Exploiting the Computation-data Duality

Its Data All the Way Down: Exploring the Relationship Between Machine Learning and Data Management

Building and Querying Structured Knowledge Sources from Natural Language Text

Towards a More Predictable Database System

Rethinking Context Management of Data Parallel Processors in an Era of Irregular Computing

Energy Efficient Algorithms in Low-Energy Wireless Sensor Networks

Designing and Evaluating Physical Adversarial Attacks and Defenses for Machine Learning Algorithms

Addressing Variability in Speech when Recognizing Emotion and Mood In-the-Wild

Efficient Deep Neural Network Computation on Processors

Demographic-Aware Natural Language Processing

Learning Hierarchical Compositional Task Definitions through Online Situated Interactive Language Instruction

Multimodal Character Representation for Visual Story Understanding

Estimation of Information Measures and Applications in Machine Learning

Thermal and QoS-Aware Embedded Systems

Enabling Usable and Performant Trusted Execution

Runtime Systems for Persistent Memories

Towards Seamless Human-Mobility Interaction

Using Sensor Redundancy in Vehicles and Smartphones for Driving Security and Safety

Thwarting Advanced Code-reuse Attacks