10.10.24 11:45am Add to your Google calendar: Testing with Large Language Models, Symbolic Execution, and Fuzzing Add to your Outlook calendar: Testing with Large Language Models, Symbolic Execution, and Fuzzing
Testing with Large Language Models, Symbolic Execution, and Fuzzing
Speaker: Koushik Sen
Host: Owolabi Legunsen
10.17.24 11:45am Add to your Google calendar: "Conveying Tasks to Computers: How Machine Learning Can Help" Add to your Outlook calendar: "Conveying Tasks to Computers: How Machine Learning Can Help"
"Conveying Tasks to Computers: How Machine Learning Can Help"
Speaker: Michael Littman
Host: Wen Sun
10.24.24 11:45am Add to your Google calendar: TBA Add to your Outlook calendar: TBA
TBA
Speaker: Jack Dongarra
Host: Giulia Guidi
10.31.24 11:45am Add to your Google calendar: TBA Add to your Outlook calendar: TBA
TBA
Speaker: Francesca Molinari
Host: Eva Tardos
11.07.24 11:45am Add to your Google calendar: TBA Add to your Outlook calendar: TBA
TBA
Speaker: Zachary Tatlock
Host: Nate Foster
11.14.24 11:45am Add to your Google calendar: TBA Add to your Outlook calendar: TBA
TBA
Speaker: Csaba Szepesvari
Host: Wen Sun
11.21.24 11:45am Add to your Google calendar: TBA Add to your Outlook calendar: TBA
TBA
Speaker: Adam Tauman Kalai
Host: TBD

Past Events

08.29.24 11:45am
How to design, document, and implement programming languages 08.29.24 11:45am
Speaker: Sukyoung Ryu
Host: Nate Foster
09.05.24 11:45am
Low-depth quantum circuit constructions and 2D architectures, with applications 09.05.24 11:45am
Speaker: Mark Wilde
Host: Eshan Chattopadhyay
09.12.24 11:45am
My Six Decade Experience in Visual Imaging 09.12.24 11:45am
Speaker: Donald P. Greenberg
Host: Steve Marschner
09.19.24 11:45am
Machine learning for discovery: deciphering RNA splicing logic 09.19.24 11:45am
Speaker: Oded Regev
Host: Noah Stephens-Davidowitz
10.03.24 11:45am
Multimodal Spatial Intelligence for Interacting in a Dynamic World 10.03.24 11:45am
Speaker: Deva Ramanan
Host: Abe Davis