We try to answer the following question: “Is it possible to detect abnormal behavior in a P4 switch and take corrective measures?”
We try to answer the following question: “Is it possible to detect control-data plane inconsistency in P4 networks?”
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.
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:
- USENIX NSDI 2022
- Netsys 2021 Phd Forum
- IEEE/ACM TON, 2021
- IEEE TNSM, 2021
- IEEE INFOCOM, 2021
- ACM CCR, 2021
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.
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.