Hi! I'm a 3rd year CSE Ph.D. student at the University of Washington. I am a part of the databases and programming languages research groups, where I work on developing tools that can automatically re-target applications written in general purpose languages to high level domain specific frameworks. I am advised by Alvin Cheung.
I am currently developing Casper, a compiler that can automatically translate code fragments in Java applications to MapReduce frameworks using synthesis and verification.
My research interests include building programming systems using synthesis, high-performance computing and big-data systems.
A synthesis based compiler for automatically re-targeting sequential Java code to Apache Spark.
A novel approach for automatic parallelization of single-pass array-processing programs with possible data-dependencies. This project is lead by Grigory Fedyukovich.
 Optimizing Data-Intensive Applications Automatically By Leveraging Parallel Data
Maaz Bin Safeer Ahmad and Alvin Cheung SIGMOD 2017 Demo · Honorable Mention for Best Demo Award
 Gradual Synthesis for Static Parallelization of Single-Pass Array-Processing Programs
Grigory Fedyukovich, Maaz Bin Safeer Ahmad and Rastislav Bodik PLDI 2017
 Leveraging Parallel Data Processing Frameworks with Verified Lifting
Maaz Bin Safeer Ahmad and Alvin Cheung SYNT 2016 · Best Student Paper
 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 and Lakshminarayanan Subramanian ACM DEV 2013