Kausik Subramanian -

Registered user since Fri 28 Oct 2016

Name:Kausik Subramanian

Affiliation:University of Wisconsin-Madison, USA

Personal website: http://pages.cs.wisc.edu/~sskausik08

Research interests:Networks, Programming Languages, Formal Methods

Contributions

2020

PLDI

Author of Detecting Network Load Violations for Distributed Control Planes within the PLDI Research Papers-track

2017

POPL

Author of Genesis: Synthesizing Forwarding Tables in Multi-tenant Networks within the POPL-track