50 citations · 76 across the 8 of their papers we have counts for
9 papers
Detecting Argument-Swap Bugs Using Context-Enhanced Code Representations
Subrata Das, Ali Aman, Muhammad Asaduzzaman +2
Names of source code elements convey rich semantic information and have been widely used in software engineering tasks such as bug detection, code completion, type prediction, and…
SMTpip: Interpreter-Aware SMT-Based Dependency Conflict Resolution for Restoring Python Source-Code Executability
Sadman Jashim Sakib, Muhammad Asaduzzaman, Curtis Bright
Software developers rely on packages to reuse existing functionality instead of implementing everything from scratch. Python developers commonly provide package and interpreter dep…
Think Harder and Don't Overlook Your Options: Revisiting Issue-Commit Linking with LLM-Assisted Retrieval
Cole Morgan, Muhammad Asaduzzaman, Shaiful Chowdhury +1
Linking issue reports to the commits that resolve them is essential for software traceability, maintenance, and evolution. Accurate issue-commit links help developers to understand…
Static Program Slicing Using Language Models With Dataflow-Aware Pretraining and Constrained Decoding
Pengfei He, Shaowei Wang, Tse-Hsun Chen +1
Static program slicing is a fundamental software engineering technique for isolating code relevant to specific variables. While recent learning-based approaches using language mode…
ZS4C: Zero-Shot Synthesis of Compilable Code for Incomplete Code Snippets using LLMs
Azmain Kabir, Shaowei Wang, Yuan Tian +3
Technical Q&A sites are valuable for software developers seeking knowledge, but the code snippets they provide are often uncompilable and incomplete due to unresolved types and mis…
An improved method of delta summation for faster current value selection across filtered subsets of interval and temporal relational data
Derek Colley, Md Asaduzzaman
Aggregation in relational databases is accomplished through hashing and sorting interval data, which is computationally expensive and scales poorly as the data volumes grow. In thi…
Fast Clustering of Short Text Streams Using Efficient Cluster Indexing and Dynamic Similarity Thresholds
Md Rashadul Hasan Rakib, Muhammad Asaduzzaman
Short text stream clustering is an important but challenging task since massive amount of text is generated from different sources such as micro-blogging, question-answering, and s…
Holography on tessellations of hyperbolic space
Muhammad Asaduzzaman, Simon Catterall, Jay Hubisz +2
We compute boundary correlation functions for scalar fields on tessellations of two- and three-dimensional hyperbolic geometries. We present evidence that the continuum relation be…
Tensor network formulation of two dimensional gravity
Muhammad Asaduzzaman, Simon Catterall, Judah Unmuth-Yockey
We show how to formulate a lattice gauge theory whose naive continuum limit corresponds to two-dimensional (Euclidean) quantum gravity including a positive cosmological constant. M…