Muhammad Ali Gulzar

According to our database, Muhammad Ali Gulzar authored at least 51 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Generating and Understanding Tests via Path-Aware Symbolic Execution with LLMs.

Yaoxuan Wu, Xiaojie Zhou, Ahmad Humayun, Muhammad Ali Gulzar, Miryung Kim

CoRR, June, 2025

How Accurately Do Large Language Models Understand Code?

Sabaat Haroon, Ahmad Faraz Khan, Ahmad Humayun, Waris Gill, Abdul Haddi Amjad, Ali R. Butt, Mohammad Taha Khan, Muhammad Ali Gulzar

CoRR, April, 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, April, 2025

Improving Evidence-Based Tech Hiring with GitHub-Supported Resume Matching.

Swanand Vaishampayan, Muhammad Ali Gulzar, Chris Brown

Proceedings of the IEEE International Conference on Software Analysis, 2025

A Metric for Measuring the Impact of Rare Paths on Program Coverage.

Leo St. Amour, Eli Tilevich, Muhammad Ali Gulzar

Proceedings of the IEEE International Conference on Software Analysis, 2025

Are the Majority of Public Computational Notebooks Pathologically Non-Executable?

Tien Nguyen, Waris Gill, Muhammad Ali Gulzar

Proceedings of the 22nd IEEE/ACM International Conference on Mining Software Repositories, 2025

MeanCache: User-Centric Semantic Caching for LLM Web Services.

Waris Gill, Mohamed Elidrisi, Pallavi Kalapatapu, Ammar Ahmed, Ali Anwar, Muhammad Ali Gulzar

Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2025

TraceFL: Interpretability-Driven Debugging in Federated Learning via Neuron Provenance.

Waris Gill, Ali Anwar, Muhammad Ali Gulzar

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

Accessibility Issues in Ad-Driven Web Applications.

Abdul Haddi Amjad, Muhammad Danish, Bless Jah, Muhammad Ali Gulzar

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2024

Natural Symbolic Execution-Based Testing for Big Data Analytics.

Yaoxuan Wu, Ahmad Humayun, Muhammad Ali Gulzar, Miryung Kim

Proc. ACM Softw. Eng., 2024

DeSQL: Interactive Debugging of SQL in Data-Intensive Scalable Computing.

Sabaat Haroon, Chris Brown, Muhammad Ali Gulzar

Proc. ACM Softw. Eng., 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

Privacy-Aware Semantic Cache for Large Language Models.

Waris Gill, Mohamed Elidrisi, Pallavi Kalapatapu, Ali Anwar, 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, Nanyun Peng, Miryung Kim

Proceedings of the Findings of the Association for Computational Linguistics: NAACL 2024, 2024

Blocking Tracking JavaScript at the Function Granularity.

Abdul Haddi Amjad, Shaoor Munir, Zubair Shafiq, Muhammad Ali Gulzar

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

Poster: How Do Visually Impaired Users Navigate Accessibility Challenges in an Ad-Driven Web?

Abdul Haddi Amjad, Muhammad Ali Gulzar

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

An Empirical Evaluation of Method Signature Similarity in Java Codebases.

Mohammad Taha Khan, Mohamed Elhussiny, William Tobin, Muhammad Ali Gulzar

Proceedings of the Proceeding of the 5th Asia Service Sciences and Software Engineering Conference, 2024

2023

Blocking JavaScript Without Breaking the Web: An Empirical Investigation.

Abdul Haddi Amjad, Zubair Shafiq, Muhammad Ali Gulzar

Proc. Priv. Enhancing Technol., July, 2023

A Characterization Study of Merge Conflicts in Java Projects.

Bowen Shen, Muhammad Ali Gulzar, Fei He, Na Meng

ACM Trans. Softw. Eng. Methodol., April, 2023

ProvFL: Client-Driven Interpretability of Global Model Predictions in Federated Learning.

Waris Gill, Ali Anwar, Muhammad Ali Gulzar

CoRR, 2023

Co-dependence Aware Fuzzing for Dataflow-Based Big Data Analytics.

Ahmad Humayun, Miryung Kim, Muhammad Ali Gulzar

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

FedDefender: Backdoor Attack Defense in Federated Learning.

Waris Gill, Ali Anwar, Muhammad Ali Gulzar

Proceedings of the 1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components, 2023

NaturalFuzz: Natural Input Generation for Big Data Analytics.

Ahmad Humayun, Yaoxuan Wu, Miryung Kim, Muhammad Ali Gulzar

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

FedDebug: Systematic Debugging for Federated Learning Applications.

Waris Gill, Ali Anwar, Muhammad Ali Gulzar

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

Detecting Build Conflicts in Software Merge for Java Programs via Static Analysis.

