default search action

combined dblp search
author search
venue search
publication search

ask others

Maaz Bin Safeer Ahmad

> Home > Persons

Person information

affiliation: Adobe Research, Seattle, WA, USA
affiliation (PhD 2022): University of Washington, Seattle, WA, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2022
[b1]
- view
  - electronic edition via handle.net
  - details & citations
- export record
  dblp key:
  - phd/us/Ahmad22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/us/Ahmad22
Maaz Bin Safeer Ahmad:
Optimizing Data Processing Through Verified Lifting. University of Washington, USA, 2022

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/pvldb/CheungAHKLLWY23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pvldb/CheungAHKLLWY23
Alvin Cheung, Maaz Bin Safeer Ahmad, Brandon Haynes, Chanwut Kittivorawong, Shadaj Laddad, Xiaoxuan Liu, Chenglong Wang, Cong Yan:
Towards Auto-Generated Data Systems. Proc. VLDB Endow. 16(12): 4116-4129 (2023)
2019
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tog/AhmadRCK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tog/AhmadRCK19
Maaz Bin Safeer Ahmad, Jonathan Ragan-Kelley, Alvin Cheung, Shoaib Kamil:
Automatically translating image processing libraries to halide. ACM Trans. Graph. 38(6): 204:1-204:13 (2019)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/RootASA0R23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/RootASA0R23
Alexander J. Root, Maaz Bin Safeer Ahmad, Dillon Sharlet, Andrew Adams, Shoaib Kamil, Jonathan Ragan-Kelley:
Fast Instruction Selection for Fast Digital Signal Processing. ASPLOS (4) 2023: 125-137
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/siggrapha/KodnongbuaJAKS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/siggrapha/KodnongbuaJAKS23
Milin Kodnongbua, Benjamin T. Jones, Maaz Bin Safeer Ahmad, Vladimir G. Kim, Adriana Schulz:
ReparamCAD: Zero-shot CAD Re-Parameterization for Interactive Manipulation. SIGGRAPH Asia 2023: 69:1-69:12
2022
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/AhmadRAKC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/AhmadRAKC22
Maaz Bin Safeer Ahmad, Alexander J. Root, Andrew Adams, Shoaib Kamil, Alvin Cheung:
Vector instruction selection for digital signal processors using program synthesis. ASPLOS 2022: 1004-1016
2018
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sigmod/AhmadC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmod/AhmadC18
Maaz Bin Safeer Ahmad, Alvin Cheung:
Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications. SIGMOD Conference 2018: 1205-1220
2017
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/FedyukovichAB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/FedyukovichAB17
Grigory Fedyukovich, Maaz Bin Safeer Ahmad, Rastislav Bodík:
Gradual synthesis for static parallelization of single-pass array-processing programs. PLDI 2017: 572-585
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sigmod/AhmadC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmod/AhmadC17
Maaz Bin Safeer Ahmad, Alvin Cheung:
Optimizing Data-Intensive Applications Automatically By Leveraging Parallel Data Processing Frameworks. SIGMOD Conference 2017: 1675-1678
2016
[c2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AhmadC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AhmadC16
Maaz Bin Safeer Ahmad, Alvin Cheung:
Leveraging Parallel Data Processing Frameworks with Verified Lifting. SYNT@CAV 2016: 67-83
2013
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/dev/AhmadRPKSCSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dev/AhmadRPKSCSS13
Talal Ahmad, Nabeel Abdur Rehman, Fahad Pervaiz, Shankar Kalyanaraman, Maaz Bin Safeer Ahmad, Sunandan Chakraborty, Umar Saif, Lakshminarayanan Subramanian:
Characterizing dengue spread and severity using internet media sources. ACM DEV (3) 2013: 18:1-18:2

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-03217
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-03217
Milin Kodnongbua, Benjamin T. Jones, Maaz Bin Safeer Ahmad, Vladimir G. Kim, Adriana Schulz:
Zero-shot CAD Program Re-Parameterization for Interactive Manipulation. CoRR abs/2306.03217 (2023)
2018
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1801-09802
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1801-09802
Maaz Bin Safeer Ahmad, Alvin Cheung:
Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications. CoRR abs/1801.09802 (2018)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.