318 подписчиков
117 видео
CS Rsearch Week logo January 2021
Static Data Race Repair at Scale by Andreea Costea
CS Colloquium Constraint Solving - Revisiting Optimal Arc Consistency by Roland Yap
Recent Developments in DASH - Low Latency and CMCD by Roger Zimmermann
On Watermarking Generative AI in Generative AI Era by Yu Xiang Wang
CS Colloquium Foundations of lattice based cryptography by Divesh Aggarwal
CS Colloquium Programmability in the Switch Data Plane by Chan Mun Choon
The Complexity of Compression by Rahul Santhanam
An Overview of Algorithms and Theory for Group Testing
Proving the security of real-world cryptography and protocols by Jonathan Protzenko
Beyond the computer vision comfort zone by Jean Ponce
A New Learning Paradigm - Green Learning by C. -C. Jay Kuo
CS Colloquium Counting, Sampling, and Synthesis: The Quest for Scalability by Kuldeep Meel
Alignment of Machine Learning Models: From CNNs to LLMs by Hamed Hassani
Designing Software for Certification by Natarajan Shankar
Data Structures Meet Circuits and Cryptography by Alexander Golovnev
From audio to audio + machinelearning by Juan Pablo Bello
Attacking Non-Private Machine Learning by Nicholas Carlini
Rethinking software engineering research and education by Carlo Ghezzi
Growing a Smart Contract Language: from Safety Net to Springboard by Dr Ilya Sergey
CS Colloquium Teaching Machines to See Our 3D World by Lee Gim Hee
