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:


Contact: Alexander D Renda,

Relevant URL:

Speaker URL:

Speaker Photo:

Reminders to:

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


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.


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.

*Link to paper*:


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.