Mina Tahmasbi Arashloo

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 13

Top Topics

Novice Programmers

Resource Constraints

Top Venues

Publications

Mina Tahmasbi Arashloo, Ryan Beckett, Rachit Agarwal
Formal Methods for Network Performance Analysis. NSDI (2023)
Mary Hogan, Shir Landau Feibish, Mina Tahmasbi Arashloo, Jennifer Rexford, David Walker
Modular Switch Programming Under Resource Constraints. NSDI (2022)
Qizhe Cai, Mina Tahmasbi Arashloo, Rachit Agarwal
dcPIM: near-optimal proactive datacenter transport. SIGCOMM (2022)
K. Shiv Kumar, Ranjitha K, P. S. Prashanth, Mina Tahmasbi Arashloo, Venkanna U., Praveen Tammana
DBVal: Validating P4 Data Plane Runtime Behavior. SOSR (2021)
Venkat Arun, Mina Tahmasbi Arashloo, Ahmed Saeed, Mohammad Alizadeh, Hari Balakrishnan
Toward formally verifying congestion control behavior. SIGCOMM (2021)
Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, Nate Foster
Petr4: formal foundations for p4 data planes. Proc. ACM Program. Lang. 5 (POPL) (2021)
Suriya Kodeswaran, Mina Tahmasbi Arashloo, Praveen Tammana, Jennifer Rexford
Tracking P4 Program Execution in the Data Plane. SOSR (2020)
Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, Nate Foster
Petr4: Formal Foundations for P4 Data Planes. CoRR (2020)
Mary Hogan, Shir Landau Feibish, Mina Tahmasbi Arashloo, Jennifer Rexford, David Walker, Rob Harrison
Elastic Switch Programming with P4All. HotNets (2020)
Mina Tahmasbi Arashloo, Alexey Lavrov, Manya Ghobadi, Jennifer Rexford, David Walker, David Wentzlaff
Enabling Programmable Transport Protocols in High-Speed NICs. NSDI (2020)
Mina Tahmasbi Arashloo, Pavel Shirshov, Rohan Gandhi, Guohan Lu, Lihua Yuan, Jennifer Rexford
A Scalable VPN Gateway for Multi-Tenant Cloud Services. Comput. Commun. Rev. 48 (1) (2018)
Mina Tahmasbi Arashloo, Monia Ghobadi, Jennifer Rexford, David Walker
HotCocoa: Hardware Congestion Control Abstractions. HotNets (2017)
Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg, Jennifer Rexford, David Walker
SNAP: Stateful Network-Wide Abstractions for Packet Processing. SIGCOMM (2016)
Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg, Jennifer Rexford, David Walker
SNAP: Stateful Network-Wide Abstractions for Packet Processing. CoRR (2015)