Verification of a P4 Switch
We try to answer the following question: “Is it possible to detect abnormal behavior in a P4 switch and take corrective measures?”
Verification of P4 Networks
We try to answer the following question: “Is it possible to detect control-data plane inconsistency in P4 networks?”
Verification of SDNs
We try to answer the following question: “Is it possible to detect and localize control-data plane inconsistency in SDNs?”
I am interested in topics surrounding monitoring and verification in Software-defined networks (SDNs) and Programming Protocol-independent Packet Processors (P4) networks. I am involved in building systems which ensure rigorous monitoring and verification of SDNs and P4 networks.
I was involved in FP7 Integrated European Union Project UNIFY where I contributed to troubleshooting, monitoring and verification of Service Chains in Carrier-Grade Networks. Currently, I am a project leader of project “Verify: Towards Rigorous Verification and Monitoring of Software-defined Networks (SDNs)”. Project Verify is funded by BMBF grant under Software Campus executives development program.
Papers accepted at IEEE/ACM Transactions on Networking (ToN) 2023! I am delighted to announce that “Runtime Verification of Programmable Switches” got published at IEEE/ACM Transactions on Networking (ToN).
I am delighted to serve as a TPC in ACM SIGCOMM SOSR 2022.
Two Papers accepted at ACM/IEEE ANCS’21! I am delighted to announce that “Shortcutting Fast Failover Routes in the Data Plane” and “No-hop: In-network Distributed Hash Tables” got accepted to ACM/IEEE ANCS 2021.
I am happy to serve on the TPC of Perfail (1st international workshop on negative results). Please consider submitting your work!
I am fortunate to review papers for:
- Netsys 2021 Phd Forum
- IEEE/ACM TON, 2021
- IEEE TNSM, 2021
- IEEE INFOCOM, 2021
- ACM CCR, 2021
On behalf of the new Huawei-TU Berlin innovation lab, we are pleased to organize the “The First Network Verification Workshop” on July 29, 2021. Check out the exciting talks and feel free to join.
Presented our paper at IEEE INFOCOM 2021! Paper was titled “Fix with P6: Verifying Programmable Switches at Runtime”.
Published a technical blog at the Asia Pacific Network Information Centre (APNIC)! Blog was titled “Towards verifying programmable switches at runtime with P6” and based on our upcoming IEEE INFOCOM’21 paper.
Delivered a keynote at the second International Conference on Advances in Distributed Computing and Machine Learning (ICADCML-2021)! Keynote was titled “Towards Resilient Programmable Networks”.
Paper accepted at IEEE INFOCOM! I am delighted to announce that Fix with P6: Verifying Programmable Switches at Runtime got accepted to IEEE INFOCOM. This research was conducted under my project Verify.
Joined Huawei Munich Research Center as Senior Networks Researcher in Cloud! I am excited and looking forward to applying AI/ML techniques to verify/troubleshoot Cloud Datacenters.
Paper accepted at IEEE Journal on Selected Areas in Communications – Special Issue on Network Softwarization & Enablers! I am delighted to announce that P4CONSIST: Towards Consistent P4 SDNs got accepted to TNSM journal. This research was conducted under my project Verify.
Delivered a talk! in KuVS Fachgespräche: Machine Learning & Networking at TU Munich! This research was conducted under my project Verify.
Defended my Ph.D.! Thanks to my mentors, collaborators, and family.
Paper accepted at IEEE Transactions on Network and Service Management (TNSM)! I am delighted to announce that Towards Consistent SDNs: A Case for Network State Fuzzing got accepted to TNSM journal. This research was conducted under my project Verify.
Presentation at TPRC47: Research Conference on Communications, Information and Internet Policy! I presented our paper Navigating the Landscape of Programmable Networks: Looking beyond the Regulatory Status Quo. This research was conducted under my project Verify in collaboration with Network Policy expert Dr. Volker Stocker, Weizenbaum Institute.