K Shiv Kumar

MS (IIT Hyderabad)

Programmable Networks (eBPF, P4) | Systems | Compilers

About Me

Hello! I build systems that make networks smarter and more reliable. With four years of research experience at IIT Hyderabad, I specialize in programmable networks (eBPF, P4) and compilers. My work centers on the validation of Network Functions, bridging the gap between high-level verification and high-performance, scalable infrastructure. I don't just study systems; I build the tools that ensure they actually work at scale.

eBPF P4 C/C++ Python

Publications

DBVal:Validating P4 data plane runtime behavior

...

In-Network Probabilistic Monitoring Primitives under the Influence of Adversarial Network Inputs

...

Get In Touch

I'm always interested in new opportunities, collaborations, or just a friendly chat about technology. Feel free to reach out!

Say Hello