Ahmed El-Hassany

According to our database, Ahmed El-Hassany authored at least 10 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Towards reliable network control planes.

Ahmed El-Hassany

PhD thesis, 2019

2018

NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion.

Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin T. Vechev

Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

2017

BigBug: Practical Concurrency Analysis for SDN.

Roman May, Ahmed El-Hassany, Laurent Vanbever, Martin T. Vechev

Proceedings of the Symposium on SDN Research, 2017

Network-Wide Configuration Synthesis.

Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin T. Vechev

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

SDNRacer: concurrency analysis for software-defined networks.

Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, Martin T. Vechev

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015

SDNRacer: detecting concurrency violations in software-defined networks.

Jeremie Miserez, Pavol Bielik, Ahmed El-Hassany, Laurent Vanbever, Martin T. Vechev

Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, 2015

Efficient communication and collection with compact normal forms.

Edward Z. Yang, Giovanni Campagna, Ömer S. Agacan, Ahmed El-Hassany, Abhishek Kulkarni, Ryan R. Newton

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014

Troubleshooting blackbox SDN control software with minimal causal sequences.

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

Proceedings of the ACM SIGCOMM 2014 Conference, 2014

2013

Design and Implementation of a Unified Network Information Service.

Ahmed El-Hassany, Ezra Kissel, Dan Gunter, D. Martin Swany

Proceedings of the 2013 IEEE International Conference on Services Computing, Santa Clara, CA, USA, June 28, 2013

2012

Scalable integrated performance analysis of multi-gigabit networks.

Ezra Kissel, Ahmed El-Hassany, Guilherme Fernandes, D. Martin Swany, Dan Gunter, Taghrid Samak, Jennifer M. Schopf

Proceedings of the 2012 IEEE Network Operations and Management Symposium, 2012