About Me

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 working on building Casper, a compiler that can automatically translate code fragments in Java applications to Spark using synthesis and verification.

Research Interests

My research interests include building programming systems using synthesis, high-performance computing and big-data systems. Currently I am exploring how we can build a unified interface to different domain-specific parallel-processing languages.



A synthesis based compiler for automatically re-targeting sequential Java code to Apache Spark.

Project Website · GitHub


A novel approach for automatic parallelization of single-pass array-processing programs with possible data-dependencies. This project is lead by Grigory Fedyukovich.

Project Website


[1]  Optimizing Data-Intensive Applications Automatically By Leveraging Parallel Data
Processing Frameworks

      Maaz Bin Safeer Ahmad and Alvin Cheung
      SIGMOD 2017 Demo (To appear)

[2]  Gradual Synthesis for Static Parallelization
      Grigory Fedyukovich, Maaz Bin Safeer Ahmad and Rastislav Bodik
      PLDI 2017 (To appear)

[3]  Leveraging Parallel Data Processing Frameworks with Verified Lifting
      Maaz Bin Safeer Ahmad and Alvin Cheung
      SYNT 2016 (Best Student Paper)

[4]  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