Characterizing dengue spread and severity using internet media sources. - Talal Ahmad; Nabeel Abdur Rehman; Fahad Pervaiz; Shankar Kalyanaraman; Maaz Bin Safeer Ahmad; Sunandan Chakraborty; Umar Saif; Lakshminarayanan Subramanian (ACM DEV (3), 2013)

Leveraging Parallel Data Processing Frameworks with Verified Lifting. - Maaz Bin Safeer Ahmad; Alvin Cheung (SYNT@CAV, 2016)

Gradual synthesis for static parallelization of single-pass array-processing programs. - Grigory Fedyukovich; Maaz Bin Safeer Ahmad; Rastislav Bodík (PLDI, 2017)

Optimizing Data-Intensive Applications Automatically By Leveraging Parallel Data Processing Frameworks. - Maaz Bin Safeer Ahmad; Alvin Cheung (SIGMOD Conference, 2017)

Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications. - Maaz Bin Safeer Ahmad; Alvin Cheung (SIGMOD Conference, 2018)

Automatically translating image processing libraries to halide. - Maaz Bin Safeer Ahmad; Jonathan Ragan-Kelley; Alvin Cheung; Shoaib Kamil 001 (ACM Trans. Graph., 2019)

Vector instruction selection for digital signal processors using program synthesis. - Maaz Bin Safeer Ahmad; Alexander J. Root; Andrew Adams; Shoaib Kamil 001; Alvin Cheung (ASPLOS, 2022)

Optimizing Data Processing Through Verified Lifting - Maaz Bin Safeer Ahmad (2022)

Fast Instruction Selection for Fast Digital Signal Processing. - Alexander J. Root; Maaz Bin Safeer Ahmad; Dillon Sharlet; Andrew Adams; Shoaib Kamil 001; Jonathan Ragan-Kelley (ASPLOS (4), 2023)

ReparamCAD: Zero-shot CAD Re-Parameterization for Interactive Manipulation. - Milin Kodnongbua; Benjamin T. Jones; Maaz Bin Safeer Ahmad; Vladimir G. Kim; Adriana Schulz (SIGGRAPH Asia, 2023)

Zero-shot CAD Program Re-Parameterization for Interactive Manipulation. - Milin Kodnongbua; Benjamin T. Jones; Maaz Bin Safeer Ahmad; Vladimir G. Kim; Adriana Schulz (CoRR, 2023)

Towards Auto-Generated Data Systems. - Alvin Cheung; Maaz Bin Safeer Ahmad; Brandon Haynes; Chanwut Kittivorawong; Shadaj Laddad; Xiaoxuan Liu; Chenglong Wang; Cong Yan (Proc. VLDB Endow., 2023)

A Solver-Aided Hierarchical Language for LLM-Driven CAD Design. - Benjamin T. Jones; Felix Hähnlein; Zihan Zhang; Maaz Bin Safeer Ahmad; Vladimir G. Kim; Adriana Schulz (CoRR, 2025)