Syed M. Iqbal

According to our database, Syed M. Iqbal authored at least 4 papers between 2020 and 2024.

Collaborative distances:

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

2024

DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories.

Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2022

Gridiron: A Technique for Augmenting Cloud Workloads with Network Bandwidth Requirements.

Nodir Kodirov, Shane Bergsma, Syed M. Iqbal, Alan J. Hu, Ivan Beschastnikh, Margo I. Seltzer

CoRR, 2022

CoSpot: a cooperative VM allocation framework for increased revenue from spot instances.

Syed M. Iqbal, Haley Li, Shane Bergsma, Ivan Beschastnikh, Alan J. Hu

Proceedings of the 13th Symposium on Cloud Computing, SoCC 2022, 2022

2020

Scalable constraint-based virtual data center allocation.

Sam Bayless, Nodir Kodirov, Syed M. Iqbal, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu

Artif. Intell., 2020