A Classification Based Framework to Predict Viral Threads. - Hashim Sharif; Saad Ismail; Shehroze Farooqi; Mohammad Taha Khan; Muhammad Ali Gulzar; Hasnain Lakhani; Fareed Zaffar; Ahmed Abbasi (PACIS, 2015)

Titian: Data Provenance Support in Spark. - Matteo Interlandi; Kshitij Shah; Sai Deep Tetali; Muhammad Ali Gulzar; Seunghyun Yoo; Miryung Kim; Todd D. Millstein; Tyson Condie (Proc. VLDB Endow., 2015)

Optimizing Interactive Development of Data-Intensive Applications. - Matteo Interlandi; Sai Deep Tetali; Muhammad Ali Gulzar; Joseph Noor; Tyson Condie; Miryung Kim; Todd D. Millstein (SoCC, 2016)

Interactive Debugging for Big Data Analytics. - Muhammad Ali Gulzar; Xueyuan Han; Matteo Interlandi; Shaghayegh Mardani; Sai Deep Tetali; Todd D. Millstein; Miryung Kim (HotCloud, 2016)

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 (ICSE, 2016)

BigDebug: interactive debugger for big data analytics in Apache Spark. - Muhammad Ali Gulzar; Matteo Interlandi; Tyson Condie; Miryung Kim (SIGSOFT FSE, 2016)

Automated debugging in data-intensive scalable computing. - Muhammad Ali Gulzar; Matteo Interlandi; Xueyuan Han; Mingda Li; Tyson Condie; Miryung Kim (SoCC, 2017)

Debugging Big Data Analytics in Spark with BigDebug. - Muhammad Ali Gulzar; Matteo Interlandi; Tyson Condie; Miryung Kim (SIGMOD Conference, 2017)

LogLens: A Real-Time Log Analysis System. - Biplob Debnath; Mohiuddin Solaimani; Muhammad Ali Gulzar; Nipun Arora; Cristian Lumezanu; Jianwu Xu; Bo Zong; Hui Zhang 002; Guofei Jiang; Latifur Khan (ICDCS, 2018)

Interactive and automated debugging for big data analytics. - Muhammad Ali Gulzar (ICSE (Companion Volume), 2018)

BigSift: automated debugging of big data analytics in data-intensive scalable computing. - Muhammad Ali Gulzar; Siman Wang; Miryung Kim (ESEC/SIGSOFT FSE, 2018)

Adding data provenance support to Apache Spark. - Matteo Interlandi; Ari Ekmekji; Kshitij Shah; Muhammad Ali Gulzar; Sai Deep Tetali; Miryung Kim; Todd D. Millstein; Tyson Condie (VLDB J., 2018)

PerfDebug: Performance Debugging of Computation Skew in Dataflow Systems. - Jason Teoh; Muhammad Ali Gulzar; Guoqing Harry Xu; Miryung Kim (SoCC, 2019)

Perception and practices of differential testing. - Muhammad Ali Gulzar; Yongkang Zhu; Xiaofeng Han (ICSE (SEIP), 2019)

White-box testing of big data analytics with complex user-defined functions. - Muhammad Ali Gulzar; Shaghayegh Mardani; Madanlal Musuvathi; Miryung Kim (ESEC/SIGSOFT FSE, 2019)

Influence-based provenance for dataflow applications with taint propagation. - Jason Teoh; Muhammad Ali Gulzar; Miryung Kim (SoCC, 2020)

BigTest: a symbolic execution based systematic test generation tool for Apache spark. - Muhammad Ali Gulzar; Madanlal Musuvathi; Miryung Kim (ICSE (Companion Volume), 2020)

HeteroRefactor: refactoring for heterogeneous computing with FPGA. - Jason Lau; Aishwarya Sivaraman; Qian Zhang 020; Muhammad Ali Gulzar; Jason Cong; Miryung Kim (ICSE, 2020)

BigFuzz: Efficient Fuzz Testing for Data Analytics Using Framework Abstraction. - Qian Zhang 020; Jiyuan Wang; Muhammad Ali Gulzar; Rohan Padhye; Miryung Kim (ASE, 2020)

Is neuron coverage a meaningful measure for testing deep neural networks? - Fabrice Harel-Canada; Lingxiao Wang 001; Muhammad Ali Gulzar; Quanquan Gu; Miryung Kim (ESEC/SIGSOFT FSE, 2020)

Automated Testing and Debugging for Big Data Analytics. - Muhammad Ali Gulzar (2020)

OptDebug: Fault-Inducing Operation Isolation for Dataflow Applications. - Muhammad Ali Gulzar; Miryung Kim (SoCC, 2021)

Towards a Serverless Bioinformatics Cyberinfrastructure Pipeline. - Shunyu David Yao; Muhammad Ali Gulzar; Liqing Zhang 002; Ali Raza Butt (HiPS@HPDC, 2021)

Efficient Fuzz Testing for Apache Spark Using Framework Abstraction. - Qian Zhang 020; Jiyuan Wang; Muhammad Ali Gulzar; Rohan Padhye; Miryung Kim (ICSE (Companion Volume), 2021)

TrackerSift: untangling mixed tracking and functional web resources. - Abdul Haddi Amjad; Danial Saleem; Muhammad Ali Gulzar; Zubair Shafiq; Fareed Zaffar (Internet Measurement Conference, 2021)

Sibylvariant Transformations for Robust Text Classification. - Fabrice Harel-Canada; Muhammad Ali Gulzar; Nanyun Peng 001; Miryung Kim (ACL (Findings), 2022)

