CS Department Colloquium Series

Probabilistic Proofs: Theory, Hardware, and Everything in Between

03-22-2021

Eliminating Bugs in Real Systems

03-18-2021

Resource-Efficient Execution for Deep Learning

03-10-2021

Exploiting Latent Structure and Bisimulation Metrics for Better Generalization in Reinforcement Learning

03-08-2021

Data Structures and Algorithms in Sublinear Computation

03-04-2021

The Measurement and Mismeasurement of Trustworthy ML

03-01-2021

Integrating Machine Learning into Algorithm Design

02-22-2021

Improving Stack-Wide Resource Utilization for a Faster Mobile Web

03-23-2020

Deep Probabilistic Graphical Modeling

03-12-2020

Sharing without Showing: Building Secure Collaborative Systems

03-10-2020

Subscribe to CS Department Colloquium Series