is a domain specific language (DSL) and an SDN network control system
that allows operators to express dynamic network policies in a concise,
intuitive way. Using Kinetic, programmers can implement a network-wide control
program that can dynamically change network behavior based on various types of
Conferences & Workshops
Kinetic: Verifiable Dynamic Network Control [ To appear ]
Hyojoon Kim, Joshua Reich, Arpit Gupta, Muhammad Shahbaz, Nick Feamster, Russ Clark
USENIX Symposium on Networked Systems Design and Implementation. May, 2015 (NSDI 2015).
uCap: An Internet Data Management Tool for the Home [ To appear ]
Marshini Chetty, Hyojoon Kim, Srikanth Sundaresan, Sam Burnett, Nick Feamster, Keith Edwards
ACM Conference on Human Factors in Computing Systems. April, 2015 (CHI 2015).
Peeking Behind the NAT: An Empirical Study of Home Networks
[ paper (pdf) ]