Mina Tahmasbi Arashloo

According to our database, Mina Tahmasbi Arashloo authored at least 15 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Buffy: A Formal Language-Based Framework for Network Performance Analysis.

Amir Seyhani, Junyi Zhao, Aarti Gupta, David Walker, Mina Tahmasbi Arashloo

Proceedings of the 23rd ACM Workshop on Hot Topics in Networks, 2024

2023

Formal Methods for Network Performance Analysis.

Mina Tahmasbi Arashloo, Ryan Beckett, Rachit Agarwal

Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 2023

2022

dcPIM: near-optimal proactive datacenter transport.

Qizhe Cai, Mina Tahmasbi Arashloo, Rachit Agarwal

Proceedings of the SIGCOMM '22: ACM SIGCOMM 2022 Conference, Amsterdam, The Netherlands, August 22, 2022

Modular Switch Programming Under Resource Constraints.

Mary Hogan, Shir Landau Feibish, Mina Tahmasbi Arashloo, Jennifer Rexford, David Walker

Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, 2022

2021

Petr4: formal foundations for p4 data planes.

Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, Nate Foster

Proc. ACM Program. Lang., 2021

DBVal: Validating P4 Data Plane Runtime Behavior.

K. Shiv Kumar, Ranjitha K., P. S. Prashanth, Mina Tahmasbi Arashloo, Venkanna U., Praveen Tammana

Proceedings of the SOSR '21: The ACM SIGCOMM Symposium on SDN Research, Virtual Event, USA, October 11, 2021

Toward formally verifying congestion control behavior.

Venkat Arun, Mina Tahmasbi Arashloo, Ahmed Saeed, Mohammad Alizadeh, Hari Balakrishnan

Proceedings of the ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., 2021

2020

Tracking P4 Program Execution in the Data Plane.

Suriya Kodeswaran, Mina Tahmasbi Arashloo, Praveen Tammana, Jennifer Rexford

Proceedings of the SOSR '20: Symposium on SDN Research, San Jose, CA, USA, March 3, 2020, 2020

Enabling Programmable Transport Protocols in High-Speed NICs.

Mina Tahmasbi Arashloo, Alexey Lavrov, Manya Ghobadi, Jennifer Rexford, David Walker, David Wentzlaff

Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

Elastic Switch Programming with P4All.

Mary Hogan, Shir Landau Feibish, Mina Tahmasbi Arashloo, Jennifer Rexford, David Walker, Rob Harrison

Proceedings of the HotNets '20: The 19th ACM Workshop on Hot Topics in Networks, 2020

2019

Stateful Programming of High-Speed Network Hardware

Mina Tahmasbi Arashloo

PhD thesis, 2019

2018

A Scalable VPN Gateway for Multi-Tenant Cloud Services.

Mina Tahmasbi Arashloo, Pavel Shirshov, Rohan Gandhi, Guohan Lu, Lihua Yuan, Jennifer Rexford

Comput. Commun. Rev., 2018

2017

HotCocoa: Hardware Congestion Control Abstractions.

Mina Tahmasbi Arashloo, Monia Ghobadi, Jennifer Rexford, David Walker

Proceedings of the 16th ACM Workshop on Hot Topics in Networks, Palo Alto, CA, USA, 2017

2016

SNAP: Stateful Network-Wide Abstractions for Packet Processing.

Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg, Jennifer Rexford, David Walker

Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

Compiling Path Queries.

Srinivas Narayana, Mina Tahmasbi, Jennifer Rexford, David Walker

Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, 2016