6 citations · 6 across the 3 of their papers we have counts for
3 papers
Parallel Virtual Machines Placement with Provable Guarantees
Itamar Cohen, Gil Einziger, Maayan Goldstein +3
Network Function Virtualization (NFV) carries the potential for on-demand deployment of network algorithms in virtual machines (VMs). In large clouds, however, VM resource allocati…
Synthesis of coordination programs from linear temporal logic
Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar
This paper presents a method for synthesizing a reactive program which coordinates the actions of a group of other reactive programs, so that the combined system satisfies a tempor…
Verifying Robustness of Gradient Boosted Models
Gil Einziger, Maayan Goldstein, Yaniv Sa'ar +1
Gradient boosted models are a fundamental machine learning technique. Robustness to small perturbations of the input is an important quality measure for machine learning models, bu…