Publications
 
 (2018).  ResQ: Enabling SLOs in Network Function Virtualization.  
Proceedings of NSDI 2018.  
 
 (2018).  Revisiting network support for RDMA.  
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication SIGCOMM '18.  
 
 (2017).  A High Performance Packet Core for Next Generation Cellular Networks..  
Proceedings of the Conference of the ACM Special Interest Group on Data Communication SIGNCOMM '17.  
 
 (2017).  Monotasks: Architecting for Performance Clarity in Data Analytics Frameworks.  
Proceedings of the 26th Symposium on Operating Systems Principles SOSP '17.  
 
 (2017).  Performance clarity as a first-class design principle..  
Proceedings of the 16th Workshop on Hot Topics in Operating Systems HotOS'17.  
 
 (2017).  Privacy-Preserving Interdomain Routing at Internet Scale.  
Proceedings of PoPETs 2017.  
 
 (2017).  On the Resiliency of Static Forwarding Tables.  
IEEE/ACM Transactions on Networking. 25(2), 
 
 (2017).  SCL: Simplifying Distributed SDN Control Planes.  
Proceedings of NSDI '17.  
 
 (2017).  Verification in the Age of Microservices.  
Proceedings of the 16th Workshop on Hot Topics in Operating Systems HotOS'17.  
 
 (2017).  Verifying Reachability in Networks with Mutable Datapaths.  
Proceedings of NSDI '17.  
 
 (2016).  Apache Spark: a unified engine for big data processing.  
Communications of the ACM. 59(11), 56-65.
 
 (2016).  Caching Doesn't Improve Mobile Web Performance (Much).  
Proceedings of the  2016 USENIX Annual Technical Conference (USENIC ATC ’16).  
 
 (2016).  The Deforestation of L2.  
 
 
 (2016).  NetBricks: Taking the V out of NFV.  
Proceedings of the  12th USENIX Symposium on Operating Systems Design   and Implementation (OSDI ’16).  
 
 (2016).  Open Network Interfaces for Carrier Networks.  
ACM SIGCOMM Computer Communication Review. 46(1), 5-11.
 
 (2015).  Rollback-Recovery for Middleboxes.  
 
 
 (2015).  Stabilizing Route Selection in BGP.  
IEEE/ACM Transactions on Networking. 23(1), 282-299.
 
 (2015).  Taking an AXE to L2 Spanning Trees.  
 
 
 (2013).  Brief Announcement: Techniques for Programmatically Troubleshooting Distributed Systems.  
 1-3.
 
 (2013).  CAP for Networks.  
 91-96.

 ]
]