Author

Apoorv Shukla

Dr. Apoorv Shukla is an expert in verification of programmable networks such as Software-defined Networking (SDN) and P4. Currently, he is a Senior Networks Researcher in Cloud at Huawei, Munich Research Center, Germany. He earned his Phd from TU Berlin and holds a master’s degree in information technology from HKUST-Hong Kong. Previously, he has worked as a Software Developer for WAN protocols in industry at Tata Consultancy Services for Cisco from 2009-2013.

Towards verifying programmable switches at runtime with P6

By Apoorv Shukla on 12 Feb 2021

Guest Post: Bugs can occur at any stage in the P4 pipeline. Static analysis can be hit and miss — so researchers developed P6.