2026-09-23T12:17:48Zhttps://dspace.mit.edu/server/oai/requestoai:dspace.mit.edu:1721.1/1006822026-06-06T00:48:40Zcom_1721.1_7582com_1721.1_7581col_1721.1_131023
Hari Balakrishnan.
Thaker, Pratiksha Ranjit
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science.
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
2016-01-04T20:53:02Z
2016-01-04T20:53:02Z
2015
2015
http://hdl.handle.net/1721.1/100682
932696947
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).
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.
by Pratiksha Ranjit Thaker.
M.Eng.
53 pages
eng
Massachusetts Institute of Technology
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.
http://dspace.mit.edu/handle/1721.1/7582
Electrical Engineering and Computer Science.
Investigations into the robustness of computer-synthesized congestion control
Thesis
application/pdf
false
Publication
unknown
unknown
<Publication xmlns="https://www.openaire.eu/cerif-profile/1.1/" id="0a2c5588-dcb5-449a-8159-1a241a3abbe9">
<Type xmlns="https://www.openaire.eu/cerif-profile/vocab/COAR_Publication_Types">http://purl.org/coar/resource_type/c_1843</Type>
<Language>eng</Language>
<Title>Investigations into the robustness of computer-synthesized congestion control</Title>
<PublishedIn>
<Publication>
</Publication>
</PublishedIn>
<PublicationDate>2015</PublicationDate>
<Authors>
<Author>
<DisplayName>Thaker, Pratiksha Ranjit</DisplayName>
<Affiliation>
<OrgUnit>
</OrgUnit>
</Affiliation>
</Author>
</Authors>
<Editors>
</Editors>
<Publishers>
<Publisher>
<DisplayName>Massachusetts Institute of Technology</DisplayName>
<OrgUnit />
</Publisher>
</Publishers>
<License>http://dspace.mit.edu/handle/1721.1/7582</License>
<Keyword>Electrical Engineering and Computer Science.</Keyword>
<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>
<Access xmlns="http://purl.org/coar/access_right"
>
</Access>
</Publication>