CS Department Colloquium Series

Formal verification of a concurrent file system

04-04-2022

Scalable Structure Learning and Inference via Probabilistic Programming

03-31-2022

Computational Infrastructure Materials for the Networked & Interactive Built Environment

03-29-2022

Grounding Language by Seeing, Hearing, and Interacting

03-28-2022

Interactive AI Model Debugging and Correction

03-22-2022

Learning-Based Program Synthesis: Learning for Program Synthesis and Program Synthesis for Learning

03-21-2022

Reliable machine learning in the wild

03-17-2022

High-Performance Languages for Visual Computing

03-15-2022

Solving the Cloud Efficiency Crisis with Fast and Accessible Scheduling

03-14-2022

Reliable Machine Learning in Feedback Systems

03-29-2021

Subscribe to CS Department Colloquium Series