Maaz Bin Safeer Ahmad

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

Collaborative distances:

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

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