Maaz Bin Safeer Ahmad

17 papers A* 3A 1Journal 7Unranked 5
YearRankTypeTitle / Venue / Authors
2026 A conf
Pushing Tensor Accelerators beyond MatMul in a User-Schedulable Language.
CGO
Yihong Zhang, Derek K. Gerstmann, Andrew Adams, Maaz Bin Safeer Ahmad
2025 J jnl
A Solver-Aided Hierarchical Language for LLM-Driven CAD Design.
Comput. Graph. Forum
Benjamin T. Jones, Zihan Zhang, Felix Hähnlein, Wojciech Matusik, Maaz Bin Safeer Ahmad, Vladimir G. Kim, Adriana Schulz
2025 J jnl
A Solver-Aided Hierarchical Language for LLM-Driven CAD Design.
CoRR
Benjamin T. Jones, Felix Hähnlein, Zihan Zhang, Maaz Bin Safeer Ahmad, Vladimir G. Kim, Adriana Schulz
2025 J jnl
Pushing Tensor Accelerators Beyond MatMul in a User-Schedulable Language.
CoRR
Yihong Zhang, Derek K. Gerstmann, Andrew Adams, Maaz Bin Safeer Ahmad
2023 — conf
Fast Instruction Selection for Fast Digital Signal Processing.
ASPLOS (4)
Alexander J. Root, Maaz Bin Safeer Ahmad, Dillon Sharlet, Andrew Adams, Shoaib Kamil, Jonathan Ragan-Kelley
2023 A* conf
ReparamCAD: Zero-shot CAD Re-Parameterization for Interactive Manipulation.
SIGGRAPH Asia
Milin Kodnongbua, Benjamin T. Jones, Maaz Bin Safeer Ahmad, Vladimir G. Kim, Adriana Schulz
2023 J jnl
Towards Auto-Generated Data Systems.
Proc. VLDB Endow.
Alvin Cheung, Maaz Bin Safeer Ahmad, Brandon Haynes, Chanwut Kittivorawong, Shadaj Laddad, Xiaoxuan Liu, Chenglong Wang, Cong Yan
2023 J jnl
Zero-shot CAD Program Re-Parameterization for Interactive Manipulation.
CoRR
Milin Kodnongbua, Benjamin T. Jones, Maaz Bin Safeer Ahmad, Vladimir G. Kim, Adriana Schulz
2022 — —
Optimizing Data Processing Through Verified Lifting
Maaz Bin Safeer Ahmad
2022 A* conf
Vector instruction selection for digital signal processors using program synthesis.
ASPLOS
Maaz Bin Safeer Ahmad, Alexander J. Root, Andrew Adams, Shoaib Kamil, Alvin Cheung
2019 J jnl
Automatically translating image processing libraries to halide.
ACM Trans. Graph.
Maaz Bin Safeer Ahmad, Jonathan Ragan-Kelley, Alvin Cheung, Shoaib Kamil
2018 — conf
Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications.
SIGMOD Conference
Maaz Bin Safeer Ahmad, Alvin Cheung
2018 J jnl
Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications.
CoRR
Maaz Bin Safeer Ahmad, Alvin Cheung
2017 A* conf
Gradual synthesis for static parallelization of single-pass array-processing programs.
PLDI
Grigory Fedyukovich, Maaz Bin Safeer Ahmad, Rastislav Bodík
2017 — conf
Optimizing Data-Intensive Applications Automatically By Leveraging Parallel Data Processing Frameworks.
SIGMOD Conference
Maaz Bin Safeer Ahmad, Alvin Cheung
2016 — conf
Leveraging Parallel Data Processing Frameworks with Verified Lifting.
SYNT@CAV
Maaz Bin Safeer Ahmad, Alvin Cheung
2013 — conf
Characterizing dengue spread and severity using internet media sources.
ACM DEV (3)
Talal Ahmad, Nabeel Abdur Rehman, Fahad Pervaiz, Shankar Kalyanaraman, Maaz Bin Safeer Ahmad, Sunandan Chakraborty, Umar Saif, Lakshminarayanan Subramanian