| 2026 | AsiaCCS | Unintended Privacy Risks of Using Assistive Technology on Web Applications. | Abdul Haddi Amjad, Bless Jah, Muhammad Ali Gulzar |
| 2026 | ICST | Assessing the Impact of Code Changes on the Fault Localizability of Large Language Models. | Sabaat Haroon, Ahmad Faraz Khan, Ahmad Humayun, Waris Gill, Abdul Haddi Amjad, Ali Raza Butt, Mohammad Taha Khan, Muhammad Ali Gulzar |
| 2025 | ICSE | Accessibility Issues in Ad-Driven Web Applications. | Abdul Haddi Amjad, Muhammad Danish, Bless Jah, Muhammad Ali Gulzar |
| 2025 | ICSE | TraceFL: Interpretability-Driven Debugging in Federated Learning via Neuron Provenance. | Waris Gill, Ali Anwar, Muhammad Ali Gulzar |
| 2025 | MSR | Are the Majority of Public Computational Notebooks Pathologically Non-Executable? | Tien Nguyen, Waris Gill, Muhammad Ali Gulzar |
| 2025 | SANER | A Metric for Measuring the Impact of Rare Paths on Program Coverage. | Leo St. Amour, Eli Tilevich, Muhammad Ali Gulzar |
| 2025 | SANER | Improving Evidence-Based Tech Hiring with GitHub-Supported Resume Matching. | Swanand Vaishampayan, Muhammad Ali Gulzar, Chris Brown |
| 2024 | CCS | Poster: How Do Visually Impaired Users Navigate Accessibility Challenges in an Ad-Driven Web? | Abdul Haddi Amjad, Muhammad Ali Gulzar |
| 2024 | CCS | Blocking Tracking JavaScript at the Function Granularity. | Abdul Haddi Amjad, Shaoor Munir, Zubair Shafiq, Muhammad Ali Gulzar |
| 2024 | NAACL | Human-in-the-Loop Synthetic Text Data Inspection with Provenance Tracking. | Hong Jin Kang, Fabrice Harel-Canada, Muhammad Ali Gulzar, Nanyun Peng, Miryung Kim |
| 2023 | ICSE | FedDebug: Systematic Debugging for Federated Learning Applications. | Waris Gill, Ali Anwar, Muhammad Ali Gulzar |
| 2022 | ACL | Sibylvariant Transformations for Robust Text Classification. | Fabrice Harel-Canada, Muhammad Ali Gulzar, Nanyun Peng, Miryung Kim |
| 2021 | CLOUD | OptDebug: Fault-Inducing Operation Isolation for Dataflow Applications. | Muhammad Ali Gulzar, Miryung Kim |
| 2021 | HPDC | Towards a Serverless Bioinformatics Cyberinfrastructure Pipeline. | Shunyu David Yao, Muhammad Ali Gulzar, Liqing Zhang, Ali Raza Butt |
| 2021 | IMC | TrackerSift: untangling mixed tracking and functional web resources. | Abdul Haddi Amjad, Danial Saleem, Muhammad Ali Gulzar, Zubair Shafiq, Fareed Zaffar |
| 2021 | ICSE | Efficient Fuzz Testing for Apache Spark Using Framework Abstraction. | Qian Zhang, Jiyuan Wang, Muhammad Ali Gulzar, Rohan Padhye, Miryung Kim |
| 2020 | CLOUD | Influence-based provenance for dataflow applications with taint propagation. | Jason Teoh, Muhammad Ali Gulzar, Miryung Kim |
| 2020 | ICSE | BigTest: a symbolic execution based systematic test generation tool for Apache spark. | Muhammad Ali Gulzar, Madanlal Musuvathi, Miryung Kim |
| 2020 | ICSE | HeteroRefactor: refactoring for heterogeneous computing with FPGA. | Jason Lau, Aishwarya Sivaraman, Qian Zhang, Muhammad Ali Gulzar, Jason Cong, Miryung Kim |
| 2019 | CLOUD | PerfDebug: Performance Debugging of Computation Skew in Dataflow Systems. | Jason Teoh, Muhammad Ali Gulzar, Guoqing Harry Xu, Miryung Kim |
| 2019 | ICSE | Perception and practices of differential testing. | Muhammad Ali Gulzar, Yongkang Zhu, Xiaofeng Han |
| 2018 | ICDCS | LogLens: A Real-Time Log Analysis System. | Biplob Debnath, Mohiuddin Solaimani, Muhammad Ali Gulzar, Nipun Arora, Cristian Lumezanu, Jianwu Xu, Bo Zong, Hui Zhang, Guofei Jiang, Latifur Khan |
| 2018 | ICSE | Interactive and automated debugging for big data analytics. | Muhammad Ali Gulzar |
| 2017 | CLOUD | Automated debugging in data-intensive scalable computing. | Muhammad Ali Gulzar, Matteo Interlandi, Xueyuan Han, Mingda Li, Tyson Condie, Miryung Kim |
| 2017 | SIGMOD | Debugging Big Data Analytics in Spark with | Muhammad Ali Gulzar, Matteo Interlandi, Tyson Condie, Miryung Kim |
| 2016 | CLOUD | Optimizing Interactive Development of Data-Intensive Applications. | Matteo Interlandi, Sai Deep Tetali, Muhammad Ali Gulzar, Joseph Noor, Tyson Condie, Miryung Kim, Todd D. Millstein |
| 2016 | ICSE | BigDebug: debugging primitives for interactive big data processing in spark. | Muhammad Ali Gulzar, Matteo Interlandi, Seunghyun Yoo, Sai Deep Tetali, Tyson Condie, Todd D. Millstein, Miryung Kim |