Ahmed El-Hassany

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 5

Top Topics

Control Software

Formal Definitions

Origin Destination

Top Venues

Publications

Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin T. Vechev
NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion. NSDI (2018)
Roman May, Ahmed El-Hassany, Laurent Vanbever, Martin T. Vechev
BigBug: Practical Concurrency Analysis for SDN. SOSR (2017)
Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin T. Vechev
Network-Wide Configuration Synthesis. CAV (2) (2017)
Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, Martin T. Vechev
SDNRacer: concurrency analysis for software-defined networks. PLDI (2016)
Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin T. Vechev
Network-wide Configuration Synthesis. CoRR (2016)
Edward Z. Yang, Giovanni Campagna, Ömer S. Agacan, Ahmed El-Hassany, Abhishek Kulkarni, Ryan R. Newton
Efficient communication and collection with compact normal forms. ICFP (2015)
Jeremie Miserez, Pavol Bielik, Ahmed El-Hassany, Laurent Vanbever, Martin T. Vechev
SDNRacer: detecting concurrency violations in software-defined networks. SOSR (2015)
Colin Scott, Andreas Wundsam, Barath Raghavan, Aurojit Panda, Andrew Or, Jefferson Lai, Eugene Huang, Zhi Liu, Ahmed El-Hassany, Sam Whitlock, Hrishikesh B. Acharya, Kyriakos Zarifis, Scott Shenker
Troubleshooting blackbox SDN control software with minimal causal sequences. SIGCOMM (2014)
Ahmed El-Hassany, Ezra Kissel, Dan Gunter, D. Martin Swany
Design and Implementation of a Unified Network Information Service. IEEE SCC (2013)
Ezra Kissel, Ahmed El-Hassany, Guilherme Fernandes, D. Martin Swany, Dan Gunter, Taghrid Samak, Jennifer M. Schopf
Scalable integrated performance analysis of multi-gigabit networks. NOMS (2012)