Troubleshooting blackbox SDN control software with minimal causal sequences C Scott, A Wundsam, B Raghavan, A Panda, A Or, J Lai, E Huang, Z Liu, ... ACM SIGCOMM Computer Communication Review 44 (4), 395-406, 2014 | 164 | 2014 |
NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion A El-Hassany, P Tsankov, L Vanbever, M Vechev 15th {USENIX} Symposium on Networked Systems Design and Implementation …, 2018 | 101 | 2018 |
Network-wide configuration synthesis A El-Hassany, P Tsankov, L Vanbever, M Vechev International Conference on Computer Aided Verification, 261-281, 2017 | 89 | 2017 |
SDNRacer: concurrency analysis for software-defined networks A El-Hassany, J Miserez, P Bielik, L Vanbever, M Vechev Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016 | 53 | 2016 |
SDNRacer: Detecting concurrency violations in software-defined networks J Miserez, P Bielik, A El-Hassany, L Vanbever, M Vechev Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking …, 2015 | 40 | 2015 |
Efficient communication and collection with compact normal forms EZ Yang, G Campagna, ÖS Ağacan, A El-Hassany, A Kulkarni, ... Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015 | 17 | 2015 |
Design and implementation of a unified network information service A El-Hassany, E Kissel, D Gunter, M Swany Services Computing (SCC), 2013 IEEE International Conference on, 224-231, 2013 | 12 | 2013 |
BigBug: Practical Concurrency Analysis for SDN R May, A El-Hassany, L Vanbever, M Vechev Symposium on SDN Research (SOSR), 2017 | 10 | 2017 |
Scalable integrated performance analysis of multi-gigabit networks E Kissel, A El-Hassany, G Fernandes, M Swany, D Gunter, T Samak, ... Network Operations and Management Symposium (NOMS), 2012 IEEE, 1227-1233, 2012 | 7 | 2012 |
An Instrumentation and Measurement Framework for End-to-End Performance Analyis E Kissel, D Gunter, T Samak, A El-Hassany, G Fernandes, M Swany Technical Report 2011/04, University of Delaware, 2011 | 1 | 2011 |