Registered user since Fri 28 Oct 2016

Name:Kausik Subramanian
Affiliation:University of Wisconsin-Madison, USA
Research interests:Networks, Programming Languages, Formal Methods

Contributions

PLDI 2020 Author of Detecting Network Load Violations for Distributed Control Planes within the PLDI Research Papers-track
POPL 2017 Author of Genesis: Synthesizing Forwarding Tables in Multi-tenant Networks within the POPL-track