Anshuman Mohan: "Formal Abstractions for Packet Scheduling"

Speaker: Anshuman Mohan , Cornell University

Date: Wednesday, November 22, 2023

Time: 11:00 AM to 12:00 PM Note: all times are in the Eastern Time Zone

Public: Yes

Location: Seminar Room D463 (Star)

Event Type: Seminar

Room Description:

Host:

Contact: Alexander D Renda, renda@csail.mit.edu

Relevant URL:

Speaker URL: https://www.cs.cornell.edu/~amohan/

Speaker Photo:
None

Reminders to: seminars@csail.mit.edu

Reminder Subject: TALK: Anshuman Mohan: "Formal Abstractions for Packet Scheduling"

*Abstract*

Early programming models for software-defined networking (SDN) focused on basic features for controlling network-wide forwarding paths, but more recent work has considered richer features, such as packet scheduling and queueing, that affect performance. In particular, PIFO trees, proposed by Sivaraman et al., offer a flexible and efficient primitive for programmable packet scheduling. However, the semantic properties of PIFO trees are not well understood.
This work studies PIFO trees from a programming language perspective. We formalize the syntax and semantics of PIFO trees in an operational model that decouples the scheduling policy running on a tree from the topology of the tree. Building on this formalization, we develop compilation algorithms that allow the behavior of a PIFO tree written against one topology to be realized using a tree with a different topology. This is especially exciting because it opens the doors to real hardware deployment: switch manufacturers can bake some single tree topology into their devices, and yet allow network administrators to program their schedulers against a range of tree topologies.

*Bio*:

Anshuman Mohan is a third-year PhD student at Cornell. His research is in programming languages, and he enjoys applying PL techniques to challenges in computer systems. https://www.cs.cornell.edu/~amohan/

*Link to paper*: https://dl.acm.org/doi/10.1145/3622845

*Zoom*: https://mit.zoom.us/j/94354302263

Research Areas:

Impact Areas:

This event is not part of a series.

Created by Alexander D Renda Email at Thursday, October 26, 2023 at 11:20 AM.