Compiling Path Queries. - Srinivas Narayana; Mina Tahmasbi; Jennifer Rexford; David Walker 001 (NSDI, 2016)

SNAP: Stateful Network-Wide Abstractions for Packet Processing. - Mina Tahmasbi Arashloo; Yaron Koral; Michael Greenberg 002; Jennifer Rexford; David Walker 001 (SIGCOMM, 2016)

HotCocoa: Hardware Congestion Control Abstractions. - Mina Tahmasbi Arashloo; Monia Ghobadi; Jennifer Rexford; David Walker 001 (HotNets, 2017)

A Scalable VPN Gateway for Multi-Tenant Cloud Services. - Mina Tahmasbi Arashloo; Pavel Shirshov; Rohan Gandhi; Guohan Lu; Lihua Yuan; Jennifer Rexford (Comput. Commun. Rev., 2018)

Stateful Programming of High-Speed Network Hardware - Mina Tahmasbi Arashloo (2019)

Elastic Switch Programming with P4All. - Mary Hogan; Shir Landau Feibish; Mina Tahmasbi Arashloo; Jennifer Rexford; David Walker 001; Rob Harrison (HotNets, 2020)

Enabling Programmable Transport Protocols in High-Speed NICs. - Mina Tahmasbi Arashloo; Alexey Lavrov; Manya Ghobadi; Jennifer Rexford; David Walker 001; David Wentzlaff (NSDI, 2020)

Tracking P4 Program Execution in the Data Plane. - Suriya Kodeswaran; Mina Tahmasbi Arashloo; Praveen Tammana; Jennifer Rexford (SOSR, 2020)

Toward formally verifying congestion control behavior. - Venkat Arun; Mina Tahmasbi Arashloo; Ahmed Saeed 001; Mohammad Alizadeh; Hari Balakrishnan (SIGCOMM, 2021)

DBVal: Validating P4 Data Plane Runtime Behavior. - K. Shiv Kumar; Ranjitha K.; P. S. Prashanth; Mina Tahmasbi Arashloo; Venkanna U. 001; Praveen Tammana (SOSR, 2021)

Petr4: formal foundations for p4 data planes. - Ryan Doenges; Mina Tahmasbi Arashloo; Santiago Bautista; Alexander Chang; Newton Ni; Samwise Parkinson; Rudy Peterson; Alaia Solko-Breslin; Amanda Xu; Nate Foster (Proc. ACM Program. Lang., 2021)

Modular Switch Programming Under Resource Constraints. - Mary Hogan; Shir Landau Feibish; Mina Tahmasbi Arashloo; Jennifer Rexford; David Walker 001 (NSDI, 2022)

dcPIM: near-optimal proactive datacenter transport. - Qizhe Cai; Mina Tahmasbi Arashloo; Rachit Agarwal 001 (SIGCOMM, 2022)

Formal Methods for Network Performance Analysis. - Mina Tahmasbi Arashloo; Ryan Beckett; Rachit Agarwal 001 (NSDI, 2023)