Heuristic Analysis from Source Code via Symbolic-Guided Optimization
Pantea Karimi, Siva Kesava Reddy Kakarla, Ryan Beckett, Santiago Segarra, Pooria Namyar, Mohammad Alizadeh, Behnaz Arzani
NSDI | May 2026
MetaOpt
Towards efficient heuristic design where we achieve quantifiable and confident performance
论文与出版物
-
-
-
-
A Performance Analyzer for a Public Cloud’s ML-Augmented VM Allocator
Roozbeh Bostandoost, Pooria Namyar, Siva Kesava Reddy Kakarla, Ryan Beckett, Santiago Segarra, Eli Cortez, Ankur Mallick, Kevin Hsieh, Rodrigo Fonseca, M. Hajiesmaili, Behnaz Arzani
December 2025
arXiv | December 2025
-
Robust Heuristic Algorithm Design with LLMs
Pantea Karimi Babaahmadi, Dany Rouhana, Pooria Namyar, Siva Kesava Reddy Kakarla, Venkat Arun, Behnaz Arzani
MSR-TR-2025-44 | October 2025
作者：Microsoft
-
Raha: A General Tool to Analyze WAN Degradation
Behnaz Arzani, Sina Taheri, Pooria Namyar, Ryan Beckett, Siva Kesava Reddy Kakarla, Elnaz Jallilipour
SIGCOMM 2025 | September 2025
-
Everything Matters in Programmable Packet Scheduling
Albert Gran Alcoz, Balazs Vass, Pooria Namyar, Behnaz Arzani, Gabor Retvari, Laurent Vanbever
NSDI | February 2025
-
-
-
End-to-End Performance Analysis of Learning-enabled Systems
Pooria Namyar, Michael Schapira, Ramesh Govindan, Santiago Segarra, Ryan Beckett, Siva Kesava Reddy Kakarla, Behnaz Arzani
HotNets | November 2024
-
Towards Safer Heuristics With XPlain
Pantea Karimi, Solal Pirelli, Siva Kesava Reddy Kakarla, Ryan Beckett, Santiago Segarra, Beibin Li, Pooria Namyar, Behnaz Arzani
HotNets | November 2024
-
Finding Adversarial Inputs for Heuristics using Multi-level Optimization
Pooria Namyar, Ryan Beckett, Santiago Segarra, Himanshu Raj, Umesh Krishnaswamy, Ramesh Govindan, Srikanth Kandula, Behnaz Arzani
NSDI | February 2024
-
-
-
Minding the gap between Fast Heuristics and their Optimal Counterparts
Pooria Namyar, Behnaz Arzani, Ryan Beckett, Santiago Segarra, Srikanth Kandula
Hot Topics in Networking | November 2022
-
-
-
Heuristic Analysis from Source Code via Symbolic-Guided Optimization
Pantea Karimi, Siva Kesava Reddy Kakarla, Ryan Beckett, Santiago Segarra, Pooria Namyar, Mohammad Alizadeh, Behnaz Arzani
NSDI | May 2026
-
Robust Heuristic Algorithm Design with LLMs
Pantea Karimi Babaahmadi, Dany Rouhana, Pooria Namyar, Siva Kesava Reddy Kakarla, Venkat Arun, Behnaz Arzani
MSR-TR-2025-44 | October 2025
作者：Microsoft
-
Raha: A General Tool to Analyze WAN Degradation
Behnaz Arzani, Sina Taheri, Pooria Namyar, Ryan Beckett, Siva Kesava Reddy Kakarla, Elnaz Jallilipour
SIGCOMM 2025 | September 2025
-
Everything Matters in Programmable Packet Scheduling
Albert Gran Alcoz, Balazs Vass, Pooria Namyar, Behnaz Arzani, Gabor Retvari, Laurent Vanbever
NSDI | February 2025
-
End-to-End Performance Analysis of Learning-enabled Systems
Pooria Namyar, Michael Schapira, Ramesh Govindan, Santiago Segarra, Ryan Beckett, Siva Kesava Reddy Kakarla, Behnaz Arzani
HotNets | November 2024
-
Towards Safer Heuristics With XPlain
Pantea Karimi, Solal Pirelli, Siva Kesava Reddy Kakarla, Ryan Beckett, Santiago Segarra, Beibin Li, Pooria Namyar, Behnaz Arzani
HotNets | November 2024
-
Finding Adversarial Inputs for Heuristics using Multi-level Optimization
Pooria Namyar, Ryan Beckett, Santiago Segarra, Himanshu Raj, Umesh Krishnaswamy, Ramesh Govindan, Srikanth Kandula, Behnaz Arzani
NSDI | February 2024
-
Minding the gap between Fast Heuristics and their Optimal Counterparts
Pooria Namyar, Behnaz Arzani, Ryan Beckett, Santiago Segarra, Srikanth Kandula
Hot Topics in Networking | November 2022
-
-
-
A Performance Analyzer for a Public Cloud’s ML-Augmented VM Allocator
Roozbeh Bostandoost, Pooria Namyar, Siva Kesava Reddy Kakarla, Ryan Beckett, Santiago Segarra, Eli Cortez, Ankur Mallick, Kevin Hsieh, Rodrigo Fonseca, M. Hajiesmaili, Behnaz Arzani
December 2025
arXiv | December 2025
-
-
-
Heuristic Analysis from Source Code via Symbolic-Guided Optimization
Pantea Karimi, Siva Kesava Reddy Kakarla, Ryan Beckett, Santiago Segarra, Pooria Namyar, Mohammad Alizadeh, Behnaz Arzani
NSDI | May 2026
-
Raha: A General Tool to Analyze WAN Degradation
Behnaz Arzani, Sina Taheri, Pooria Namyar, Ryan Beckett, Siva Kesava Reddy Kakarla, Elnaz Jallilipour
SIGCOMM 2025 | September 2025
-
Everything Matters in Programmable Packet Scheduling
Albert Gran Alcoz, Balazs Vass, Pooria Namyar, Behnaz Arzani, Gabor Retvari, Laurent Vanbever
NSDI | February 2025
-
End-to-End Performance Analysis of Learning-enabled Systems
Pooria Namyar, Michael Schapira, Ramesh Govindan, Santiago Segarra, Ryan Beckett, Siva Kesava Reddy Kakarla, Behnaz Arzani
HotNets | November 2024
-
Towards Safer Heuristics With XPlain
Pantea Karimi, Solal Pirelli, Siva Kesava Reddy Kakarla, Ryan Beckett, Santiago Segarra, Beibin Li, Pooria Namyar, Behnaz Arzani
HotNets | November 2024
-
Finding Adversarial Inputs for Heuristics using Multi-level Optimization
Pooria Namyar, Ryan Beckett, Santiago Segarra, Himanshu Raj, Umesh Krishnaswamy, Ramesh Govindan, Srikanth Kandula, Behnaz Arzani
NSDI | February 2024
-
Minding the gap between Fast Heuristics and their Optimal Counterparts
Pooria Namyar, Behnaz Arzani, Ryan Beckett, Santiago Segarra, Srikanth Kandula
Hot Topics in Networking | November 2022
-
-
-
A Performance Analyzer for a Public Cloud’s ML-Augmented VM Allocator
Roozbeh Bostandoost, Pooria Namyar, Siva Kesava Reddy Kakarla, Ryan Beckett, Santiago Segarra, Eli Cortez, Ankur Mallick, Kevin Hsieh, Rodrigo Fonseca, M. Hajiesmaili, Behnaz Arzani
December 2025
arXiv | December 2025
-
-
-
Robust Heuristic Algorithm Design with LLMs
Pantea Karimi Babaahmadi, Dany Rouhana, Pooria Namyar, Siva Kesava Reddy Kakarla, Venkat Arun, Behnaz Arzani
MSR-TR-2025-44 | October 2025
作者：Microsoft
-