Mina Tahmasbi Arashloo
Post-Doctoral Researcher, Cornell University
I am a post-doctoral researcher at the computer science department of Cornell University, working with Prof. Nate Foster , and Prof. Rachit Agarwal . I received my PhD in computer science from Princeton University , where I was honored to have Prof. Jennifer Rexford as my advisor.
Prior to Princeton, I got my B.Sc degree in Computer Engineering from department of Computer Engineering at
Sharif University of Technology, Iran.
Research Interests: I am primarily interested in networked systems, with a focus on software defined networking (SDN) and programmable data planes . Recently, I have been focusing on how to exploit programmability to create networks that are verifiably robust across the stack, from the protocols themselves down to the switch and network interface card (NIC) hardware that processes packets.

Publications
- Petr4: Formal Foundations for P4 Data Planes POPL 2021
-
Elastic Switch Programming with P4All HotNets 2020
Mary Hogan, Shir Landau-Feibish, Mina Tahmasbi Arashloo, Jennifer Rexford, David Walker, Rob Harrison
[Paper] -
Enabling Programmable Transport Protocols in High-Speed NICs NSDI 2020
Mina Tahmasbi Arashloo, Alexey Lavrov, Manya Ghobadi, Jennifer Rexford, David Walker, David Wentzlaff
[Paper] [NSDI'20 Talk] -
Tracking P4 Program Execution Path in the Data Plane SOSR 2020
Best Paper Award
-
Stateful Programming of High-Speed Network Hardware PhD Dissertation, June 2019
ACM SIGCOMM Dissertation AwardMina Tahmasbi Arashloo
[Dissertation] -
A Scalable VPN Gateway for Multi-Tenant Cloud Services SIGCOMM Computer Communication Review 2018
Mina Tahmasbi Arashloo, Pavel Shirshov, Rohan Gandhi, Guohan Lu, Lihua Yuan, Jennifer Rexford
[Paper] -
HotCocoa: Hardware Congestion Control Abstraction HotNets 2017
Mina Tahmasbi Arashloo, Manya Ghobadi, Jennifer Rexford, David Walker
[Paper] -
SNAP: Stateful Network-wide Abstractions for Packet Processing SIGCOMM 2016
. Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg, Jennifer Rexford, David Walker
[Paper] [Technical Report] - Compiling Path Queries NSDI 2016
Professional Service
-
Program Commitee Member
- ACM SIGCOMM (2020)
- Symposium on SDN Research (SOSR) (2019, 2020)
- Asia-Pacific Workshop on Networking (2020)
- P4 Workshop (2018, 2019)
- EuroP4 Workshop (2020)
-
Other Committees and Panels
- ACM SIGCOMM Publication co-chair (2020)
- NSF CNS Panel (2020)
-
External Reviewer
- Conferences: ASPLOS (External Review Committee, 2020), INFOCOM (2017)
- Selected Journals: IEEE Transactions on Networking (TON), IEEE Transactions on Very Large Scale Integration Systems (TVLSI)