Mina Tahmasbi Arashloo
Cheriton School of Computer Science, University of Waterloo
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, 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.
Personal: My other half, Sepehr Assadi, does theoretical computer science at Rutgers University.
Prospective Students: I am looking for highly-motivated students to join my lab! If you are interested in working with me, send me an email and make sure to list my name as a potential advisor in your application.
Formal Methods for Network Performance Analysis
Mina Tahmasbi Arashloo, Ryan Beckett, Rachit Agarwal
dcPIM: Near-Optimal Proactive Datacenter Transport
Qizhe Cai, Mina Tahmasbi Arashloo, Rachit Agarwal
- Modular Switch Programming under Resource Constraints NSDI 2022
- Towards Formally Verifying Congestion Control Behavior SIGCOMM 2021
DBVal: Validating P4 Data Plane Runtime Behavior
K Shiv Kumar, Ranjitha K, P S Prashanth, Mina Tahmasbi Arashloo, Venkanna U., Praveen Tammana
- Petr4: Formal Foundations for P4 Data Planes POPL 2021
- Elastic Switch Programming with P4All HotNets 2020
- Enabling Programmable Transport Protocols in High-Speed NICs NSDI 2020
Tracking P4 Program Execution Path in the Data Plane
Best Paper Award
Stateful Programming of High-Speed Network Hardware
PhD Dissertation, June 2019
ACM SIGCOMM Dissertation AwardMina Tahmasbi Arashloo
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
- HotCocoa: Hardware Congestion Control Abstraction HotNets 2017
- SNAP: Stateful Network-wide Abstractions for Packet Processing SIGCOMM 2016
- Compiling Path Queries NSDI 2016
Selected Awards and Recognition
- Rising Stars in Networking and Communication by N2Women (2021)
- ACM SIGCOMM Dissertation Award (2019)
- Cornell Presidential Post-Doctoral Fellow (2019 - present)
- 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)
- Symposium on SDN Research (SOSR) (2022)
- The N2Women Workshop at SIGCOMM (2022)
Program Committee Member
- 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)
- Conferences: ACM CCS (2021), ASPLOS (External Review Committee, 2020), INFOCOM (2017)
- Selected Journals: ACM SIGCOMM CCR, IEEE Transactions on Networking (TON), IEEE Transactions on Very Large Scale Integration Systems (TVLSI)