Mina Tahmasbi Arashloo
Assistant Professor
Cheriton School of Computer Science, University of Waterloo
Email: mina (dot) arashloo (at) uwaterloo.ca
Office: DC 3510
CV (last updated May 2024)
I am an assistant professor at the Cheriton School of Computer Science at University of Waterloo.
Before joining Waterloo, I was a Presidential Post-Doctoral Fellow at the computer science department of Cornell University, working with Nate Foster, and Rachit Agarwal.
I received my PhD in computer science from Princeton University, where I was advised by Jennifer Rexford.
I got my B.Sc degree in Computer Engineering from department of Computer Engineering at
Sharif University of Technology.
Research Interests: I am primarily interested in networked systems, with a focus on software defined networking (SDN) and programmable data planes.
I explore how to make networks more robust by developing tools for automated analysis of network functionality, generating correct and efficient implementations on high-speed network hardware, and monitoring for validation purposes at run-time.
Personal: My other half, Sepehr Assadi, does theoretical computer science at University of Waterloo.
Prospective Students: I am looking for highly-motivated students to join my lab! If you are interested in working with me, please make sure to list my name as a potential advisor in your application.
Getting in touch: If you are interested in research positions in our group, please fill out the corresponding google form as described below. Unfortunately, I may not be able to respond to any other types of communication regarding graduate admissions.
Getting in touch: If you are interested in research positions in our group, please fill out the corresponding google form as described below. Unfortunately, I may not be able to respond to any other types of communication regarding graduate admissions.
Teaching
Current:
All:
- CS 456/656: Computer Networks: [Fall 2023]
- CS 856: Programmable Networks: [Winter 2023][Winter 2024]
Publications
-
Buffy: A Formal Language-Based Framework for Network Performance Analysis
HotNets 2024
Amir Seyhani, Junyi Zhao, Aarti Gupta, David Walker, Mina Tahmasbi Arashloo
[Paper] -
Formal Methods for Network Performance Analysis
NSDI 2023
Mina Tahmasbi Arashloo, Ryan Beckett, Rachit Agarwal
[Paper] -
dcPIM: Near-Optimal Proactive Datacenter Transport
SIGCOMM 2022
Qizhe Cai, Mina Tahmasbi Arashloo, Rachit Agarwal
[Paper] -
Modular Switch Programming under Resource Constraints
NSDI 2022
Mary Hogan, Shir Landau-Feibish, Mina Tahmasbi Arashloo, Jennifer Rexford, David Walker
[Paper] [NSDI'22 Talk] -
Towards Formally Verifying Congestion Control Behavior
SIGCOMM 2021
Venkat Arun, Mina Tahmasbi Arashloo, Ahmed Saeed, Mohammad Alizadeh, Hari Balakrishnan
[Paper] [SIGCOMM'21 Talk] -
DBVal: Validating P4 Data Plane Runtime Behavior
SOSR 2021
K Shiv Kumar, Ranjitha K, P S Prashanth, Mina Tahmasbi Arashloo, Venkanna U., Praveen Tammana
[Paper] -
Petr4: Formal Foundations for P4 Data Planes
POPL 2021
Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson,
Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, Nate Foster
[Paper][POPL'21 Talk] -
Elastic Switch Programming with P4All
HotNets 2020
Mary Hogan, Shir Landau-Feibish, Mina Tahmasbi Arashloo, Jennifer Rexford, David Walker, Rob Harrison
[Paper] [HotNets'20 Talk] -
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
-
SNAP: Stateful Network-wide Abstractions for Packet Processing
SIGCOMM 2016
Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg, Jennifer Rexford, David Walker
[Paper] [Technical Report] [SIGCOMM'16 Talk] [Longer Talk at NPI] -
Compiling Path Queries
NSDI 2016
Srinivas Narayana, Mina Tahmasbi Arashloo, Jennifer Rexford, David Walker
[Paper] [Project Website] [NSDI'16 Talk]
2024
2023
2022
2021
2020
2019
2018
2017
2016
Selected Awards and Recognition
- Rising Stars in Networking and Communication by N2Women (2021)
- Cornell Presidential Post-Doctoral Fellow (2019 - 2022)
- ACM SIGCOMM Dissertation Award (2019)
- Siebel Scholar (Class of 2019)
- Rising Stars in EECS at MIT (2018)
- School of Engineering and Applied Sciences (SEAS) Award of Excellence by Princeton University (2017)
Advising
I am very fortunate to work with the following students:
- Amir Seyhani (PhD @ UWaterloo)
- Kimiya Mohammadtaheri (MMath @ UWaterloo)
- Pedro Mizuno (MMath @ UWaterloo)
Professional Service
-
Program Co-Chair
- P4 Workshop (2023)
- Symposium on SDN Research (SOSR) (2022)
- The N2Women Workshop at SIGCOMM (2022)
-
Program Committee Member
- ACM SIGCOMM (2024)
- ACM CoNEXT (2024)
- ACM SIGMETRICS (2024)
- USENIX NSDI (2024)
- USENIX NSDI (2023)
- ACM SoCC (2022)
- ACM HotNets (2021)
- ACM CoNEXT (2021)
- ACM/IEEE ANCS (2021)
- ACM SIGCOMM (2020)
- ACM SIGCOMM Posters and Demos (2020)
- Symposium on SDN Research (SOSR) (2019, 2020, 2021, 2022)
- Asia-Pacific Workshop on Networking (2020, 2022)
- P4 Workshop (2018, 2019, 2021)
- EuroP4 Workshop (2020, 2021)
-
Other Committees and Panels
- ACM SIGCOMM Publication co-chair (2020)
- NSF CNS Panel (2020)
-
External Reviewer
- Conferences: ASPLOS (External Review Committee, 2021), INFOCOM (2017)
- Selected Journals: ACM SIGCOMM CCR, IEEE Transactions on Networking (TON), IEEE Transactions on Very Large Scale Integration Systems (TVLSI)