All Seminars

Haotian Jiang: Minimizing Convex Functions with Integral/Rational Minimizers

Faster, smarter, and greener systems for data-center scale AI

Mitali Bafna: Playing Unique Games on Certifiable Small-Set Expanders and High-Dimensional Expanders

Parth Mittal: Brooks’ Theorem in Graph Streams

Scalable and Provably Robust Algorithms for Machine Learning

Responsible Design of Information Access Systems

Learning to Generate Data by Estimating Gradients of the Data Distribution

Huacheng Yu: TBD

Beyond ISAs: Striking a Balance between Generality and Specialization for AI/ML

Fighting Vulnerabilities With Process, Insight, and Automation

Max Hopkins: Hypercontractivity on High Dimensional Expanders: a Local-to-Global Approach for Higher Moments

Unleashing the Potential of In-Network Computing

Generalizing the ISA to the ILA: A Software/Hardware Interface for Accelerator-rich Platforms

Towards a Foundation for Reinforcement Learning

Ryan Williams: Constructive Separations and Their Consequences

Machine Learning Powered Query Optimization

Optimizing CPU Efficiency and Tail Latency in Datacenters

Formal Verification of a Concurrent File System

Santhoshini Velusamy: Approximating CSPs in the streaming setting

Secure Multi-Party Computation: from Theory to Practice

Efficient and Accurate Systems for Querying Unstructured Data

Bringing Ethics and Justice into CS Courses: The Social and Political Factors at Play in Entry-Level CS Concepts

Putting Your Database on Autopilot: Self-driving Database Management Systems

Translating AI to Impact: Uncertainty and Human-agent Interactions in Multi-agent Systems for Public Health and Conservation

Robert Robere: Pseudorandom Self-Reductions for NP-Complete Problems

Unlocking the Next Level of Dependable Cloud Systems

Advancing Health Equity and Access using Responsible AI

From Specialists to Generalists: Inductive Biases of Deep Learning for Higher Level Cognition

Grounding Language by Seeing, Hearing, and Interacting

Deeksha Adil: Fast Algorithms for l_p-Regression and Other Problems

Consistency and Performance in Distributed Storage Systems

Towards Scalable Representation Learning for Visual Recognition

Verifiable Machine Learning for Security

Co-designing Distributed Systems and Storage Stacks for Improved Reliability

Michael Dinitz: Faster Matchings via Learned Duals

Processor Microarchitecture Security

The Complexity of Near-Term Quantum Computers

Learning to address novel situations through human-robot collaboration

Empowering People to Have Secure and Private Interactions with Digital Technologies

Ce Jin: Fast Low-Space Algorithms for Subset Sum

Introduction to Data Science

Matching in Evolving Environments

Architecting Emerging Quantum Technologies

Advancing Sound Accessibility

Theoretical Foundations for Emerging Multiprocessor Hardware

Quantum Computation and Cryptography: a changing landscape

Human-Centered Explainable AI (XAI): From Algorithms to User Experiences

Algorithmic Gaussianization in Machine Learning

Computing Using Time

Defining cellular identity from single-cell genomic data with machine learning

Arun Jambulapati: Ultrasparse Ultrasparsifiers and Faster Laplacian System Solvers

Teaching Faculty Candidate Seminar: Gerald Soosai Raj

Vera Traub: Better-Than-2 Approximations for Weighted Tree Augmentation

Teaching Faculty Candidate Seminar–Gina Bai

Teaching Faculty Candidate Seminar–Elba Garza