Dissertation Defenses

Practical Verification of Distributed Systems: Streamlining Safety Proofs Using Invariant Taxonomies, and Verifying Latency Properties Using Symbolic Latency

Exploring the Effects of Memory Vulnerabilities Across the Computer Architecture Stack

Learning Dense Visual Features for the Sun and Natural Scenes

Data-Aware Computing for Efficient Extended Reality Systems

Tool-Use Robot Manipulation Tasks for Cooperative and Explainable Operations in Safety-Critical Domains

Streaming Sketching: Mathematical Theory and Practical Algorithms

Increasing The Practicality Of Verification Using Incomplete Solutions

Algorithm-Hardware Co-design For Efficiency Optimization Of Machine Learning Workloads

Leveraging Data Semantics for Relational Data Management Tasks

Unfairness Detection and Evaluation in Data-driven Decision-making Algorithms

Situated Language Grounding for Multimodal AI Assistant Modeling

Usable and Ubiquitous Privacy-Aware Sensing Devices

Leveraging Priors of Generative Models

User-Centric Machine Learning Systems

Domain-specific Benchmarks and Architectures for Applications using Graph-based Data

Towards Having Personalized, Situated, and Grounded Conversations with Human Like Human

Streamlining High-Performance Heterogeneous Hardware Design

Towards Generalist Vision-Language Models for Videos in Embodied AI

Enhancing Security, Safety, and Reliability of Modern Cyber-physical Systems

A Qualitative Exploration of Programming Instruction for Alternative Endpoints in Post-Secondary Computing Education