92 citations · 266 across the 32 of their papers we have counts for
19 papers · 1 filter
Capturing the Effects of Quantization on Trojans in Code LLMs
Aftab Hussain, Sadegh AlMahdi Kazemi Zarkouei, Md Rafiqul Islam Rabin +3
Large language models of code exhibit high capability in performing diverse software engineering tasks, such as code translation, defect detection, text-to-code generation, and cod…
Unlearning Trojans in Large Language Models: A Comparison Between Natural Language and Source Code
Mahdi Kazemi, Aftab Hussain, Md Rafiqul Islam Rabin +2
This work investigates the application of Machine Unlearning (MU) for mitigating the impact of trojans embedded in conventional large language models of natural language (Text-LLMs…
Harnessing the Power of LLMs: Automating Unit Test Generation for High-Performance Computing
Rabimba Karanjai, Aftab Hussain, Md Rafiqul Islam Rabin +3
Unit testing is crucial in software engineering for ensuring quality. However, it's not widely used in parallel and high-performance computing software, particularly scientific app…
Measuring Impacts of Poisoning on Model Parameters and Embeddings for Large Language Models of Code
Aftab Hussain, Md Rafiqul Islam Rabin, Mohammad Amin Alipour
Large language models (LLMs) have revolutionized software development practices, yet concerns about their safety have arisen, particularly regarding hidden backdoors, aka trojans.…
Trojans in Large Language Models of Code: A Critical Review through a Trigger-Based Taxonomy
Aftab Hussain, Md Rafiqul Islam Rabin, Toufique Ahmed +3
Large language models (LLMs) have provided a lot of exciting new capabilities in software development. However, the opaque nature of these models makes them difficult to reason abo…
Measuring Impacts of Poisoning on Model Parameters and Neuron Activations: A Case Study of Poisoning CodeBERT
Aftab Hussain, Md Rafiqul Islam Rabin, Navid Ayoobi +1
Large language models (LLMs) have revolutionized software development practices, yet concerns about their safety have arisen, particularly regarding hidden backdoors, aka trojans.…
TrojanedCM: A Repository of Trojaned Large Language Models of Code
Aftab Hussain, Md Rafiqul Islam Rabin, Mohammad Amin Alipour
With the rapid growth of research in trojaning deep neural models of source code, we observe that there is a need of developing a benchmark trojaned models for testing various troj…
Occlusion-based Detection of Trojan-triggering Inputs in Large Language Models of Code
Aftab Hussain, Md Rafiqul Islam Rabin, Toufique Ahmed +2
Large language models (LLMs) are becoming an integrated part of software development. These models are trained on large datasets for code, where it is hard to verify each data poin…
Syntax-Guided Program Reduction for Understanding Neural Code Intelligence Models
Md Rafiqul Islam Rabin, Aftab Hussain, Mohammad Amin Alipour
Neural code intelligence (CI) models are opaque black-boxes and offer little insight on the features they use in making predictions. This opacity may lead to distrust in their pred…
Code2Snapshot: Using Code Snapshots for Learning Representations of Source Code
Md Rafiqul Islam Rabin, Mohammad Amin Alipour
There are several approaches for encoding source code in the input vectors of neural models. These approaches attempt to include various syntactic and semantic features of input pr…
Understanding Neural Code Intelligence Through Program Simplification
Md Rafiqul Islam Rabin, Vincent J. Hellendoorn, Mohammad Amin Alipour
A wide range of code intelligence (CI) tools, powered by deep neural networks, have been developed recently to improve programming productivity and perform program analysis. To rel…
Configuring Test Generators using Bug Reports: A Case Study of GCC Compiler and Csmith
Md Rafiqul Islam Rabin, Mohammad Amin Alipour
The correctness of compilers is instrumental in the safety and reliability of other software systems, as bugs in compilers can produce executables that do not reflect the intent of…
On the Generalizability of Neural Program Models with respect to Semantic-Preserving Program Transformations
Md Rafiqul Islam Rabin, Nghi D. Q. Bui, Ke Wang +3
With the prevalence of publicly available source code repositories to train deep neural network models, neural program models can do well in source code analysis tasks such as pred…
Evaluation of Generalizability of Neural Program Analyzers under Semantic-Preserving Transformations
Md Rafiqul Islam Rabin, Mohammad Amin Alipour
The abundance of publicly available source code repositories, in conjunction with the advances in neural networks, has enabled data-driven approaches to program analysis. These app…
Examining user reviews of conversational systems: a case study of Alexa skills
Soodeh Atefi, Andrew Truelove, Matheus Rheinschmitt +3
Conversational systems use spoken language to interact with their users. Although conversational systems, such as Amazon Alexa, are becoming common and afford interesting functiona…
K-CONFIG: Using Failing Test Cases to Generate Test Cases in GCC Compilers
Md Rafiqul Islam Rabin, Mohammad Amin Alipour
The correctness of compilers is instrumental in the safety and reliability of other software systems, as bugs in compilers can produce programs that do not reflect the intents of p…
Data Poisoning: Lightweight Soft Fault Injection for Python
Mohammad Amin Alipour, Alex Groce
This paper introduces and explores the idea of data poisoning, a light-weight peer-architecture technique to inject faults into Python programs. This method requires very small mod…
Bounded Model Checking and Feature Omission Diversity
Mohammad Amin Alipour, Alex Groce
In this paper we introduce a novel way to speed up the discovery of counterexamples in bounded model checking, based on parallel runs over versions of a system in which features ha…
Finding Model-Checkable Needles in Large Source Code Haystacks: Modular Bug-Finding via Static Analysis and Dynamic Invariant Discovery
Mohammad Amin Alipour, Alex Groce, Chaoqiang Zhang +2
In this paper, we present a novel marriage of static and dynamic analysis. Given a large code base with many functions and a mature test suite, we propose using static analysis to…