Dissertation Defenses

Computational Models of Algorithmic Trading in Financial Markets

Low-overhead Online Code Transformations

Efficient Large-Scale Graph Processing

Control-Flow Security

Network Analysis on Incomplete Structures

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

Designing Accurate and Low-Cost Stochastic Circuits

Unbounded Scalable Hardware Verification

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

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

Robust Localization in 3D Prior Maps for Autonomous Driving

Enabling Efficient Resource Utilization on Multitasking Throughput Processors

Scale-Adaptive Video Understanding

Leveraging Mixed Expertise in Crowdsourcing

Composite Cores: Improving Energy Efficiency Through Fine-Grained Heterogeneity

Energy Efficient Heterogeneous Processor Architectures for General Purpose Applications

Scaling Causality Analysis for Production Systems

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

Improving Mobile Network Performance Through Measurement-driven System Design Approaches

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

Improving Usability of Mobile Applications Through Speculation and Distraction Minimization

Deep Learning and Reward Design for Reinforcement Learning