A Unified Approach to Lower Bounds and Derandomization

An Overview of Algorithms and Theory for Group Testing

Alignment of Machine Learning Models: From CNNs to LLMs by Hamed Hassani

Online Algorithms: Beyond the Worst Case by Anupam Gupta

From audio to audio + machinelearning by Juan Pablo Bello

New Advances in Cryptography for Anonymity by Stefano Tessaro

Designing Software for Certification by Natarajan Shankar

Cryptography in the Wild by Kenneth Patterson

Proving the security of real-world cryptography and protocols by Jonathan Protzenko

Rethinking software engineering research and education by Carlo Ghezzi

On Watermarking Generative AI in Generative AI Era by Yu Xiang Wang

Beyond the computer vision comfort zone by Jean Ponce

CS Research Week January 2024-logo

CS Colloquium Counting, Sampling, and Synthesis: The Quest for Scalability by Kuldeep Meel

CS Colloquium Constraint Solving - Revisiting Optimal Arc Consistency by Roland Yap

Data Structures Meet Circuits and Cryptography by Alexander Golovnev

CS Colloquium Foundations of lattice based cryptography by Divesh Aggarwal

CS Colloquium Teaching Machines to See Our 3D World by Lee Gim Hee

Growing a Smart Contract Language: from Safety Net to Springboard by Dr Ilya Sergey

CS Colloquium Programmability in the Switch Data Plane by Chan Mun Choon

Recent Developments in DASH - Low Latency and CMCD by Roger Zimmermann

Attacking Non-Private Machine Learning by Nicholas Carlini

The Complexity of Compression by Rahul Santhanam

Challenges in Reliable Machine Learning by Kamalika Chaudhuri

Time To Change Your Filter by Michael Bender

Correct-by-Construction Cryptography Without Performance Compromises by Adam Chlipala

Learning-By-Doing: Using the FMP Python Notebooks for Audio and Music Processing by Meinard Muller

A New Learning Paradigm - Green Learning by C. -C. Jay Kuo

CS Rsearch Week logo January 2022

Internet Transport Economics - a new approach to characterize the QoS of Internet - Richard Ma

A Compiler Informed Non speculative Out of Order Commit Processor by Ali Hajiabadi

Anomaly Detection in Data Streams by Siddarth Bhatia

Automated Timed Temporal Verification for a Mixed Sync Async Concurrency Paradigm by Yahui Song

Blockchain Security and the Coalition Formation of its Writers by LI Xiaofan

Coarse to Fine Multi Resolution Temporal Convolutional Network by Dipika Singhania

Code Transplantation for Program Repair by Ridwan Salihin Shariffdeen

Democratizing Coarse Grained Reconfigurable Arrays by Cheng Tan

Faster Smarter Induction in Isabelle HOL by Yutaka Nagashima

k means++ few more steps yield constant approximation by Davin Choo

Music & Wearable Computing for Health and Learning by WANG Ye

Network Fault Diagnostics in Datacenters & Beyond by Pravein Govindan Kannan

Static Data Race Repair at Scale by Andreea Costea

Trusted Decision Marking and Dependable Intelligence A Formal Approach by Dong Jin Song

WATSON Abstracting Behaviors from Audit Logs via Aggregation of Contextual Semantics by Jun Zeng

Zero Shot Natural Language Generation with Encoder Decoder Transformers by Devamanyu Hazarika

On the privacy risks of algorithmic fairness by Hongyan Chang

Receding Horizon Inverse Reinforcement Learning by Yiqing Xu

Computing Research Week August 2021

Ab Initio Particle based Object Manipulation by Chen Siwei

Artificial perception, communication, embodiment, and expressivity in music by George Tzanetakis

Learning the Language of Failure by Andreas Zeller

Language-Integrated Verification by Ranjit Jhala

Safe and Efficient Exploration in Reinforcement Learning by Andreas Krause

Accelerating Distributed Systems with In-Network Computation by Dan Ports

CS Rsearch Week logo January 2021

2nd Computing Research Week Opening by Xie Yaqi

TBD Three Backoff Dilemmas How to Cooperate ina Decentralized World by Seth Lewis Gilbert

Systems Design in the Post Moore's Law Era by Jialin Li

Smart Contracts and Their Identity Crisis by Alvaro Gonzalez Rivas

A Transactional Perspective on Execute order validate Blockchains by Pingcheng Ruan