Welcome
Recent News
Upcoming Events
Talk
IRB IRB-4109
PhD Proposal: Building Safe and Trustworthy Generative Models
Neel Jain
Talk
IRB 5105 or https://umd.zoom.us/j/91477081269?pwd=Zia5u3gDaI87nbIEz0FstJqb4vUuP0.1
Automated Proof Generation for Rust Code Using LLM
Xuheng Li
Columbia University
Talk
https://umd.zoom.us/j/94340703410?pwd=rrXaGSXSpabcMTtDNmeCNf2Ih2fQYE.1
From Language to Silicon: Programming Systems for Sparse Accelerators
Olivia Hsu
Event
Event
Talk
IRB 4105 or https://umd.zoom.us/j/94340703410?pwd=rrXaGSXSpabcMTtDNmeCNf2Ih2fQYE.1
Privacy, Copyright, and Data Integrity: The Cascading Implications of Generative AI
Niloofar Mireshghallah
Event
Talk
IRB 4105 or https://umd.zoom.us/j/94340703410?pwd=rrXaGSXSpabcMTtDNmeCNf2Ih2fQYE.1
Towards Secure Large Language Models: From Model to System
Chaowei Xiao
Talk
IRB 4105 or https://umd.zoom.us/j/94340703410?pwd=rrXaGSXSpabcMTtDNmeCNf2Ih2fQYE.1
Chasing the "Tail at Scale": Toward Cloud-Native Architectures
Jovan Stojkovic
Talk
IRB 4105 or https://umd.zoom.us/j/94340703410?pwd=rrXaGSXSpabcMTtDNmeCNf2Ih2fQYE.1
Statistical Challenges in Modern Machine Learning and their Algorithmic Consequences
Yeshwanth Cherapanamjeri
Virtual Via Zoom: umd.zoom.us/my/dserranov
Hidden-State Proofs of Quantumness and the Discrete Fourier Transform
IRB 5105 or https://umd.zoom.us/j/91477081269?pwd=Zia5u3gDaI87nbIEz0FstJqb4vUuP0.1
Automated Proof Generation for Rust Code Using LLM
ATL 2400
Non-Abelian transport distinguishes three usually equivalent notions of entropy production
IRB 4105 or https://umd.zoom.us/j/94340703410?pwd=rrXaGSXSpabcMTtDNmeCNf2Ih2fQYE.1
Privacy, Copyright, and Data Integrity: The Cascading Implications of Generative AI
ATL 3100A and Virtual Via Zoom: https://umd.zoom.us/j/9893676372?pwd=VVNOd2xNZ3FCblk4aFdTMjkzTllvQT09&om... Meeting ID: 989 367 6372 Passcode: abc123
Permutation-invariant quantum error correction codes: from theory to practice
IRB 4105 or https://umd.zoom.us/j/94340703410?pwd=rrXaGSXSpabcMTtDNmeCNf2Ih2fQYE.1
Towards Secure Large Language Models: From Model to System
IRB 4105 or https://umd.zoom.us/j/94340703410?pwd=rrXaGSXSpabcMTtDNmeCNf2Ih2fQYE.1
Chasing the "Tail at Scale": Toward Cloud-Native Architectures
IRB 4105 or https://umd.zoom.us/j/94340703410?pwd=rrXaGSXSpabcMTtDNmeCNf2Ih2fQYE.1
Statistical Challenges in Modern Machine Learning and their Algorithmic Consequences