Mina Tahmasbi Arashloo

According to our database1, Mina Tahmasbi Arashloo authored at least 13 papers between 2016 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Formal Methods for Network Performance Analysis.
Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 2023

2022
dcPIM: near-optimal proactive datacenter transport.
Proceedings of the SIGCOMM '22: ACM SIGCOMM 2022 Conference, Amsterdam, The Netherlands, August 22, 2022

Modular Switch Programming Under Resource Constraints.
Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, 2022

2021
Petr4: formal foundations for p4 data planes.
Proc. ACM Program. Lang., 2021

DBVal: Validating P4 Data Plane Runtime Behavior.
Proceedings of the SOSR '21: The ACM SIGCOMM Symposium on SDN Research, Virtual Event, USA, October 11, 2021

Toward formally verifying congestion control behavior.
Proceedings of the ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., 2021

2020
Tracking P4 Program Execution in the Data Plane.
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.
Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

Elastic Switch Programming with P4All.
Proceedings of the HotNets '20: The 19th ACM Workshop on Hot Topics in Networks, 2020

2018
A Scalable VPN Gateway for Multi-Tenant Cloud Services.
Comput. Commun. Rev., 2018

2017
HotCocoa: Hardware Congestion Control Abstractions.
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.
Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

Compiling Path Queries.
Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, 2016


  Loading...