Ratul Mahajan

Proceedings of the HotNets '20: The 19th ACM Workshop on Hot Topics in Networks, 2020

2019

Don't mind the gap: Bridging network-wide objectives and device-level configurations: brief reflections on abstractions for network programming.

[BibT_eX]

[DOI]

Comput. Commun. Rev., 2019

Putting network verification to good use.

[BibT_eX]

[DOI]

Ryan Beckett

Proceedings of the 18th ACM Workshop on Hot Topics in Networks, 2019

Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Control plane compression.

[BibT_eX]

[DOI]

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

Odin: Microsoft's Scalable Fault-Tolerant CDN Measurement System.

[BibT_eX]

[DOI]

Ganesh Ananthanarayanan

Ethan Katz-Bassett

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

2017

Modeling Actuation Constraints for IoT Applications.

[BibT_eX]

[DOI]

Vasuki Narasimha Swamy

CoRR, 2017

Programming Distributed Control Planes: Invited Demo: Demo.

[BibT_eX]

[DOI]

Proceedings of the Symposium on SDN Research, 2017

Automatically Repairing Network Control Planes Using an Abstract Representation.

[BibT_eX]

[DOI]

Aaron Gember-Jacobson

Aditya Akella

Hongqiang Harry Liu

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

Understanding and Mitigating Packet Corruption in Data Center Networks.

[BibT_eX]

[DOI]

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

A General Approach to Network Configuration Verification.

[BibT_eX]

[DOI]

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

Network configuration synthesis with abstract topologies.

[BibT_eX]

[DOI]

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

RAIL: A Case for Redundant Arrays of Inexpensive Links in Data Center Networks.

[BibT_eX]

[DOI]

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

2016

Elastic Optical Networking in the Microsoft Cloud [Invited].

[BibT_eX]

[DOI]

JOCN, 2016

Beam: Ending Monolithic Applications for Connected Devices.

[BibT_eX]

[DOI]

Proceedings of the 2016 USENIX Annual Technical Conference, 2016

ProjecToR: Agile Reconfigurable Data Center Interconnect.

[BibT_eX]

[DOI]

Pierre-Alexandre Blanche

Houman Rastegarfar

Madeleine Glick

Daniel C. Kilper

Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

Fast Control Plane Analysis Using an Abstract Representation.

[BibT_eX]

[DOI]

Aaron Gember-Jacobson

Raajay Viswanathan

Aditya Akella

Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

Don't Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

Efficient Network Reachability Analysis Using a Succinct Control Plane Representation.

[BibT_eX]

[DOI]

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

Evaluation of elastic modulation gains in microsoft's optical backbone in North America.

[BibT_eX]

[DOI]

Proceedings of the Optical Fiber Communications Conference and Exhibition, 2016

Efficiently Delivering Online Services over Integrated Infrastructure.

[BibT_eX]

[DOI]

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

Consistent updates in software defined networks: On dependencies, loop freedom, and blackholes.

[BibT_eX]

[DOI]

Klaus-Tycho Förster

Roger Wattenhofer

Proceedings of the 2016 IFIP Networking Conference, 2016

Optical Layer Failures in a Large Backbone.

[BibT_eX]

[DOI]

Monia Ghobadi

Proceedings of the 2016 ACM on Internet Measurement Conference, 2016

ddNF: An Efficient Data Structure for Header Spaces.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2016

2015

It's Time to End Monolithic Apps for Connected Devices.

[BibT_eX]

[DOI]

Deployment Study Length: How Long Should a System Be Evaluated in the Wild?

[BibT_eX]

[DOI]

GetMobile Mob. Comput. Commun., 2015

Lab of Things in Education.

[BibT_eX]

[DOI]

GetMobile Mob. Comput. Commun., 2015

Systematically Exploring the Behavior of Control Programs.

[BibT_eX]

[DOI]

Proceedings of the 2015 USENIX Annual Technical Conference, 2015

Packet-Level Telemetry in Large Datacenter Networks.

[BibT_eX]

[DOI]

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

Analyzing Protocol Implementations for Interoperability.

[BibT_eX]

[DOI]

Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

A General Approach to Network Configuration Analysis.

[BibT_eX]

[DOI]

Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

Management Plane Analytics.

[BibT_eX]

[DOI]

Aaron Gember-Jacobson

Proceedings of the 2015 ACM Internet Measurement Conference, 2015

Analyzing the Performance of an Anycast CDN.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM Internet Measurement Conference, 2015

A Case for Ending Monolithic Apps for Connected Devices.

[BibT_eX]

[DOI]

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

2014

Lab of Things: Building a Research Platform for Connected Devices in the Home and Beyond.

[BibT_eX]

[DOI]

Arjmand Samuel

A. J. Bernheim Brush

GetMobile Mob. Comput. Commun., 2014

Gestalt: Fast, Unified Fault Localization for Networked Systems.

[BibT_eX]

[DOI]

Radhika Niranjan Mysore

Amin Vahdat

George Varghese

