Leveraging Parallel Data Processing Frameworks with Verified Lifting von Ahmad, Maaz Bin Safeer, Cheung, Alvin

Volltext

Automatically translating image processing libraries to halide von Ahmad, Maaz Bin Safeer, Ragan-Kelley, Jonathan, Cheung, Alvin, Kamil, Shoaib

Volltext

Towards Auto-Generated Data Systems von Cheung, Alvin, Ahmad, Maaz Bin Safeer, Haynes, Brandon, Kittivorawong, Chanwut, Laddad, Shadaj, Liu, Xiaoxuan, Wang, Chenglong, Yan, Cong

Volltext

Automatically Leveraging MapReduce Frameworks for Data-Intensive Applications von Maaz Bin Safeer Ahmad, Cheung, Alvin

Volltext

Leveraging Parallel Data Processing Frameworks with Verified Lifting von Maaz Bin Safeer Ahmad, Cheung, Alvin

Volltext

Zero-shot CAD Program Re-Parameterization for Interactive Manipulation von Kodnongbua, Milin, Jones, Benjamin T, Ahmad, Maaz Bin Safeer, Kim, Vladimir G, Schulz, Adriana

Volltext bestellen

Gradual synthesis for static parallelization of single-pass array-processing programs von Fedyukovich, Grigory, Ahmad, Maaz Bin Safeer, Bodik, Rastislav

Volltext

Zero-shot CAD Program Re-Parameterization for Interactive Manipulation von Milin Kodnongbua, Jones, Benjamin T, Maaz Bin Safeer Ahmad, Kim, Vladimir G, Schulz, Adriana

Volltext