( en | de | ru )

 

Disambiguation of "Mahajan, Ratul"

Author of the publication

copydeleteadd this publication to your clipboard
Abstract interpretation of distributed network control planes.

, , , and . Proc. ACM Program. Lang., 4 (POPL): 42:1-42:27 (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kiran Mahajan

Rupali Arunkumar Mahajan

 

Other publications of authors with the same name

Lab of Things: Building a Research Platform for Connected Devices in the Home and Beyond., , and . GetMobile, 18 (4): 37-40 (2014)Using redundancy to enable interactive communication for moving vehicles.. WiOpt, page 1. IEEE, (2009)Controlling the Cost of Reliability in Peer-to-Peer Overlays., , and . IPTPS, volume 2735 of Lecture Notes in Computer Science, page 21-32. Springer, (2003)Fast Control Plane Analysis Using an Abstract Representation., , , and . SIGCOMM, page 300-313. ACM, (2016)Timecard: controlling user-perceived delays in server-based mobile applications., , , and . SOSP, page 85-100. ACM, (2013)Don't mind the gap: Bridging network-wide objectives and device-level configurations: brief reflections on abstractions for network programming., , , , and . Comput. Commun. Rev., 49 (5): 104-106 (2019)Finding protocol manipulation attacks., , , , and . SIGCOMM, page 26-37. ACM, (2011)Lessons from the evolution of the Batfish configuration analysis tool., , , , , and . SIGCOMM, page 122-135. ACM, (2023)Packet-Level Telemetry in Large Datacenter Networks., , , , , , , , , and 1 other author(s). SIGCOMM, page 479-491. ACM, (2015)Gestalt: Fast, Unified Fault Localization for Networked Systems., , , and . USENIX Annual Technical Conference, page 255-267. USENIX Association, (2014)