Toward formally verifying congestion control behavior-Reference-Cited by-同舟云学术

Toward formally verifying congestion control behavior

Published:2021-08-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2021 ACM SIGCOMM 2021 Conference
language:
Short-container-title:

Author:

Arun Venkat¹,Arashloo Mina Tahmasbi²,Saeed Ahmed¹,Alizadeh Mohammad¹,Balakrishnan Hari¹

Affiliation:

1. MIT CSAIL

2. Cornell

Funder

Cisco Systems

NSF (National Science Foundation)

Microsoft

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3452296.3472912

Reference52 articles.

1. [n.d.]. The Linux netem network emulator. https://www.linux.org/docs/man8/tc-netem.html. [n.d.]. The Linux netem network emulator. https://www.linux.org/docs/man8/tc-netem.html.

2. [n.d.]. The ns-2 simulator. https://isi.edu/nsnam/ns/. [n.d.]. The ns-2 simulator. https://isi.edu/nsnam/ns/.

3. [n.d.]. The ns-3 simulator. https://nsnam.org/. [n.d.]. The ns-3 simulator. https://nsnam.org/.

4. Soheil Abbasloo Chen-Yu Yen and H Jonathan Chao. 2020. Classic meets modern: A pragmatic learning-based congestion control for the Internet. In ACM SIGCOMM. 632--647. Soheil Abbasloo Chen-Yu Yen and H Jonathan Chao. 2020. Classic meets modern: A pragmatic learning-based congestion control for the Internet. In ACM SIGCOMM . 632--647.

5. Mohammad Alizadeh Albert Greenberg David A Maltz Jitendra Padhye Parveen Patel Balaji Prabhakar Sudipta Sengupta and Murari Sridharan. 2010. Data Center TCP (DCTCP). In ACM SIGCOMM. 63--74. Mohammad Alizadeh Albert Greenberg David A Maltz Jitendra Padhye Parveen Patel Balaji Prabhakar Sudipta Sengupta and Murari Sridharan. 2010. Data Center TCP (DCTCP). In ACM SIGCOMM . 63--74.

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Dragonfly: In-Flight CCA Identification;IEEE Transactions on Network and Service Management;2024-06

2. Specifying and Verifying a Real-World Packet Error-Correction System;Lecture Notes in Computer Science;2024

3. Harnessing ML For Network Protocol Assessment;Proceedings of the 22nd ACM Workshop on Hot Topics in Networks;2023-11-28

4. Towards Integrating Formal Methods into ML-Based Systems for Networking;Proceedings of the 22nd ACM Workshop on Hot Topics in Networks;2023-11-28

5. Efficient Verification of Timing-Related Network Functions in High-Speed Hardware;IEEE INFOCOM 2023 - IEEE Conference on Computer Communications;2023-05-17