Mina Tahmasbi Arashloo
3 papers
· 2020–2023
· 1 conference
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(14)
Conferences
NSDI (3)
Top co-authors
Keywords
constraint solving
(1)
program synthesis
(1)
formal methods
(1)
transport protocol
(1)
resource allocation
(1)
programmable network
(1)
packet processing
(1)
fpga prototype
(1)
network interface card
(1)
queuing theory
(1)
program optimization
(1)
compiler design
(1)
network performance analysis
(1)
packet scheduling algorithm
(1)
network calculus
(1)
programmable hardware
(1)