19:45A Compiler Informed Non speculative Out of Order Commit Processor by Ali Hajiabadi
Advanced
A 20-minute video from CS Research Week: “A Compiler Informed Non speculative Out of Order Commit Processor by Ali Hajiabadi”.
CS Research Week
413 subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
19:45
1:26:19A New Learning Paradigm - Green Learning by C. -C. Jay Kuo
Advanced
A 86-minute video from CS Research Week: “A New Learning Paradigm - Green Learning by C. -C. Jay Kuo”.
58:48A Unified Approach to Lower Bounds and Derandomization
Advanced
A 59-minute video from CS Research Week: “A Unified Approach to Lower Bounds and Derandomization”.
27:56Ab Initio Particle based Object Manipulation by Chen Siwei
Advanced
A 28-minute video from CS Research Week: “Ab Initio Particle based Object Manipulation by Chen Siwei”.
1:31:59Alignment of Machine Learning Models: From CNNs to LLMs by Hamed Hassani
Advanced
A 92-minute video from CS Research Week: “Alignment of Machine Learning Models: From CNNs to LLMs by Hamed Hassani”.
46:56An Overview of Algorithms and Theory for Group Testing
Advanced
A 47-minute video from CS Research Week: “An Overview of Algorithms and Theory for Group Testing”.
28:17Anomaly Detection in Data Streams by Siddarth Bhatia
Advanced
A 28-minute video from CS Research Week: “Anomaly Detection in Data Streams by Siddarth Bhatia”.
1:28:17Artificial perception, communication, embodiment, and expressivity in music by George Tzanetakis
Advanced
A 88-minute video from CS Research Week: “Artificial perception, communication, embodiment, and expressivity in music by George Tzanetakis”.
1:39:57Attacking Non-Private Machine Learning by Nicholas Carlini
Advanced
A 100-minute video from CS Research Week: “Attacking Non-Private Machine Learning by Nicholas Carlini”.
23:31Automated Timed Temporal Verification for a Mixed Sync Async Concurrency Paradigm by Yahui Song
Advanced
A 24-minute video from CS Research Week: “Automated Timed Temporal Verification for a Mixed Sync Async Concurrency Paradigm by Yahui Song”.
1:21:57Beyond the computer vision comfort zone by Jean Ponce
Advanced
A 82-minute video from CS Research Week: “Beyond the computer vision comfort zone by Jean Ponce”.
51:22Blockchain Security and the Coalition Formation of its Writers by LI Xiaofan
Advanced
A 51-minute video from CS Research Week: “Blockchain Security and the Coalition Formation of its Writers by LI Xiaofan”.
1:14:58Challenges in Reliable Machine Learning by Kamalika Chaudhuri
Advanced
A 75-minute video from CS Research Week: “Challenges in Reliable Machine Learning by Kamalika Chaudhuri”.
21:01Coarse to Fine Multi Resolution Temporal Convolutional Network by Dipika Singhania
Advanced
A 21-minute video from CS Research Week: “Coarse to Fine Multi Resolution Temporal Convolutional Network by Dipika Singhania”.
22:30Code Transplantation for Program Repair by Ridwan Salihin Shariffdeen
Advanced
A 22-minute video from CS Research Week: “Code Transplantation for Program Repair by Ridwan Salihin Shariffdeen”.
1:30:07Computer Security in Known-Adversary Threat Models by Thomas Ristenpart
Advanced
A 90-minute video from CS Research Week: “Computer Security in Known-Adversary Threat Models by Thomas Ristenpart”.
1:25:08Correct-by-Construction Cryptography Without Performance Compromises by Adam Chlipala
Advanced
A 85-minute video from CS Research Week: “Correct-by-Construction Cryptography Without Performance Compromises by Adam Chlipala”.
1:37:35Cryptography in the Wild by Kenneth Patterson
Advanced
A 98-minute video from CS Research Week: “Cryptography in the Wild by Kenneth Patterson”.
1:01:15Data Structures Meet Circuits and Cryptography by Alexander Golovnev
Advanced
A 61-minute video from CS Research Week: “Data Structures Meet Circuits and Cryptography by Alexander Golovnev”.
27:53Democratizing Coarse Grained Reconfigurable Arrays by Cheng Tan
Advanced
A 28-minute video from CS Research Week: “Democratizing Coarse Grained Reconfigurable Arrays by Cheng Tan”.
1:31:02Designing Software for Certification by Natarajan Shankar
Advanced
A 91-minute video from CS Research Week: “Designing Software for Certification by Natarajan Shankar”.
23:39Faster Smarter Induction in Isabelle HOL by Yutaka Nagashima
Advanced
A 24-minute video from CS Research Week: “Faster Smarter Induction in Isabelle HOL by Yutaka Nagashima”.
1:17:42From audio to audio + machinelearning by Juan Pablo Bello
Advanced
A 78-minute video from CS Research Week: “From audio to audio + machinelearning by Juan Pablo Bello”.
1:13:05Growing a Smart Contract Language: from Safety Net to Springboard by Dr Ilya Sergey
Advanced
A 73-minute video from CS Research Week: “Growing a Smart Contract Language: from Safety Net to Springboard by Dr Ilya Sergey”.
1:33:46High-Level Abstractions for Network Programming by Nate Foster
Advanced
A 94-minute video from CS Research Week: “High-Level Abstractions for Network Programming by Nate Foster”.
57:26Internet Transport Economics - a new approach to characterize the QoS of Internet - Richard Ma
Advanced
A 57-minute video from CS Research Week: “Internet Transport Economics - a new approach to characterize the QoS of Internet - Richard Ma”.
1:27:40Is What You See What You Execute? The Challenges of Validating Compilers by Alastair F. Donaldson
Advanced
A 88-minute video from CS Research Week: “Is What You See What You Execute? The Challenges of Validating Compilers by Alastair F. Donaldson”.
1:34:48Knowledge Incorporation and Emergence: a “Music AI” perspective by Gus G. Xia
Advanced
A 95-minute video from CS Research Week: “Knowledge Incorporation and Emergence: a “Music AI” perspective by Gus G. Xia”.
1:44:32Language-Integrated Verification by Ranjit Jhala
Advanced
A 105-minute video from CS Research Week: “Language-Integrated Verification by Ranjit Jhala”.
1:17:44Learning the Language of Failure by Andreas Zeller
Advanced
A 78-minute video from CS Research Week: “Learning the Language of Failure by Andreas Zeller”.
1:36:52Learning-By-Doing: Using the FMP Python Notebooks for Audio and Music Processing by Meinard Muller
Advanced
A 97-minute video from CS Research Week: “Learning-By-Doing: Using the FMP Python Notebooks for Audio and Music Processing by Meinard Muller”.
1:18:53Music & Wearable Computing for Health and Learning by WANG Ye
Advanced
A 79-minute video from CS Research Week: “Music & Wearable Computing for Health and Learning by WANG Ye”.
21:54Network Fault Diagnostics in Datacenters & Beyond by Pravein Govindan Kannan
Advanced
A 22-minute video from CS Research Week: “Network Fault Diagnostics in Datacenters & Beyond by Pravein Govindan Kannan”.
1:25:12New Advances in Cryptography for Anonymity by Stefano Tessaro
Advanced
A 85-minute video from CS Research Week: “New Advances in Cryptography for Anonymity by Stefano Tessaro”.
1:26:05On Watermarking Generative AI in Generative AI Era by Yu Xiang Wang
Advanced
A 86-minute video from CS Research Week: “On Watermarking Generative AI in Generative AI Era by Yu Xiang Wang”.
21:54On the privacy risks of algorithmic fairness by Hongyan Chang
Advanced
A 22-minute video from CS Research Week: “On the privacy risks of algorithmic fairness by Hongyan Chang”.