Amir Seyhani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2024–2026
Best venue rank
National
Where they publish
Papers
2 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 |
| 2024 | HOTNETS | Buffy: A Formal Language-Based Framework for Network Performance Analysis. | Amir Seyhani, Junyi Zhao, Aarti Gupta, David Walker, Mina Tahmasbi Arashloo |