Computer Science Speaking Skills Talk May 5, 2023 12:00pm — 1:00pm Location: In Person - Gates Hillman 8102 Speaker: MARGARIDA FERREIRA, Ph.D. Student, Computer Science Department, Carnegie Mellon University https://marghrid.github.io/ Congestion Control Algorithms (CCAs) impact numerous desirable Internet properties such as performance, stability, and fairness. Hence, the networking community invests substantial effort into studying whether new algorithms are safe for wide-scale deployment. As new applications arise, operators are continuously innovating, and proprietary CCAs are becoming increasingly prevalent on the Internet, it is becoming harder to analyze them to gain insights into their interactions with other network elements. In this talk, I will explain how we use techniques from program synthesis to reverse-engineer CCAs from observed traces of their behavior. We developed a synthesis pipeline, Abagnale, that helps users automate the reverse-engineering task. By limiting the output with a Domain-Specific Language (DSL), using partial searches of the output space to inform future search, and accepting approximate answers, we find success in reverse-engineering implementations of well-known CCAs as well as those from a dataset of student-written CCAs from a graduate networking class. Presented as part of the PLunch Series Presented in Partial Fulfillment of the CSD Speaking Skills Requirement Add event to Google Add event to iCal