A Glimpse into the Pandora’s Box: Demystifying On-Device AI on Instagram and TikTok

Evaluating and Designing Defenses against Input Perturbation Attacks on Black-Box Machine-Learning Models

Measuring and Mitigating Adversarial Intermediaries on the Global Internet

Enhancing Security, Safety, and Reliability of Modern Cyber-physical Systems

Efficiently Scaling Machine Learning Systems Across Heterogeneous Resources

User-Centric Machine Learning Systems

Platforms Shape Democracy

Unfairness Detection and Evaluation in Data-driven Decision-making Algorithms

Leveraging Data Semantics for Relational Data Management Tasks

Increasing The Practicality Of Verification Using Incomplete Solutions

Formally Verified Numerical Methods

For all tomorrow’s survivors: Mitigating tech abuse via new approaches to computer security

Exploring the Effects of Memory Vulnerabilities Across the Computer Architecture Stack

Practical Verification of Distributed Systems: Streamlining Safety Proofs Using Invariant Taxonomies, and Verifying Latency Properties Using Symbolic Latency

Exploring Intersectionality in Responsible Data Management

Bridging Data and Hardware Gap for Efficient Machine Model Scaling

Three Lenses on Improving Programmer Productivity: From Anecdote to Evidence

Quality of Service for Performance-Critical Cloud Applications

Agnostic, Post-Training Backdoor Defense for Deep Learning

Characterizing and Improving Next-Generation Network Infrastructures and Applications

Global and Longitudinal Investigation of Network Connection Tampering

Hardware-Software Co-design for Reliable and Efficient Heterogeneous Systems

Understanding understanding: How do we reason about computational logic?

Enabling Direct Bluetooth-WiFi Communications

Fast, Flexible, and Intelligent Next-Generation Networks