Detecting Build Conflicts in Software Merge for Java Programs via Static Analysis. - Sheikh Shadab Towqir; Bowen Shen; Muhammad Ali Gulzar; Na Meng 001 (ASE, 2022)

FedDebug: Systematic Debugging for Federated Learning Applications. - Waris Gill; Ali Anwar 001; Muhammad Ali Gulzar (ICSE, 2023)

NaturalFuzz: Natural Input Generation for Big Data Analytics. - Ahmad Humayun; Yaoxuan Wu; Miryung Kim; Muhammad Ali Gulzar (ASE, 2023)

FedDefender: Backdoor Attack Defense in Federated Learning. - Waris Gill; Ali Anwar 001; Muhammad Ali Gulzar (SE4SafeML@SIGSOFT FSE, 2023)

Co-dependence Aware Fuzzing for Dataflow-Based Big Data Analytics. - Ahmad Humayun; Miryung Kim; Muhammad Ali Gulzar (ESEC/SIGSOFT FSE, 2023)

ProvFL: Client-Driven Interpretability of Global Model Predictions in Federated Learning. - Waris Gill; Ali Anwar 001; Muhammad Ali Gulzar (CoRR, 2023)

A Characterization Study of Merge Conflicts in Java Projects. - Bowen Shen; Muhammad Ali Gulzar; Fei He 001; Na Meng 001 (ACM Trans. Softw. Eng. Methodol., 2023)

Blocking JavaScript Without Breaking the Web: An Empirical Investigation. - Abdul Haddi Amjad; Zubair Shafiq; Muhammad Ali Gulzar (Proc. Priv. Enhancing Technol., 2023)

An Empirical Evaluation of Method Signature Similarity in Java Codebases. - Mohammad Taha Khan; Mohamed Elhussiny; William Tobin; Muhammad Ali Gulzar (ASSE, 2024)

Poster: How Do Visually Impaired Users Navigate Accessibility Challenges in an Ad-Driven Web? - Abdul Haddi Amjad; Muhammad Ali Gulzar (CCS, 2024)

Blocking Tracking JavaScript at the Function Granularity. - Abdul Haddi Amjad; Shaoor Munir; Zubair Shafiq; Muhammad Ali Gulzar (CCS, 2024)

Human-in-the-Loop Synthetic Text Data Inspection with Provenance Tracking. - Hong Jin Kang; Fabrice Harel-Canada; Muhammad Ali Gulzar; Nanyun Peng 001; Miryung Kim (NAACL-HLT (Findings), 2024)

Privacy-Aware Semantic Cache for Large Language Models. - Waris Gill; Mohamed Elidrisi; Pallavi Kalapatapu; Ali Anwar 001; Muhammad Ali Gulzar (CoRR, 2024)

Human-in-the-Loop Synthetic Text Data Inspection with Provenance Tracking. - Hong Jin Kang; Fabrice Harel-Canada; Muhammad Ali Gulzar; Violet Peng; Miryung Kim (CoRR, 2024)

DeSQL: Interactive Debugging of SQL in Data-Intensive Scalable Computing. - Sabaat Haroon; Chris Brown 001; Muhammad Ali Gulzar (Proc. ACM Softw. Eng., 2024)

Natural Symbolic Execution-Based Testing for Big Data Analytics. - Yaoxuan Wu; Ahmad Humayun; Muhammad Ali Gulzar; Miryung Kim (Proc. ACM Softw. Eng., 2024)

Accessibility Issues in Ad-Driven Web Applications. - Abdul Haddi Amjad; Muhammad Danish; Bless Jah; Muhammad Ali Gulzar (ICSE, 2025)

TraceFL: Interpretability-Driven Debugging in Federated Learning via Neuron Provenance. - Waris Gill; Ali Anwar 001; Muhammad Ali Gulzar (ICSE, 2025)

MeanCache: User-Centric Semantic Caching for LLM Web Services. - Waris Gill; Mohamed Elidrisi; Pallavi Kalapatapu; Ammar Ahmed; Ali Anwar 001; Muhammad Ali Gulzar (IPDPS, 2025)

Are the Majority of Public Computational Notebooks Pathologically Non-Executable? - Tien Nguyen; Waris Gill; Muhammad Ali Gulzar (MSR, 2025)

A Metric for Measuring the Impact of Rare Paths on Program Coverage. - Leo St. Amour; Eli Tilevich; Muhammad Ali Gulzar (SANER, 2025)

Improving Evidence-Based Tech Hiring with GitHub-Supported Resume Matching. - Swanand Vaishampayan; Muhammad Ali Gulzar; Chris Brown 001 (SANER, 2025)

Advancing Semantic Caching for LLMs with Domain-Specific Embeddings and Synthetic Data. - Waris Gill; Justin Cechmanek; Tyler Hutcherson; Srijith Rajamohan; Jen Agarwal; Muhammad Ali Gulzar; Manvinder Singh; Benoit Dion (CoRR, 2025)

How Accurately Do Large Language Models Understand Code? - Sabaat Haroon; Ahmad Faraz Khan 001; Ahmad Humayun; Waris Gill; Abdul Haddi Amjad; Ali R. Butt; Mohammad Taha Khan; Muhammad Ali Gulzar (CoRR, 2025)

Generating and Understanding Tests via Path-Aware Symbolic Execution with LLMs. - Yaoxuan Wu; Xiaojie Zhou; Ahmad Humayun; Muhammad Ali Gulzar; Miryung Kim (CoRR, 2025)