{"id":{"repo_id":"mit","oai_identifier":"oai:dspace.mit.edu:1721.1/100682"},"canonical_url":"https://search.dev.ndltd.org/etd/mit/oai:dspace.mit.edu:1721.1/100682","repository":{"repo_id":"mit","name":"MIT","base_url":"https://dspace.mit.edu/oai/request"},"display":{"title":"Investigations into the robustness of computer-synthesized congestion control","abstract":"Recent work has shown that computer-synthesized TCP congestion control protocols can outperform the state of the art. However, these protocols are generally too complex to reason about. Human engineers therefore might not trust them enough to deploy them in real networks. This thesis presents two contributions toward the practical deployment of computer-synthesized congestion-control algorithms. First, we describe a simple, human-designed protocol that performs comparably to computer-optimized protocols using only 10 lines of code, suggesting that it may be feasible to optimize for interpretability in addition to performance. Second, we introduce techniques for reasoning about the behavior of black-box protocols via extensive simulation, which reveal regions of potentially undesirable behavior in both computer-optimized protocols and a NewReno-like TCP implementation, highlighting areas to focus further engineering effort.","abstract_html":"Recent work has shown that computer-synthesized TCP congestion control protocols can outperform the state of the art. However, these protocols are generally too complex to reason about. Human engineers therefore might not trust them enough to deploy them in real networks. This thesis presents two contributions toward the practical deployment of computer-synthesized congestion-control algorithms. First, we describe a simple, human-designed protocol that performs comparably to computer-optimized protocols using only 10 lines of code, suggesting that it may be feasible to optimize for interpretability in addition to performance. Second, we introduce techniques for reasoning about the behavior of black-box protocols via extensive simulation, which reveal regions of potentially undesirable behavior in both computer-optimized protocols and a NewReno-like TCP implementation, highlighting areas to focus further engineering effort.","abstract_has_math":false,"creators":["Thaker, Pratiksha Ranjit"],"institution":"Massachusetts Institute of Technology","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":"Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science.","school":null,"contributors":[],"advisors":["Hari Balakrishnan."],"committee_chairs":[],"committee_members":[],"year":2015,"date_issued":"2015","date_published":"2015","updated_at":"2026-07-22T22:20:49Z","subjects":["Electrical Engineering and Computer Science."],"languages":["eng"],"rights":["M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission."],"rights_urls":["http://dspace.mit.edu/handle/1721.1/7582"],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/1721.1/100682","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Hari Balakrishnan."]},{"key":"dc:contributor.department","label":"Department","values":["Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science."]},{"key":"dc:contributor.other","label":"Dc Contributor Other","values":["Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science."]},{"key":"dc:creator","label":"Author","values":["Thaker, Pratiksha Ranjit"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2016-01-04T20:53:02Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2016-01-04T20:53:02Z"]},{"key":"dc:date.issued","label":"Date","values":["2015"]},{"key":"dc:publisher","label":"Institution","values":["Massachusetts Institute of Technology"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Electrical Engineering and Computer Science."]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission."]},{"key":"dc:rights.uri","label":"Rights URI","values":["http://dspace.mit.edu/handle/1721.1/7582"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://hdl.handle.net/1721.1/100682"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2015.","Cataloged from PDF version of thesis.","Includes bibliographical references (pages 51-53)."]},{"key":"dc:description.abstract","label":"Abstract","values":["Recent work has shown that computer-synthesized TCP congestion control protocols can outperform the state of the art. However, these protocols are generally too complex to reason about. Human engineers therefore might not trust them enough to deploy them in real networks. This thesis presents two contributions toward the practical deployment of computer-synthesized congestion-control algorithms. First, we describe a simple, human-designed protocol that performs comparably to computer-optimized protocols using only 10 lines of code, suggesting that it may be feasible to optimize for interpretability in addition to performance. Second, we introduce techniques for reasoning about the behavior of black-box protocols via extensive simulation, which reveal regions of potentially undesirable behavior in both computer-optimized protocols and a NewReno-like TCP implementation, highlighting areas to focus further engineering effort."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["M. Eng."]},{"key":"dc:title","label":"Title","values":["Investigations into the robustness of computer-synthesized congestion control"]}]}],"canonical_facts":{"dc:contributor.advisor":["Hari Balakrishnan."],"dc:contributor.department":["Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science."],"dc:contributor.other":["Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science."],"dc:creator":["Thaker, Pratiksha Ranjit"],"dc:date.accessioned":["2016-01-04T20:53:02Z"],"dc:date.available":["2016-01-04T20:53:02Z"],"dc:date.issued":["2015"],"dc:description":["Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2015.","Cataloged from PDF version of thesis.","Includes bibliographical references (pages 51-53)."],"dc:description.abstract":["Recent work has shown that computer-synthesized TCP congestion control protocols can outperform the state of the art. However, these protocols are generally too complex to reason about. Human engineers therefore might not trust them enough to deploy them in real networks. This thesis presents two contributions toward the practical deployment of computer-synthesized congestion-control algorithms. First, we describe a simple, human-designed protocol that performs comparably to computer-optimized protocols using only 10 lines of code, suggesting that it may be feasible to optimize for interpretability in addition to performance. Second, we introduce techniques for reasoning about the behavior of black-box protocols via extensive simulation, which reveal regions of potentially undesirable behavior in both computer-optimized protocols and a NewReno-like TCP implementation, highlighting areas to focus further engineering effort."],"dc:description.degree":["M. Eng."],"dc:identifier.uri":["http://hdl.handle.net/1721.1/100682"],"dc:language.iso":["eng"],"dc:publisher":["Massachusetts Institute of Technology"],"dc:rights":["M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission."],"dc:rights.uri":["http://dspace.mit.edu/handle/1721.1/7582"],"dc:subject":["Electrical Engineering and Computer Science."],"dc:title":["Investigations into the robustness of computer-synthesized congestion control"],"dc:type":["Thesis"]},"updated_at":"2026-07-22T22:20:49Z"}