Follow
Maaz Bin Safeer Ahmad
Maaz Bin Safeer Ahmad
Adobe
Verified email at adobe.com - Homepage
Title
Cited by
Cited by
Year
Automatically leveraging mapreduce frameworks for data-intensive applications
MBS Ahmad, A Cheung
Proceedings of the 2018 International Conference on Management of Data, 1205 …, 2018
592018
Gradual synthesis for static parallelization of single-pass array-processing programs
G Fedyukovich, MBS Ahmad, R Bodik
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017
472017
Automatically translating image processing libraries to halide
MBS Ahmad, J Ragan-Kelley, A Cheung, S Kamil
ACM Transactions on Graphics (TOG) 38 (6), 1-13, 2019
462019
Leveraging parallel data processing frameworks with verified lifting
MBS Ahmad, A Cheung
arXiv preprint arXiv:1611.07623, 2016
252016
Characterizing dengue spread and severity using internet media sources
T Ahmad, NA Rehman, F Pervaiz, S Kalyanaraman, MB Safeer, ...
Proceedings of the 3rd ACM Symposium on Computing for Development, 1-2, 2013
112013
Vector instruction selection for digital signal processors using program synthesis
MBS Ahmad, AJ Root, A Adams, S Kamil, A Cheung
Proceedings of the 27th ACM International Conference on Architectural …, 2022
92022
Optimizing data-intensive applications automatically by leveraging parallel data processing frameworks
MBS Ahmad, A Cheung
Proceedings of the 2017 ACM International Conference on Management of Data …, 2017
92017
Zero-shot CAD Program Re-Parameterization for Interactive Manipulation
M Kodnongbua, BT Jones, MBS Ahmad, VG Kim, A Schulz
arXiv preprint arXiv:2306.03217, 2023
12023
Towards Auto-Generated Data Systems
A Cheung, MBS Ahmad, B Haynes, C Kittivorawong, S Laddad, X Liu, ...
Proceedings of the VLDB Endowment 16 (12), 4116-4129, 2023
2023
Optimizing Data Processing Through Verified Lifting
MBS Ahmad
University of Washington, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–10