AJAY KHARAT

p4 distributed system assertion-based verification sdn can facilitate adaptability of the measurement sdprober designs and challenges monitoring capabilities open vswitch memory and performance isolation multi-tenant function-based data-plane enabling programmable data plane simulation ns4 prototype conjestion control computer network rmt architecture stream processing. split policy into several switches implement complex policies on existing network inf automated test case generation for p4 programs p4pktgen heavy heater commodity switches network-wide heavy-hitter detection mutual exclusion raymond’s tree based singhal’s heuristics memory management mach os virtual memory management in distributed system lamport-shostak-pease algorithm dolev et al.’s algorithm byzantine agreement problem