From the 1 of 4 linked papers with an AI index.
4 papers
Impossible to hide secret ...: Uncovering Security and Privacy Issues in LLM-native IDEs
Mostafijur Rahman Akhond, Md Afif Al Mamun, Gias Uddin +1
The paper investigates security and privacy concerns reported by developers using LLM-native IDEs, analyzing Reddit discussions to build a taxonomy of issues and suggesting design…
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…