Ahmed El-Hassany
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2012–2018
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | NSDI | NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion. | Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin T. Vechev |
| 2017 | CAV | Network-Wide Configuration Synthesis. | Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin T. Vechev |
| 2016 | PLDI | SDNRacer: concurrency analysis for software-defined networks. | Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, Martin T. Vechev |
| 2015 | ICFP | Efficient communication and collection with compact normal forms. | Edward Z. Yang, Giovanni Campagna, mer S. Agacan, Ahmed El-Hassany, Abhishek Kulkarni, Ryan R. Newton |
| 2014 | SIGCOMM | 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 |
| 2012 | NOMS | 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 |