Asaf Valadarsky
Asaf Valadarsky
Verified email at
Cited by
Cited by
Vericon: towards verifying controller programs in software-defined networks
T Ball, N Bjørner, A Gember, S Itzhaky, A Karbyshev, M Sagiv, M Schapira, ...
Proceedings of the 35th ACM SIGPLAN conference on programming language …, 2014
Learning to route
A Valadarsky, M Schapira, D Shahaf, A Tamar
Proceedings of the 16th ACM Workshop on Hot Topics in Networks, 185-191, 2017
Xpander: Towards optimal-performance datacenters
A Valadarsky, G Shahaf, M Dinitz, M Schapira
Proceedings of the 12th International on Conference on emerging Networking …, 2016
Beyond fat-trees without antennae, mirrors, and disco-balls
S Kassing, A Valadarsky, G Shahaf, M Schapira, A Singla
Proceedings of the Conference of the ACM Special Interest Group on Data …, 2017
Shoal: A network architecture for disaggregated racks
V Shrivastav, A Valadarsky, H Ballani, P Costa, KS Lee, H Wang, ...
16th {USENIX} Symposium on Networked Systems Design and Implementation …, 2019
TeaVaR: Striking the Right Utilization-Availability Balance in WAN Traffic Engineering
J Bogle, N Bhatia, M Ghobadi, I Menache, N Bjørner, A Valadarsky, ...
Learning to route with deep rl
A Valadarsky, M Schapira, D Shahaf, A Tamar
NeurIPS Deep Reinforcement Learning Symposium, 2017, 2017
Explicit expanding expanders
M Dinitz, M Schapira, A Valadarsky
Algorithmica 78 (4), 1225-1245, 2017
Practical Programmable Topologies in the WAN
KT Foerster, M Ghobadi, R Mahajan, A Valadarsky
The system can't perform the operation now. Try again later.
Articles 1–9