Browsing by Author Mahajan, Ratul
Showing results 1 to 6 of 6
| Publication Date | Article Title | Author(s) |
|---|---|---|
| Dec-2019 | Abstract interpretation of distributed network control planes | Beckett, Ryan; Gupta, Aarti; Mahajan, Ratul; Walker, David |
| Aug-2018 | Control plane compression | Beckett, Ryan; Gupta, Aarti; Mahajan, Ratul; Walker, David |
| Nov-2019 | Don't mind the gap: Bridging network-wide objectives and device-level configurations: brief reflections on abstractions for network programming | Beckett, Ryan; Mahajan, Ratul; Millstein, Todd; Padhye, Jitendra; Walker, David |
| Aug-2014 | Dynamic scheduling of network updates | Jin, Xin; Liu, Hongqiang H; Gandhi, Rohan; Kandula, Srikanth; Mahajan, Ratul; et al |
| 2019 | Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement | Giannarakis, Nick; Beckett, Ryan; Mahajan, Ratul; Walker, David |
| Aug-2017 | A general approach to network configuration verification | Beckett, Ryan; Gupta, Aarti; Mahajan, Ratul; Walker, David |