Biblio

Export 2 results:
Filters: Author is Karthick Jayaraman  [Clear All Filters]
2020
Kakarla SKesava Red, Tang A, Beckett R, Jayaraman K, Millstein T, Tamir Y, Varghese G.  2020.  Finding Network Misconfigurations by Automatic Template Inference . 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :999--1013.
2015
Lopes NP, Bjørner N, Godefroid P, Jayaraman K, Varghese G.  2015.  Checking Beliefs in Dynamic Networks. 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). :499--512.