E-LIB Suche - Ergebnisse für: Ahmad, Maaz Bin Safeer

1

ReparamCAD: Zero-shot CAD Re-Parameterization for Interacti..:

, In: SIGGRAPH Asia 2023 Conference Papers,

Kodnongbua, Milin ; Jones, Benjamin ; Ahmad, Maaz Bin Safeer.. - p. 1-12 , 2023

2

Fast Instruction Selection for Fast Digital Signal Processi..:

, In: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 4,

Root, Alexander J ; Ahmad, Maaz Bin Safeer ; Sharlet, Dillon... - p. 125-137 , 2023

Link: https://dl.acm.org/doi/1..

3

Towards Auto-Generated Data Systems:

Cheung, Alvin ; Ahmad, Maaz Bin Safeer ; Haynes, Brandon...
Proceedings of the VLDB Endowment. 16 (2023) 12 - p. 4116-4129 , 2023

Link: https://doi.org/10.14778..

4

Vector instruction selection for digital signal processors ..:

, In: Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems,

Ahmad, Maaz Bin Safeer ; Root, Alexander J. ; Adams, Andrew.. - p. 1004-1016 , 2022

Link: https://dl.acm.org/doi/1..

5

Automatically translating image processing libraries to hal..:

Ahmad, Maaz Bin Safeer ; Ragan-Kelley, Jonathan ; Cheung, Alvin.
ACM Transactions on Graphics. 38 (2019) 6 - p. 1-13 , 2019

Link: https://doi.org/10.1145/..

6

Automatically translating image processing libraries to hal..:

Ahmad, Maaz Bin Safeer ; Ragan-Kelley, Jonathan ; Cheung, Alvin.
ACM Transactions on Graphics (TOG). 38 (2019) 6 - p. 1-13 , 2019

Link: https://dl.acm.org/doi/1..

7

Automatically Leveraging MapReduce Frameworks for Data-Inte..:

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

Ahmad, Maaz Bin Safeer ; Cheung, Alvin - p. 1205-1220 , 2018

Link: https://dl.acm.org/doi/1..

8

Gradual synthesis for static parallelization of single-pass..:

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

Fedyukovich, Grigory ; Ahmad, Maaz Bin Safeer ; Bodik, Rastislav - p. 572-585 , 2017

Link: https://dl.acm.org/doi/1..

9

Optimizing Data-Intensive Applications Automatically By Lev..:

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

Ahmad, Maaz Bin Safeer ; Cheung, Alvin - p. 1675-1678 , 2017

Link: https://dl.acm.org/doi/1..

10

Gradual synthesis for static parallelization of single-pass..:

Fedyukovich, Grigory ; Ahmad, Maaz Bin Safeer ; Bodik, Rastislav
ACM SIGPLAN Notices. 52 (2017) 6 - p. 572-585 , 2017

Link: https://doi.org/10.1145/..

11

Fast Instruction Selection for Fast Digital Signal Processi..:

Root, Alexander J ; Ahmad, Maaz Bin Safeer ; Sharlet, Dillon...
10.1145/3623278.3624768. , 2024

Link: https://hdl.handle.net/1..

12

Zero-shot CAD Program Re-Parameterization for Interactive M..:

Kodnongbua, Milin ; Jones, Benjamin T ; Ahmad, Maaz Bin Safeer..
http://arxiv.org/abs/2306.03217. , 2023

Link: http://arxiv.org/abs/230..

13

Optimizing Data Processing Through Verified Lifting:

Ahmad, Maaz Bin Safeer
Ahmad_washington_0250E_24650.pdf. , 2022

Link: http://hdl.handle.net/17..

14

Automatically Leveraging MapReduce Frameworks for Data-Inte..:

Ahmad, Maaz Bin Safeer ; Cheung, Alvin
http://arxiv.org/abs/1801.09802. , 2018

Link: http://arxiv.org/abs/180..

15

Leveraging Parallel Data Processing Frameworks with Verifie..:

Ahmad, Maaz Bin Safeer ; Cheung, Alvin
http://arxiv.org/abs/1611.07623. , 2016

Link: http://arxiv.org/abs/161..