Mina Tahmasbi Arashloo
Assistant Professor
Canada Research Chair in Minimizing Human Error in Modern Networks
Cheriton School of Computer Science, University of Waterloo
Email: mina (dot) arashloo (at) uwaterloo.ca
Office: DC 3510
CV (last updated May 2026)
I am an assistant professor at the Cheriton School of Computer Science at University of Waterloo and a Canada Research Chair in "Minimizing Human Error in Modern Networks".
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.
News (scroll for more)
May 2026
Kimiya's work on PITA, a protocol-independent hardware architecture for the transport layer, is now available on arXiv.
March 2026
Mohammad's work on analyzing DRL agents in systems and networking will appear at SIGMETRICS 2026.
January 2026
Beihao received an honorable mention for the CRA Outstanding Undergraduate Researcher Award!
December 2025
Amir's work on formal analysis of network contention points will appear at NSDI 2026.
December 2025
Niloy's work on SLA-aware network slice monitoring will appear at SIGMETRICS 2026.
October 2025
I gave the keynote at the P4 workshop on high-level and target-agnostic transport programs.
October 2025
I gave a systems seminar at UC Berkeley on high-level and target-agnostic transport programs.
June 2025
Beihao's work on an eBPF-accelerated pub-sub broker will appear at SIGCOMM 2025's eBPF Workshop.
June 2025
Kimiya was awarded a Mitacs Accelerate with AMD.
June 2025
I gave a keynote at IEEE NetSoft on efficient abstractions for network quality of service.
February 2025
I gave a colloquium talk at University of Windsor on automated proactive analysis of network performance.
September 2024
Amir's work on language-based abstractions for network performance analysis will appear at HotNets 2024.
April 2024
I was awarded a Tier 2 Canada Research Chair in Minimizing Human Error in Operating Modern Networks.
April 2024
I gave a talk on logic-based analysis of network performance at the Dagstuhl Seminar on Network Calculus.
May 2023
I gave a (virtual) talk on formal methods for network performance analysis at ETH Zurich.
May 2023
I gave a (virtual) talk on formal methods for network performance analysis at HP Labs.
April 2023
I served as the Technical Program Committee Chair for the P4 Workshop 2023.
June 2023
Mohammad's early work on analyzing DRL agents in systems and networking will appear at the WFVML workshop at ICML 2023.
April 2023
I received an NSERC Discovery Grant and Early Career Supplement.
December 2022
Our work on using formal methods for analyzing network performance will appear at NSDI 2023.
Teaching
Winter 2026:
All:
- CS 456/656: Computer Networks: [Fall 2025][Fall 2024][Fall 2023]
- CS 856: Programmable Networks: [Winter 2025][Winter 2024][Winter 2023]
Advising and Mentoring
I am very fortunate to work with the following students:
Current Students:
Other students I work(ed) closely with:
Alumni:
Current Students:
- Nesa Abbasimoghadamniasar (MMath @ UWaterloo)
- Amir Seyhani (PhD @ UWaterloo)
- Kimiya Mohammadtaheri (MMath → PhD @ UWaterloo)
- Pedro Mizuno (MMath → PhD @ UWaterloo)
- Beihao Zhou (Undergraduate @ UWaterloo)
Other students I work(ed) closely with:
- Tyler Liu (PhD @ UWaterloo)
- Niloy Saha (PhD @ UWaterloo)
- Mohammad Zangooei (PhD @ UWaterloo)
- Jamie Kai (Undergraduate → Master's @ UBC)
- Pradhyumnan Varadhan (Undergraduate @ UBC)
Alumni:
- Linfan Qian (Undergraduate @ UWaterloo → MS @ Stanford)
- Crystal Zhou (Undergraduate @ UWaterloo → MEng @ Cornell Tech)
- Carol Duan (Undergraduate @ UWaterloo → Google)
Papers
-
A Protocol-Independent Transport Architecture
Kimiya Mohammadtaheri, David Gao, Samuel Zhang, Matthew Chen, Eric Su, Pengyu Ji, Saad Syed, Chris Neely, Mario Baldi, Nachiket Kapre, Mina Tahmasbi Arashloo
[Paper] -
High-Level and Target-Agnostic Transport Programs
Pedro Mizuno, Kimiya Mohammadtaheri, Linfan Qian, Joshua Johnson, Danny Akbarzadeh, Chris Neely, Mario Baldi, Nachiket Kapre, Mina Tahmasbi Arashloo
[Paper] -
Count-Based Abstractions for Performance Verification of Contention Points
NSDI 2026
Amir Seyhani, Aarti Gupta, David Walker, Mina Tahmasbi Arashloo
[Paper] -
Analyzing Symbolic Properties for DRL Agents in Systems and Networking
SIGMETRICS 2026
Mohammad Zangooei, Jannis Weil, Amr Rizk, Mina Tahmasbi Arashloo, Raouf Boutaba
[Paper] -
Dynamic SLA-Aware Network Slice Monitoring
SIGMETRICS 2026
Niloy Saha, Mina Tahmasbi Arashloo, Nashid Shahriar, Raouf Boutaba
[Paper] -
Toward eBPF-Accelerated Pub-Sub Systems
SIGCOMM eBPF Workshop 2025
Beihao Zhou, Samer Al-Kiswany, Mina Tahmasbi Arashloo
[Paper] -
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
-
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] -
Stateful Programming of High-Speed Network Hardware
PhD Dissertation, June 2019
ACM SIGCOMM Dissertation AwardMina Tahmasbi Arashloo
[Dissertation]
Preprints
Conferences and Workshops
Thesis & Misc.
Selected Awards and Recognition
- Canada Research Chair in “Minimizing Human Error in Operating Modern Networks” (Tier 2) (2024 - present)
- 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)
Selected Professional Service
-
Program Co-Chair
- P4 Workshop (2023)
- Symposium on SDN Research (SOSR) (2022)
- The N2Women Workshop at SIGCOMM (2022)
-
Organizing Committee
- ACM SIGCOMM Non-Paper Session Co-Chair (2026)
- N2Women Workshop Steering Committee (2025 - Present)
- IEEE CNSM Keynote Co-Chair (2023)
- ACM SIGCOMM Publication Co-Chair (2020)
-
Program Committee Member
- ACM SIGCOMM (2026)
- USENIX NSDI (2026)
- ACM SIGCOMM (2025)
- ACM HotNets (2024)
- 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
- IRTF Applied Networking Research Prize (2025, 2026)
- NSF CNS Panel (2024, 2020)
- NSF CISE Panel (2023)
-
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)