activity
20192026
most citedHolography on tessellations of hyperbolic space

50 citations · 51 across the 6 of their papers we have counts for

collaborators
Showing cs.SEShow all

5 papers · 1 filter

cs.SE2026

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…

cs.SE2026

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…

cs.SE2026

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…

cs.SE2026

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…

cs.SE2024

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…