VeriCon: towards verifying controller programs in software-defined networks. - Thomas Ball 001; Nikolaj S. Bjørner; Aaron Gember; Shachar Itzhaky; Aleksandr Karbyshev; Mooly Sagiv; Michael Schapira; Asaf Valadarsky (PLDI, 2014)

Xpander: Unveiling the Secrets of High-Performance Datacenters. - Asaf Valadarsky; Michael Dinitz; Michael Schapira (HotNets, 2015)

Xpander: Towards Optimal-Performance Datacenters. - Asaf Valadarsky; Gal Shahaf; Michael Dinitz; Michael Schapira (CoNEXT, 2016)

Learning to Route. - Asaf Valadarsky; Michael Schapira; Dafna Shahaf; Aviv Tamar (HotNets, 2017)

Beyond fat-trees without antennae, mirrors, and disco-balls. - Simon Kassing; Asaf Valadarsky; Gal Shahaf; Michael Schapira; Ankit Singla (SIGCOMM, 2017)

Explicit Expanding Expanders. - Michael Dinitz; Michael Schapira; Asaf Valadarsky (Algorithmica, 2017)

A Machine Learning Approach to Routing. - Asaf Valadarsky; Michael Schapira; Dafna Shahaf; Aviv Tamar (CoRR, 2017)

Shoal: A Network Architecture for Disaggregated Racks. - Vishal Shrivastav; Asaf Valadarsky; Hitesh Ballani; Paolo Costa; Ki Suh Lee; Han Wang 009; Rachit Agarwal 001; Hakim Weatherspoon (NSDI, 2019)

TEAVAR: striking the right utilization-availability balance in WAN traffic engineering. - Jeremy Bogle; Nikhil Bhatia; Manya Ghobadi; Ishai Menache; Nikolaj S. Bjørner; Asaf Valadarsky; Michael Schapira (SIGCOMM, 2019)

Xpander: Towards Next Generation Datacenter Networks (כותר נוסף בעברית: Xpander : אל עבר הדור הבא של מרכזי נתונים). - Asaf Valadarsky (2019)