
| Date & Time | Talk Title & Speaker | Building | Host/Advisor |
|---|---|---|---|
|
April 20, Monday
1:30pm – 2:30pm [TODAY!] |
Type-Based Techniques for the Design and Correctness of Programming Language Implementations Benjamin Quiring (University of Maryland) | JCL | Host: John Reppy |
|
April 21, Tuesday
3:30pm – 4:00pm [TOMORROW!] |
As Hard as it Gets: Hardness Amplification and Local List Decoding from HDX Max Hopkins (Institute for Advanced Study) | Kent | Host: Haotian Jiang |
|
April 22, Wednesday
11:00am – 12:30pm |
Realistic Cross-Stack Architectural Design for Scalable Fault-Tolerant Quantum Computation Jason Chadwick (PhD Student ) | JCL | Advisor: Fred Chong |
|
April 24, Friday
11:00am – 12:00pm |
On the Feasibility of Poisoning Text-to-Image AI Models via Adversarial Mislabeling Stanley Wu (PhD Student ) | JCL | Advisor: Ben Zhao & Heather Zheng |
|
April 27, Monday
11:00am – 1:00pm |
Byproducts of Algorithmic Systems: Fairness, Usability, and Transparency Challenges Kevin Bryson (PhD Student ) | JCL | Advisor: Blase Ur |
|
April 28, Tuesday
3:30pm – 4:00pm |
Sampling colorings on bounded-degree graphs Clayton Mizgerd (University of Illinois Chicago) | Kent | Host: Haotian Jiang |