Learning in situ: a randomized experiment in video streaming

no code implementations • 3 Jun 2019 • Francis Y. Yan, Hudson Ayers, Chenzhi Zhu, Sadjad Fouladi, James Hong, Keyi Zhang, Philip Levis, Keith Winstein

We describe the results of a randomized controlled trial of video-streaming algorithms for bitrate selection and network prediction.

Networking and Internet Architecture

Parallelization Techniques for Verifying Neural Networks

no code implementations • 17 Apr 2020 • Haoze Wu, Alex Ozdemir, Aleksandar Zeljić, Ahmed Irfan, Kyle Julian, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina Pasareanu, Clark Barrett

Inspired by recent successes with parallel optimization techniques for solving Boolean satisfiability, we investigate a set of strategies and heuristics that aim to leverage parallel computing to improve the scalability of neural network verification.

Gemino: Practical and Robust Neural Compression for Video Conferencing

no code implementations • 21 Sep 2022 • Vibhaalakshmi Sivaraman, Pantea Karimi, Vedantha Venkatapathy, Mehrdad Khani, Sadjad Fouladi, Mohammad Alizadeh, Frédo Durand, Vivienne Sze

We design Gemino, a new neural compression system for video conferencing based on a novel high-frequency-conditional super-resolution pipeline.

Super-Resolution