-
Vidaptive: Efficient and Responsive Rate Control for Real-Time Video on Variable Networks
Authors:
Pantea Karimi,
Sadjad Fouladi,
Vibhaalakshmi Sivaraman,
Mohammad Alizadeh
Abstract:
Real-time video streaming relies on rate control mechanisms to adapt video bitrate to network capacity while maintaining high utilization and low delay. However, the current video rate controllers, such as Google Congestion Control (GCC), are very slow to respond to network changes, leading to link under-utilization and latency spikes. While recent delay-based congestion control algorithms promise…
▽ More
Real-time video streaming relies on rate control mechanisms to adapt video bitrate to network capacity while maintaining high utilization and low delay. However, the current video rate controllers, such as Google Congestion Control (GCC), are very slow to respond to network changes, leading to link under-utilization and latency spikes. While recent delay-based congestion control algorithms promise high efficiency and rapid adaptation to variable conditions, low-latency video applications have been unable to adopt these schemes due to the intertwined relationship between video encoders and rate control in current systems.
This paper introduces Vidaptive, a new rate control mechanism designed for low-latency video applications. Vidaptive decouples packet transmission decisions from encoder output, injecting ``dummy'' padding traffic as needed to treat video streams akin to backlogged flows controlled by a delay-based congestion controller. Vidaptive then adapts the target bitrate of the encoder based on delay measurements to align the video bitrate with the congestion controller's sending rate. Our evaluations atop Google's implementation of WebRTC show that, across a set of cellular traces, Vidaptive achieves ~1.5x higher video bitrate and 1.4 dB higher SSIM, 1.3 dB higher PSNR, and 40% higher VMAF, and it reduces 95th-percentile frame latency by 2.2 s with a slight 17 ms increase in median frame latency.
△ Less
Submitted 25 February, 2024; v1 submitted 28 September, 2023;
originally announced September 2023.
-
Gemino: Practical and Robust Neural Compression for Video Conferencing
Authors:
Vibhaalakshmi Sivaraman,
Pantea Karimi,
Vedantha Venkatapathy,
Mehrdad Khani,
Sadjad Fouladi,
Mohammad Alizadeh,
Frédo Durand,
Vivienne Sze
Abstract:
Video conferencing systems suffer from poor user experience when network conditions deteriorate because current video codecs simply cannot operate at extremely low bitrates. Recently, several neural alternatives have been proposed that reconstruct talking head videos at very low bitrates using sparse representations of each frame such as facial landmark information. However, these approaches produ…
▽ More
Video conferencing systems suffer from poor user experience when network conditions deteriorate because current video codecs simply cannot operate at extremely low bitrates. Recently, several neural alternatives have been proposed that reconstruct talking head videos at very low bitrates using sparse representations of each frame such as facial landmark information. However, these approaches produce poor reconstructions in scenarios with major movement or occlusions over the course of a call, and do not scale to higher resolutions. We design Gemino, a new neural compression system for video conferencing based on a novel high-frequency-conditional super-resolution pipeline. Gemino upsamples a very low-resolution version of each target frame while enhancing high-frequency details (e.g., skin texture, hair, etc.) based on information extracted from a single high-resolution reference image. We use a multi-scale architecture that runs different components of the model at different resolutions, allowing it to scale to resolutions comparable to 720p, and we personalize the model to learn specific details of each person, achieving much better fidelity at low bitrates. We implement Gemino atop aiortc, an open-source Python implementation of WebRTC, and show that it operates on 1024x1024 videos in real-time on a Titan X GPU, and achieves 2.2-5x lower bitrate than traditional video codecs for the same perceptual quality.
△ Less
Submitted 19 October, 2023; v1 submitted 21 September, 2022;
originally announced September 2022.
-
Parallelization Techniques for Verifying Neural Networks
Authors:
Haoze Wu,
Alex Ozdemir,
Aleksandar Zeljić,
Ahmed Irfan,
Kyle Julian,
Divya Gopinath,
Sadjad Fouladi,
Guy Katz,
Corina Pasareanu,
Clark Barrett
Abstract:
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. We introduce an algorithm based on partitioning the verification problem in an iterative manner and explore two partitioning strategies, that work b…
▽ More
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. We introduce an algorithm based on partitioning the verification problem in an iterative manner and explore two partitioning strategies, that work by partitioning the input space or by case splitting on the phases of the neuron activations, respectively. We also introduce a highly parallelizable pre-processing algorithm that uses the neuron activation phases to simplify the neural network verification problems. An extensive experimental evaluation shows the benefit of these techniques on both existing benchmarks and new benchmarks from the aviation domain. A preliminary experiment with ultra-scaling our algorithm using a large distributed cloud-based platform also shows promising results.
△ Less
Submitted 21 August, 2020; v1 submitted 17 April, 2020;
originally announced April 2020.
-
Learning in situ: a randomized experiment in video streaming
Authors:
Francis Y. Yan,
Hudson Ayers,
Chenzhi Zhu,
Sadjad Fouladi,
James Hong,
Keyi Zhang,
Philip Levis,
Keith Winstein
Abstract:
We describe the results of a randomized controlled trial of video-streaming algorithms for bitrate selection and network prediction. Over the last eight months, we have streamed 14.2 years of video to 56,000 users across the Internet. Sessions are randomized in blinded fashion among algorithms, and client telemetry is recorded for analysis.
We found that in this real-world setting, it is difficu…
▽ More
We describe the results of a randomized controlled trial of video-streaming algorithms for bitrate selection and network prediction. Over the last eight months, we have streamed 14.2 years of video to 56,000 users across the Internet. Sessions are randomized in blinded fashion among algorithms, and client telemetry is recorded for analysis.
We found that in this real-world setting, it is difficult for sophisticated or machine-learned control schemes to outperform a "simple" scheme (buffer-based control), notwithstanding good performance in network emulators or simulators. We performed a statistical analysis and found that the variability and heavy-tailed nature of network and algorithm behavior create hurdles for robust learned algorithms in this area.
We developed an ABR algorithm that robustly outperforms other schemes in practice, by combining classical control with a learned network predictor, trained with supervised learning in situ on data from the real deployment environment.
To support further investigation, we are publishing an archive of traces and results each day, and will open our ongoing study to the community. We welcome other researchers to use this platform to develop and validate new algorithms for bitrate selection, network prediction, and congestion control.
△ Less
Submitted 23 September, 2019; v1 submitted 3 June, 2019;
originally announced June 2019.
-
A Novel Maneuvering Target Tracking Approach by Stochastic Volatility GARCH Model
Authors:
Ehsan Hajiramezanali,
Seyyed Hamed Fouladi,
Hamidreza Amindavar
Abstract:
In this paper, we introduce a new single model maneuvering target tracking approach using stochastic differential equation (SDE) based on GARCH volatility. The traditional input estimation (IE) techniques assume constant acceleration level which do not cover all the possible acceleration quintessence. In contrast, the multiple model (MM) algorithms that take care of some IE's shortcomings, are sen…
▽ More
In this paper, we introduce a new single model maneuvering target tracking approach using stochastic differential equation (SDE) based on GARCH volatility. The traditional input estimation (IE) techniques assume constant acceleration level which do not cover all the possible acceleration quintessence. In contrast, the multiple model (MM) algorithms that take care of some IE's shortcomings, are sensitive to the transition probability matrices. In this paper, an innovative model is proposed to overcome these drawbacks by using a new generalized dynamic modeling of acceleration and a Bayesian filter. We utilize SDE to model Markovian jump acceleration of a maneuvering target through GARCH process as the SDE volatility. In the proposed scheme, the original state and stochastic volatility (SV) are estimated simultaneously by a bootstrap particle filter (PF). We introduce the bootstrap resampling to obtain the statistical properties of a GARCH density. Due to the heavy-tailed nature of the GARCH distribution, the bootstrap PF is more effective in the presence of large errors that can occur in the state equation. We show analytically that the target tracking performance is improved by considering GARCH acceleration model. Finally, the effectiveness and capabilities of our proposed strategy (PF-AR-GARCH) are demonstrated and validated through simulation studies.
△ Less
Submitted 12 February, 2019;
originally announced February 2019.
-
Non-Linear Non-Stationary Heteroscedasticity Volatility for Tracking of Jump Processes
Authors:
Seyyed Hamed Fouladi,
Ehsan Hajiramezanali
Abstract:
In this paper, we introduce a new jump process modeling which involves a particular kind of non-Gaussian stochastic processes with random jumps at random time points. The main goal of this study is to provide an accurate tracking technique based on non-linear non-stationary heteroscedasticity (NNH) time series. It is, in fact, difficult to track jump processes regarding the fact that non-Gaussiani…
▽ More
In this paper, we introduce a new jump process modeling which involves a particular kind of non-Gaussian stochastic processes with random jumps at random time points. The main goal of this study is to provide an accurate tracking technique based on non-linear non-stationary heteroscedasticity (NNH) time series. It is, in fact, difficult to track jump processes regarding the fact that non-Gaussianity is an inherent feature in these processes. The proposed NNH model is conditionally Gaussian whose conditional variance is time-varying. Therefore, we use Kalman filter for state tracking. We show analytically that the proposed NNH model is superior to the traditional methods. Furthermore, to validate the findings, simulations are performed. Finally, the comparison between the proposed method and other alternatives techniques has been made.
△ Less
Submitted 12 February, 2019;
originally announced February 2019.
-
Secure Serverless Computing Using Dynamic Information Flow Control
Authors:
Kalev Alpernas,
Cormac Flanagan,
Sadjad Fouladi,
Leonid Ryzhyk,
Mooly Sagiv,
Thomas Schmitz,
Keith Winstein
Abstract:
The rise of serverless computing provides an opportunity to rethink cloud security. We present an approach for securing serverless systems using a novel form of dynamic information flow control (IFC).
We show that in serverless applications, the termination channel found in most existing IFC systems can be arbitrarily amplified via multiple concurrent requests, necessitating a stronger terminati…
▽ More
The rise of serverless computing provides an opportunity to rethink cloud security. We present an approach for securing serverless systems using a novel form of dynamic information flow control (IFC).
We show that in serverless applications, the termination channel found in most existing IFC systems can be arbitrarily amplified via multiple concurrent requests, necessitating a stronger termination-sensitive non-interference guarantee, which we achieve using a combination of static labeling of serverless processes and dynamic faceted labeling of persistent data.
We describe our implementation of this approach on top of JavaScript for AWS Lambda and OpenWhisk serverless platforms, and present three realistic case studies showing that it can enforce important IFC security properties with low overhead.
△ Less
Submitted 25 February, 2018;
originally announced February 2018.
-
Maximal subset of pairwise non-commuting elements of finite minimal non-Abelian groups
Authors:
S. Fouladi,
R. Orfi,
A. Azad
Abstract:
Let G be a group. A subset X of G is a set of pairwise non-commuting elements if xy is not equal to yx for any two distinct elements x and y in X. If |X|>=|Y| for any other set of pairwise non-commuting elements Y in G, then X is said to be a maximal subset of pairwise non-commuting elements. In this paper we determine the cardinality of a maximal subset of pairwise non-commuting elements for fini…
▽ More
Let G be a group. A subset X of G is a set of pairwise non-commuting elements if xy is not equal to yx for any two distinct elements x and y in X. If |X|>=|Y| for any other set of pairwise non-commuting elements Y in G, then X is said to be a maximal subset of pairwise non-commuting elements. In this paper we determine the cardinality of a maximal subset of pairwise non-commuting elements for finite minimal non-abelian groups.
△ Less
Submitted 19 May, 2014;
originally announced May 2014.
-
Noninner automorphisms of order p in finite p-groups of coclass 2, when p > 2
Authors:
S. Fouladi,
R. Orfi
Abstract:
It is shown that if G is a finite p-group of coclass 2 with p > 2, then G has a noninner automorphism of order p.
It is shown that if G is a finite p-group of coclass 2 with p > 2, then G has a noninner automorphism of order p.
△ Less
Submitted 30 September, 2013;
originally announced September 2013.
-
Groups of Order 2048 with Three Generators and Three Relations
Authors:
Shirin Fouladi,
Reza Orfi
Abstract:
It is shown that there are exactly seventy-eight 3-generator 2- groups of order 2^11 with trivial Schur multiplier. We then give 3-generator, 3-relation presentations for forty-eight of them proving that these groups have deficiency zero.
It is shown that there are exactly seventy-eight 3-generator 2- groups of order 2^11 with trivial Schur multiplier. We then give 3-generator, 3-relation presentations for forty-eight of them proving that these groups have deficiency zero.
△ Less
Submitted 17 November, 2011; v1 submitted 4 September, 2011;
originally announced September 2011.
-
Integrated RF MEMS/CMOS Devices
Authors:
R. R. Mansour,
S. Fouladi,
M. Bakeri-Kassem
Abstract:
A maskless post-processing technique for CMOS chips is developed that enables the fabrication of RF MEMS parallel-plate capacitors with a high quality factor and a very compact size. Simulations and measured results are presented for several MEMS/CMOS capacitors. A 2-pole coupled line tunable bandpass filter with a center frequency of 9.5 GHz is designed, fabricated and tested. A tuning range of…
▽ More
A maskless post-processing technique for CMOS chips is developed that enables the fabrication of RF MEMS parallel-plate capacitors with a high quality factor and a very compact size. Simulations and measured results are presented for several MEMS/CMOS capacitors. A 2-pole coupled line tunable bandpass filter with a center frequency of 9.5 GHz is designed, fabricated and tested. A tuning range of 17% is achieved using integrated variable MEMS/CMOS capacitors with a quality factor exceeding 20. The tunable filter occupies a chip area of 1.2 x 2.1 mm2.
△ Less
Submitted 7 May, 2008;
originally announced May 2008.