6 citations · 6 across the 4 of their papers we have counts for
5 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…
Augmenting Modelers with Semantic Autocompletion of Processes
Maayan Goldstein, Cecilia Gonzalez-Alvarez
Business process modelers need to have expertise and knowledge of the domain that may not always be available to them. Therefore, they may benefit from tools that mine collections…
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…
Learning Software Constraints via Installation Attempts
Ran Ben Basat, Maayan Goldstein, Itai Segall
Modern software systems are expected to be secure and contain all the latest features, even when new versions of software are released multiple times an hour. Each system may inclu…
Empirical Confirmation (and Refutation) of Presumptions on Software
Joseph Gil, Maayan Goldstein, Dany Moshkovich
Code metrics are easy to define, but not so easy to justify. It is hard to prove that a metric is valid, i.e., that measured numerical values imply anything on the vaguely defined,…