5 papers
Impossible to hide secret ...: Uncovering Security and Privacy Issues in LLM-native IDEs
Mostafijur Rahman Akhond, Md Afif Al Mamun, Gias Uddin +1
LLM-native IDEs (Integrated Development Environments), aka LIDEs, are designed from the ground up to work with Large Language Models (LLMs). LIDEs have found remarkable success in…
LLM Assisted Coding with Metamorphic Specification Mutation Agent
Mostafijur Rahman Akhond, Gias Uddin
Metamorphic Relations (MRs) serve as a foundational mechanism for generating semantically equivalent mutations. Software engineering has advanced significantly in recent years with…
LLM For Loop Invariant Generation and Fixing: How Far Are We?
Mostafijur Rahman Akhond, Saikat Chakraborty, Gias Uddin
A loop invariant is a property of a loop that remains true before and after each execution of the loop. The identification of loop invariants is a critical step to support automate…
Applications and Challenges of Fairness APIs in Machine Learning Software
Ajoy Das, Gias Uddin, Shaiful Chowdhury +2
Machine Learning software systems are frequently used in our day-to-day lives. Some of these systems are used in various sensitive environments to make life-changing decisions. The…
A Systematic Study and Analysis of Bengali Folklore with Natural Language Processing Systems
Mustain Billah, Md. Mynoddin, Mostafijur Rahman Akhond +4
Folklore, a solid branch of folk literature, is the hallmark of any nation or any society. Such as oral tradition; as proverbs or jokes, it also includes material culture as well a…