Aurojit Panda

Proceedings of the SoCC '20: ACM Symposium on Cloud Computing, 2020

2019

Some complexity results for stateful network verification.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2019

Certifying Safety when Implementing Consensus.

[BibT_eX]

[DOI]

CoRR, 2019

Thoughts on load distribution and the role of programmable switches.

[BibT_eX]

[DOI]

Arvind Krishnamurthy

Comput. Commun. Rev., 2019

Enabling a permanent revolution in internet architecture.

[BibT_eX]

[DOI]

Proceedings of the ACM Special Interest Group on Data Communication, 2019

2018

Revisiting network support for RDMA.

[BibT_eX]

[DOI]

Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, 2018

Open Carrier Interface: An Open Source Edge Computing Framework.

[BibT_eX]

[DOI]

Proceedings of the 2018 Workshop on Networking for Emerging Applications and Technologies, 2018

CESSNA: Resilient Edge-Computing.

[BibT_eX]

[DOI]

Yotam Harchol

Aisha Mushtaq

Proceedings of the 2018 Workshop on Mobile Edge Communications, 2018

Abstract Interpretation of Stateful Networks.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 25th International Symposium, 2018

ResQ: Enabling SLOs in Network Function Virtualization.

[BibT_eX]

[DOI]

Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

Monarch: Gaining Command on Geo-Distributed Graph Analytics.

[BibT_eX]

[DOI]

Anand Padmanabha Iyer

Proceedings of the 10th USENIX Workshop on Hot Topics in Cloud Computing, 2018

Bridging the GAP: towards approximate graph analytics.

[BibT_eX]

[DOI]

Anand Padmanabha Iyer

Proceedings of the 1st ACM SIGMOD Joint International Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA), 2018

Preserving Privacy at IXPs.

[BibT_eX]

[DOI]

Proceedings of the 2nd Asia-Pacific Workshop on Networking, 2018

2017

A New Approach to Network Function Virtualization.

[BibT_eX]

[DOI]

PhD thesis, 2017

System Programming in Rust: Beyond Safety.

[BibT_eX]

[DOI]

Abhiram Balasubramanian

ACM SIGOPS Oper. Syst. Rev., 2017

ThrottleBot - Performance without Insight.

[BibT_eX]

[DOI]

CoRR, 2017

Modular Safety Verification for Stateful Networks.

[BibT_eX]

[DOI]

CoRR, 2017

Drizzle: Fast and Adaptable Stream Processing at Scale.

[BibT_eX]

[DOI]

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

A High Performance Packet Core for Next Generation Cellular Networks.

[BibT_eX]

[DOI]

Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017

SCL: Simplifying Distributed SDN Control Planes.

[BibT_eX]

[DOI]

Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, 2017

Verifying Reachability in Networks with Mutable Datapaths.

[BibT_eX]

[DOI]

Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, 2017

Verification in the Age of Microservices.

[BibT_eX]

[DOI]

Mooly Sagiv

Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

2016

Open Network Interfaces for Carrier Networks.

[BibT_eX]

[DOI]

Comput. Commun. Rev., 2016

Recursive SDN for Carrier Networks.

[BibT_eX]

[DOI]

Comput. Commun. Rev., 2016

SoftFlow: A Middlebox Architecture for Open vSwitch.

[BibT_eX]

[DOI]

Proceedings of the 2016 USENIX Annual Technical Conference, 2016

Ivy: safety verification by interactive generalization.

[BibT_eX]

[DOI]

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

NetBricks: Taking the V out of NFV.

[BibT_eX]

[DOI]

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

Minimizing Faulty Executions of Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, 2016

The quest for resilient (static) forwarding tables.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual IEEE International Conference on Computer Communications, 2016

2015

E2: a framework for NFV applications.

[BibT_eX]

[DOI]

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

New Directions for Network Verification.

[BibT_eX]

[DOI]

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Rollback-Recovery for Middleboxes.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM Conference on Special Interest Group on Data Communication, 2015

Route Bazaar: Automatic Interdomain Contract Negotiation.

[BibT_eX]

[DOI]

Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

2014

Verifying Isolation Properties in the Presence of Middleboxes.

[BibT_eX]

[DOI]

CoRR, 2014

Exploring the Limits of Static Failover Routing.

[BibT_eX]

[DOI]

CoRR, 2014

Troubleshooting blackbox SDN control software with minimal causal sequences.

[BibT_eX]

[DOI]

Hrishikesh B. Acharya

Kyriakos Zarifis

Proceedings of the ACM SIGCOMM 2014 Conference, 2014

The Power of Choice in Data-Aware Cluster Scheduling.

[BibT_eX]

[DOI]

Ganesh Ananthanarayanan

Michael J. Franklin

Ion Stoica

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

PRAN: Programmable Radio Access Networks.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM Workshop on Hot Topics in Networks, 2014

2013

HW Databases, Where art Thou?

[BibT_eX]

[DOI]

Sangjin Han

Sylvia Ratnasamy

Adv. Math. Commun., 2013

CAP for networks.

[BibT_eX]

[DOI]

Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, 2013

Ensuring Connectivity via Data Plane Mechanisms.

[BibT_eX]

[DOI]

Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, 2013

The Case for Tiny Tasks in Compute Clusters.

[BibT_eX]

[DOI]

Kay Ousterhout

Josh Rosen