Maaz Bin Safeer Ahmad

According to our database, Maaz Bin Safeer Ahmad authored at least 15 papers between 2013 and 2026.

Collaborative distances:

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

2026

Pushing Tensor Accelerators beyond MatMul in a User-Schedulable Language.

Yihong Zhang, Derek K. Gerstmann, Andrew Adams, Maaz Bin Safeer Ahmad

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2026

2025

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, February, 2025

A Solver-Aided Hierarchical Language for LLM-Driven CAD Design.

Benjamin T. Jones, Zihan Zhang, Felix Hähnlein, Wojciech Matusik, Maaz Bin Safeer Ahmad, Vladimir G. Kim, Adriana Schulz

Comput. Graph. Forum, 2025

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

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

ReparamCAD: Zero-shot CAD Re-Parameterization for Interactive Manipulation.

Milin Kodnongbua, Benjamin T. Jones, Maaz Bin Safeer Ahmad, Vladimir G. Kim, Adriana Schulz

Proceedings of the SIGGRAPH Asia 2023 Conference Papers, 2023

Fast Instruction Selection for Fast Digital Signal Processing.

Alexander J. Root, Maaz Bin Safeer Ahmad, Dillon Sharlet, Andrew Adams, Shoaib Kamil, Jonathan Ragan-Kelley

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022

Optimizing Data Processing Through Verified Lifting

Maaz Bin Safeer Ahmad

PhD thesis, 2022

Vector instruction selection for digital signal processors using program synthesis.

Maaz Bin Safeer Ahmad, Alexander J. Root, Andrew Adams, Shoaib Kamil, Alvin Cheung

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

2019

Automatically translating image processing libraries to halide.

Maaz Bin Safeer Ahmad, Jonathan Ragan-Kelley, Alvin Cheung, Shoaib Kamil

ACM Trans. Graph., 2019

2018

Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications.

Maaz Bin Safeer Ahmad, Alvin Cheung

Proceedings of the 2018 International Conference on Management of Data, 2018

2017

Optimizing Data-Intensive Applications Automatically By Leveraging Parallel Data Processing Frameworks.

Maaz Bin Safeer Ahmad, Alvin Cheung

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Gradual synthesis for static parallelization of single-pass array-processing programs.

Grigory Fedyukovich, Maaz Bin Safeer Ahmad, Rastislav Bodík

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

Leveraging Parallel Data Processing Frameworks with Verified Lifting.

Maaz Bin Safeer Ahmad, Alvin Cheung

Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

2013

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

Proceedings of the Annual Symposium on Computing for Development, 2013