Registered user since Fri 28 Oct 2016
Name:Kausik Subramanian
Affiliation:University of Wisconsin-Madison
Personal website:http://pages.cs.wisc.edu/~sskausik08
Research interests:Networks, Programming Languages, Formal Methods
Contributions
POPL 2017 | Genesis: Synthesizing Forwarding Tables in Multi-tenant Networks | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2017-profile
View general profile
View general profile