Proceedings of the 2014 USENIX Annual Technical Conference, 2014

A network-state management service.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2014 Conference, 2014

Traffic engineering with forward fault correction.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2014 Conference, 2014

Dynamic scheduling of network updates.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2014 Conference, 2014

Bolt: Data Management for Connected Homes.

[BibT_eX]

[DOI]

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

sTrack: Secure Tracking in Community Surveillance.

[BibT_eX]

[DOI]

Proceedings of the ACM International Conference on Multimedia, MM '14, Orlando, FL, USA, November 03, 2014

A Call to Arms for Management Plane Analytics.

[BibT_eX]

[DOI]

Aditya Akella

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

2013

The case for psychological computing.

[BibT_eX]

[DOI]

Proceedings of the 14th Workshop on Mobile Computing Systems and Applications, 2013

Timecard: controlling user-perceived delays in server-based mobile applications.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

HomeLab: a platform for conducting experiments with connected devices in the home.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2013 Conference, 2013

Achieving high utilization with software-driven WAN.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2013 Conference, 2013

A provider-side view of web search response time.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2013 Conference, 2013

Lab of things: a platform for conducting studies with connected devices in multiple homes.

[BibT_eX]

[DOI]

Proceedings of the 2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2013

On consistent updates in software defined networks.

[BibT_eX]

[DOI]

Roger Wattenhofer

Proceedings of the Twelfth ACM Workshop on Hot Topics in Networks, 2013

Digital neighborhood watch: investigating the sharing of camera data amongst neighbors.

[BibT_eX]

[DOI]

Proceedings of the Computer Supported Cooperative Work, 2013

2012

High Performance Vehicular Connectivity with Opportunistic Erasure Coding.

[BibT_eX]

[DOI]

Proceedings of the 2012 USENIX Annual Technical Conference, 2012

Augmenting homes with custom devices using .NET Gadgeteer and HomeOS.

[BibT_eX]

[DOI]

James Scott

A. J. Bernheim Brush

Proceedings of the BuildSys '12 Proceedings of the Fourth ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings, 2012

AppInsight: Mobile App Performance Monitoring in the Wild.

[BibT_eX]

[DOI]

Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, 2012

An Operating System for the Home.

[BibT_eX]

[DOI]

Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation, 2012

HomeLab: shared infrastructure for home technology field studies.

[BibT_eX]

[DOI]

Proceedings of the 2012 ACM Conference on Ubiquitous Computing, 2012

2011

Advancing the state of home networking.

[BibT_eX]

[DOI]

Commun. ACM, 2011

Finding protocol manipulation attacks.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2011 Conference on Applications, 2011

SystemSens: a tool for monitoring usage in smartphone research deployments.

[BibT_eX]

[DOI]

Hossein Falaki

Deborah Estrin

Proceedings of the sixth international workshop on MobiArch, MobiArch '11, Bethesda, 2011

Latency inflation with MPLS-based traffic engineering.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM SIGCOMM Internet Measurement Conference, 2011

Human-Guided Machine Learning for Fast and Accurate Network Alarm Triage.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Home automation in the wild: challenges and opportunities.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Human Factors in Computing Systems, 2011

CueT: human-guided fast and accurate network alarm triage.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Human Factors in Computing Systems, 2011

2010

How to build a research system in your spare time.

[BibT_eX]

[DOI]

Comput. Commun. Rev., 2010

Differentially-private network trace analysis.

[BibT_eX]

[DOI]

Frank McSherry

Proceedings of the ACM SIGCOMM 2010 Conference on Applications, 2010

Optimizing Cost and Performance in Online Service Provider Networks.

[BibT_eX]

[DOI]

Proceedings of the 7th USENIX Symposium on Networked Systems Design and Implementation, 2010

Glasnost: Enabling End Users to Detect Traffic Differentiation.

[BibT_eX]

[DOI]

Proceedings of the 7th USENIX Symposium on Networked Systems Design and Implementation, 2010

Diversity in smartphone usage.

[BibT_eX]

[DOI]

Hossein Falaki

Srikanth Kandula

Dimitrios Lymberopoulos

Ramesh Govindan

Deborah Estrin

Proceedings of the 8th International Conference on Mobile Systems, 2010

Augmenting mobile 3G using WiFi.

[BibT_eX]

[DOI]

Aruna Balasubramanian

Arun Venkataramani

Proceedings of the 8th International Conference on Mobile Systems, 2010

A first look at traffic on smartphones.

[BibT_eX]

[DOI]

Hossein Falaki

Dimitrios Lymberopoulos

Srikanth Kandula

Deborah Estrin

Proceedings of the 10th ACM SIGCOMM Internet Measurement Conference, 2010

NetClinic: Interactive visualization to enhance automated fault diagnosis in enterprise networks.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE Conference on Visual Analytics Science and Technology, 2010

The home needs an operating system (and an app store).

[BibT_eX]

[DOI]

Proceedings of the 9th ACM Workshop on Hot Topics in Networks. HotNets 2010, Monterey, CA, USA - October 20, 2010

