14 citations · 47 across the 18 of their papers we have counts for
5 papers · 1 filter
Properties with Holes: Meta-Property-Based Testing of Data-Intensive Computing Frameworks
Yaoxuan Wu, Ingrid Lee, Ahmad Humayun +2
Data-intensive computing frameworks such as Apache Spark and Flink keep expanding their APIs with new data types, expressions, and operators. Their most damaging bugs return silent…
Assessing Large Language Models for Stabilizing Numerical Expressions in Scientific Software
Tien Nguyen, Kirshanthan Sundararajah, Muhammad Ali Gulzar
Scientific software relies on high-precision computation, yet finite floating-point representations introduce precision errors that propagate in safety-critical domains. Despite gr…
Evaluating LLM-Based Test Generation Under Software Evolution
Sabaat Haroon, Mohammad Taha Khan, Muhammad Ali Gulzar
Large Language Models (LLMs) are increasingly used for automated unit test generation. However, it remains unclear whether these tests reflect genuine reasoning about program behav…
TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)
Kabilan Mahathevan, Yining Zhang, Muhammad Ali Gulzar +1
Sparse Tensor Compilers (STCs) have emerged as critical infrastructure for optimizing high-dimensional data analytics and machine learning workloads. The STCs must synthesize compl…
ProToken: Token-Level Attribution for Federated Large Language Models
Waris Gill, Ahmad Humayun, Ali Anwar +1
Federated Learning (FL) enables collaborative training of Large Language Models (LLMs) across distributed data sources while preserving privacy. However, when federated LLMs are de…