Ahmed El-Hassany

Contact: eahmed (at) ethz.ch,

I am a second year Ph.D. candidate at ETH Zürich, advised by Laurent Vanbever. My research looks at how to make networks more programmable and how to verify the correctness of programmable networks.

Before joining ETH Zürich, I had a great privilege to work with Prof. Scott Shenker, where I worked on designing next architecture of Software-Defined Networks (SDN) and building systems for troubleshooting existing SDN controllers.

I received a master degree in Computer Science from University of Delaware in 2011 and a bachelor degree in Computer Engineering from Islamic University of Gaza in 2008.

Please see my CV for further information.

Current Projects

• Network-wide Configuration Synthesis.

• Concurrency Analysis for Software-Defined Networks.

Publications

• Network-wide Configuration Synthesis. Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev. CAV 2017

• BigBug: Practical Concurrency Analysis for SDN. Roman May, Ahmed El-Hassany, Laurent Vanbever, Martin Vechev. ACM SOSR ‘17.

• Network-wide Configuration Synthesis. Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev. arXiv preprint 1611.02537

• SDNRacer: Concurrency Analysis for Software-Defined Networks. Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, Martin Vechev. PLDI ‘16.

• Efficient Communication and Collection with Compact Normal Forms. Edward Z Yang, Giovanni Campagna, Omer Agacan, Ahmed El-Hassany, Abhishek Kulkarni, Ryan Newton. ICFP ‘15.

• SDNRacer: Detecting Concurrency Violations in Software-Defined Networks. Jeremie Miserez, Pavol Bielik, Ahmed El-Hassany, Laurent Vanbever, Martin Vechev. ACM SOSR ‘15.

• Troubleshooting Blackbox SDN Control Software with Minimal Causal Sequencess. Colin Scott, Andreas Wundsam, Barath Raghavan, Aurojit Panda, Andrew Or, Jefferson Lai, Eugene Huang, Zhi Liu, Ahmed El-Hassany, Sam Whitlock, H.B. Acharya, Kyriakos Zarifis, and Scott Shenker. ACM SIGCOMM ‘14.

• Design and Implementation of a Unified Network Information Services. Ahmed El-Hassany, Ezra Kissel Daniel Gunter, Martin Swany. IEEE SCC ‘13.

• Scalable Integrated Performance Analysis of Multi-Gigabit Networks. Ezra Kissel, Ahmed El-Hassany, Guilherme Fernandes, Martin Swany, Dan Gunter, Taghrid Samak, Jennifer M Schopf. IEEE NOMS ‘12.

####Credits This page is generated using Jekyell using Solo theme.