1:34:48 Knowledge Incorporation and Emergence: a “Music AI” perspective by Gus G. Xia CS Research Week 66 views - 11 months ago
1:23:43 Towards Instance-Optimal Algorithms for Reinforcement Learning by Kevin Jamieson CS Research Week 127 views - 11 months ago
1:33:46 High-Level Abstractions for Network Programming by Nate Foster CS Research Week 82 views - 11 months ago
1:30:07 Computer Security in Known-Adversary Threat Models by Thomas Ristenpart CS Research Week 47 views - 11 months ago
1:27:40 Is What You See What You Execute? The Challenges of Validating Compilers by Alastair F. Donaldson CS Research Week 55 views - 11 months ago
1:26:22 Sustainable Computer System Design by Lieven Eeckhout CS Research Week 123 views - 11 months ago
1:31:59 Alignment of Machine Learning Models: From CNNs to LLMs by Hamed Hassani CS Research Week 173 views - 1 year ago
1:15:03 Online Algorithms: Beyond the Worst Case by Anupam Gupta CS Research Week 123 views - 1 year ago
1:17:42 From audio to audio + machinelearning by Juan Pablo Bello CS Research Week 81 views - 1 year ago
1:25:12 New Advances in Cryptography for Anonymity by Stefano Tessaro CS Research Week 147 views - 1 year ago
1:31:02 Designing Software for Certification by Natarajan Shankar CS Research Week 43 views - 1 year ago
1:23:30 Proving the security of real-world cryptography and protocols by Jonathan Protzenko CS Research Week 73 views - 1 year ago
1:18:11 Rethinking software engineering research and education by Carlo Ghezzi CS Research Week 50 views - 1 year ago
1:26:05 On Watermarking Generative AI in Generative AI Era by Yu Xiang Wang CS Research Week 115 views - 1 year ago
1:21:57 Beyond the computer vision comfort zone by Jean Ponce CS Research Week 140 views - 1 year ago
47:52 CS Colloquium Counting, Sampling, and Synthesis: The Quest for Scalability by Kuldeep Meel CS Research Week 281 views - 3 years ago
1:15:49 CS Colloquium Constraint Solving - Revisiting Optimal Arc Consistency by Roland Yap CS Research Week 138 views - 3 years ago
1:01:15 Data Structures Meet Circuits and Cryptography by Alexander Golovnev CS Research Week 151 views - 3 years ago
1:13:11 CS Colloquium Foundations of lattice based cryptography by Divesh Aggarwal CS Research Week 278 views - 3 years ago
1:28:49 CS Colloquium Teaching Machines to See Our 3D World by Lee Gim Hee CS Research Week 128 views - 3 years ago
1:13:05 Growing a Smart Contract Language: from Safety Net to Springboard by Dr Ilya Sergey CS Research Week 139 views - 4 years ago
1:19:59 CS Colloquium Programmability in the Switch Data Plane by Chan Mun Choon CS Research Week 122 views - 4 years ago
1:21:09 Recent Developments in DASH - Low Latency and CMCD by Roger Zimmermann CS Research Week 230 views - 4 years ago
1:39:57 Attacking Non-Private Machine Learning by Nicholas Carlini CS Research Week 355 views - 4 years ago
1:14:58 Challenges in Reliable Machine Learning by Kamalika Chaudhuri CS Research Week 125 views - 4 years ago
1:25:08 Correct-by-Construction Cryptography Without Performance Compromises by Adam Chlipala CS Research Week 111 views - 4 years ago
1:36:52 Learning-By-Doing: Using the FMP Python Notebooks for Audio and Music Processing by Meinard Muller CS Research Week 314 views - 4 years ago
1:26:19 A New Learning Paradigm - Green Learning by C. -C. Jay Kuo CS Research Week 828 views - 4 years ago
57:26 Internet Transport Economics - a new approach to characterize the QoS of Internet - Richard Ma CS Research Week 91 views - 4 years ago
19:45 A Compiler Informed Non speculative Out of Order Commit Processor by Ali Hajiabadi CS Research Week 64 views - 4 years ago
23:31 Automated Timed Temporal Verification for a Mixed Sync Async Concurrency Paradigm by Yahui Song CS Research Week 23 views - 4 years ago
51:22 Blockchain Security and the Coalition Formation of its Writers by LI Xiaofan CS Research Week 66 views - 4 years ago
21:01 Coarse to Fine Multi Resolution Temporal Convolutional Network by Dipika Singhania CS Research Week 120 views - 4 years ago
22:30 Code Transplantation for Program Repair by Ridwan Salihin Shariffdeen CS Research Week 48 views - 4 years ago
27:53 Democratizing Coarse Grained Reconfigurable Arrays by Cheng Tan CS Research Week 574 views - 4 years ago
23:39 Faster Smarter Induction in Isabelle HOL by Yutaka Nagashima CS Research Week 95 views - 4 years ago
24:58 k means++ few more steps yield constant approximation by Davin Choo CS Research Week 98 views - 4 years ago
1:18:53 Music & Wearable Computing for Health and Learning by WANG Ye CS Research Week 89 views - 4 years ago
21:54 Network Fault Diagnostics in Datacenters & Beyond by Pravein Govindan Kannan CS Research Week 18 views - 4 years ago
51:05 Trusted Decision Marking and Dependable Intelligence A Formal Approach by Dong Jin Song CS Research Week 89 views - 4 years ago
23:57 WATSON Abstracting Behaviors from Audit Logs via Aggregation of Contextual Semantics by Jun Zeng CS Research Week 74 views - 4 years ago
25:24 Zero Shot Natural Language Generation with Encoder Decoder Transformers by Devamanyu Hazarika CS Research Week 79 views - 4 years ago
21:54 On the privacy risks of algorithmic fairness by Hongyan Chang CS Research Week 74 views - 4 years ago
24:55 Receding Horizon Inverse Reinforcement Learning by Yiqing Xu CS Research Week 386 views - 4 years ago
27:56 Ab Initio Particle based Object Manipulation by Chen Siwei CS Research Week 51 views - 4 years ago
1:28:17 Artificial perception, communication, embodiment, and expressivity in music by George Tzanetakis CS Research Week 108 views - 4 years ago
1:29:13 Safe and Efficient Exploration in Reinforcement Learning by Andreas Krause CS Research Week 317 views - 4 years ago