Sheikh Shadab Towqir, Bowen Shen, Muhammad Ali Gulzar, Na Meng

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Sibylvariant Transformations for Robust Text Classification.

Fabrice Harel-Canada, Muhammad Ali Gulzar, Nanyun Peng, Miryung Kim

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2022, 2022

2021

TrackerSift: untangling mixed tracking and functional web resources.

Abdul Haddi Amjad, Danial Saleem, Muhammad Ali Gulzar, Zubair Shafiq, Fareed Zaffar

Proceedings of the IMC '21: ACM Internet Measurement Conference, 2021

Efficient Fuzz Testing for Apache Spark Using Framework Abstraction.

Qian Zhang, Jiyuan Wang, Muhammad Ali Gulzar, Rohan Padhye, Miryung Kim

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Towards a Serverless Bioinformatics Cyberinfrastructure Pipeline.

Shunyu David Yao, Muhammad Ali Gulzar, Liqing Zhang, Ali Raza Butt

Proceedings of the HiPS@HPDC 2021: Proceedings of the 1st Workshop on High Performance Serverless Computing, 2021

OptDebug: Fault-Inducing Operation Isolation for Dataflow Applications.

Muhammad Ali Gulzar, Miryung Kim

Proceedings of the SoCC '21: ACM Symposium on Cloud Computing, 2021

2020

Automated Testing and Debugging for Big Data Analytics.

Muhammad Ali Gulzar

PhD thesis, 2020

Is neuron coverage a meaningful measure for testing deep neural networks?

Fabrice Harel-Canada, Lingxiao Wang, Muhammad Ali Gulzar, Quanquan Gu, Miryung Kim

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

BigFuzz: Efficient Fuzz Testing for Data Analytics Using Framework Abstraction.

Qian Zhang, Jiyuan Wang, Muhammad Ali Gulzar, Rohan Padhye, Miryung Kim

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

HeteroRefactor: refactoring for heterogeneous computing with FPGA.

Jason Lau, Aishwarya Sivaraman, Qian Zhang, Muhammad Ali Gulzar, Jason Cong, Miryung Kim

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

BigTest: a symbolic execution based systematic test generation tool for Apache spark.

Muhammad Ali Gulzar, Madanlal Musuvathi, Miryung Kim

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

Influence-based provenance for dataflow applications with taint propagation.

Jason Teoh, Muhammad Ali Gulzar, Miryung Kim

Proceedings of the SoCC '20: ACM Symposium on Cloud Computing, 2020

2019

White-box testing of big data analytics with complex user-defined functions.

Muhammad Ali Gulzar, Shaghayegh Mardani, Madanlal Musuvathi, Miryung Kim

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Perception and practices of differential testing.

Muhammad Ali Gulzar, Yongkang Zhu, Xiaofeng Han

Proceedings of the 41st International Conference on Software Engineering: Software Engineering in Practice, 2019

PerfDebug: Performance Debugging of Computation Skew in Dataflow Systems.

Jason Teoh, Muhammad Ali Gulzar, Guoqing Harry Xu, Miryung Kim

Proceedings of the ACM Symposium on Cloud Computing, SoCC 2019, 2019

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

BigSift: automated debugging of big data analytics in data-intensive scalable computing.

Muhammad Ali Gulzar, Siman Wang, Miryung Kim

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Interactive and automated debugging for big data analytics.

Muhammad Ali Gulzar

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

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

Proceedings of the 38th IEEE International Conference on Distributed Computing Systems, 2018

2017

Debugging Big Data Analytics in Spark with <i>BigDebug</i>.

Muhammad Ali Gulzar, Matteo Interlandi, Tyson Condie, Miryung Kim

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Automated debugging in data-intensive scalable computing.

Muhammad Ali Gulzar, Matteo Interlandi, Xueyuan Han, Mingda Li, Tyson Condie, Miryung Kim

Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

2016

BigDebug: interactive debugger for big data analytics in Apache Spark.

Muhammad Ali Gulzar, Matteo Interlandi, Tyson Condie, Miryung Kim

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 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

Proceedings of the 38th International Conference on Software Engineering, 2016

Interactive Debugging for Big Data Analytics.

Muhammad Ali Gulzar, Xueyuan Han, Matteo Interlandi, Shaghayegh Mardani, Sai Deep Tetali, Todd D. Millstein, Miryung Kim

Proceedings of the 8th USENIX Workshop on Hot Topics in Cloud Computing, 2016

Optimizing Interactive Development of Data-Intensive Applications.

Matteo Interlandi, Sai Deep Tetali, Muhammad Ali Gulzar, Joseph Noor, Tyson Condie, Miryung Kim, Todd D. Millstein

Proceedings of the Seventh ACM Symposium on Cloud Computing, 2016

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

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

Proceedings of the 19th Pacific Asia Conference on Information Systems, 2015