Diagnosing mobile applications in the wild.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM Workshop on Hot Topics in Networks. HotNets 2010, Monterey, CA, USA - October 20, 2010

2009

Using redundancy to enable interactive communication for moving vehicles.

[BibT_eX]

[DOI]

Proceedings of the 7th International Symposium on Modeling and Optimization in Mobile, 2009

Detailed diagnosis in enterprise networks.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2009 Conference on Applications, 2009

Sampling biases in network path measurements and what to do about it.

[BibT_eX]

[DOI]

Srikanth Kandula

Proceedings of the 9th ACM SIGCOMM Internet Measurement Conference, IMC 2009, Chicago, 2009

2008

Predictable performance optimization for wireless networks.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2008 Conference on Applications, 2008

A case for adapting channel width in wireless networks.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2008 Conference on Applications, 2008

Interactive wifi connectivity for moving vehicles.

[BibT_eX]

[DOI]

Aruna Balasubramanian

Proceedings of the ACM SIGCOMM 2008 Conference on Applications, 2008

Uncovering Performance Differences Among Backbone ISPs with Netdiff .

[BibT_eX]

[DOI]

Proceedings of the 5th USENIX Symposium on Networked Systems Design & Implementation, 2008

Can You Fool Me? Towards Automatically Checking Protocol Gullibility.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM Workshop on Hot Topics in Networks, 2008

Eat All You Can in an All-you-can-eat Buffet: A Case for Aggressive Resource Usage.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM Workshop on Hot Topics in Networks, 2008

2007

Joint workshop on the economics of networked systems and incentive-based computing.

[BibT_eX]

[DOI]

Daniel Grosu

Rahul Sami

Proceedings of the Proceedings 8th ACM Conference on Electronic Commerce (EC-2007), 2007

Mutually Controlled Routing with Independent ISPs.

[BibT_eX]

[DOI]

Proceedings of the 4th Symposium on Networked Systems Design and Implementation (NSDI 2007), 2007

A general model of wireless interference.

[BibT_eX]

[DOI]

Proceedings of the 13th Annual International Conference on Mobile Computing and Networking, 2007

Understanding wifi-based connectivity from moving vehicles.

[BibT_eX]

[DOI]

John Zahorjan

Brian Zill

Proceedings of the 7th ACM SIGCOMM Internet Measurement Conference, 2007

Effects of Interference on Wireless Mesh Networks: Pathologies and a Preliminary Solution.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM Workshop on Hot Topics in Networks, 2007

2006

Measurement-based models of delivery and interference in static wireless networks.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2006 Conference on Applications, 2006

Analyzing the MAC-level behavior of wireless networks in the wild.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2006 Conference on Applications, 2006

2005

Measurement-based characterization of 802.11 in a hotspot setting.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM SIGCOMM Workshop on Experimental Approaches to Wireless Network Design and Analysis, 2005

Negotiation-Based Routing Between Neighboring ISPs.

[BibT_eX]

[DOI]

Proceedings of the 2nd Symposium on Networked Systems Design and Implementation (NSDI 2005), 2005

Sustaining Cooperation in Multi-hop Wireless Networks.

[BibT_eX]

[DOI]

Proceedings of the 2nd Symposium on Networked Systems Design and Implementation (NSDI 2005), 2005

2004

Measuring ISP topologies with rocketfuel.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 2004

2003

A Study of the Performance Potential of DHT-based Overlays.

[BibT_eX]

[DOI]

Sushant Jain

Proceedings of the 4th USENIX Symposium on Internet Technologies and Systems, 2003

User-level internet path diagnosis.

[BibT_eX]

[DOI]

Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, 2003

The causes of path inflation.

[BibT_eX]

[DOI]

Neil T. Spring

Proceedings of the ACM SIGCOMM 2003 Conference on Applications, 2003

Controlling the Cost of Reliability in Peer-to-Peer Overlays.

[BibT_eX]

[DOI]

Miguel Castro

Antony I. T. Rowstron

Proceedings of the Peer-to-Peer Systems II, Second International Workshop, 2003

2002

Controlling high bandwidth aggregates in the network.

[BibT_eX]

[DOI]

Comput. Commun. Rev., 2002

Aggregate congestion control.

[BibT_eX]

[DOI]

Comput. Commun. Rev., 2002

Translating XSLT programs to Efficient SQL queries.

[BibT_eX]

[DOI]

Sushant Jain

Dan Suciu

Proceedings of the Eleventh International World Wide Web Conference, 2002

Measuring ISP topologies with rocketfuel.

[BibT_eX]

[DOI]

Neil T. Spring

Proceedings of the ACM SIGCOMM 2002 Conference on Applications, 2002

Understanding BGP misconfiguration.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM 2002 Conference on Applications, 2002

Inferring link weights using end-to-end measurements.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM SIGCOMM Internet Measurement Workshop, 2002

2001

Controlling High-Bandwidth Flows at the Congested Router.

[BibT_eX]

[DOI]

Sally Floyd