Mina Tahmasbi Arashloo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
4
Active years
2016–2026
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | NSDI | Count-Based Abstractions for Performance Verification of Contention Points. | Amir Seyhani, Aarti Gupta, David Walker, Mina Tahmasbi Arashloo |
| 2026 | SIGMETRICS | Dynamic SLA-aware Network Slice Monitoring. | Niloy Saha, Mina Tahmasbi Arashloo, Nashid Shahriar, Raouf Boutaba |
| 2026 | SIGMETRICS | Analyzing Symbolic Properties for DRL Agents in Systems and Networking. | Mohammad Zangooei, Jannis Weil, Amr Rizk, Mina Tahmasbi Arashloo, Raouf Boutaba |
| 2024 | HOTNETS | Buffy: A Formal Language-Based Framework for Network Performance Analysis. | Amir Seyhani, Junyi Zhao, Aarti Gupta, David Walker, Mina Tahmasbi Arashloo |
| 2023 | NSDI | Formal Methods for Network Performance Analysis. | Mina Tahmasbi Arashloo, Ryan Beckett, Rachit Agarwal |
| 2022 | NSDI | Modular Switch Programming Under Resource Constraints. | Mary Hogan, Shir Landau Feibish, Mina Tahmasbi Arashloo, Jennifer Rexford, David Walker |
| 2022 | SIGCOMM | dcPIM: near-optimal proactive datacenter transport. | Qizhe Cai, Mina Tahmasbi Arashloo, Rachit Agarwal |
| 2021 | SIGCOMM | Toward formally verifying congestion control behavior. | Venkat Arun, Mina Tahmasbi Arashloo, Ahmed Saeed, Mohammad Alizadeh, Hari Balakrishnan |
| 2020 | HOTNETS | Elastic Switch Programming with P4All. | Mary Hogan, Shir Landau Feibish, Mina Tahmasbi Arashloo, Jennifer Rexford, David Walker, Rob Harrison |
| 2020 | NSDI | Enabling Programmable Transport Protocols in High-Speed NICs. | Mina Tahmasbi Arashloo, Alexey Lavrov, Manya Ghobadi, Jennifer Rexford, David Walker, David Wentzlaff |
| 2017 | HOTNETS | HotCocoa: Hardware Congestion Control Abstractions. | Mina Tahmasbi Arashloo, Monia Ghobadi, Jennifer Rexford, David Walker |
| 2016 | SIGCOMM | SNAP: Stateful Network-Wide Abstractions for Packet Processing. | Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg, Jennifer Rexford, David Walker |