Amir Seyhani

According to our database, Amir Seyhani authored at least 2 papers between 2024 and 2026.

Collaborative distances:

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

2026

Count-Based Abstractions for Performance Verification of Contention Points.

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

Proceedings of the 23rd USENIX Symposium on Networked Systems Design and Implementation, 2026

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