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)

CoSpot: a cooperative VM allocation framework for increased revenue from spot instances. - Syed M. Iqbal; Haley Li; Shane Bergsma; Ivan Beschastnikh; Alan J. Hu (SoCC, 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)

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 (TACAS (1), 2024)