output
19962026
most citedSySeVR: A Framework for Using Deep Learning to Detect Software Vulnerabilities

634 citations

302 papers

cs.GT2026★ 2 cited

ABRA: An algorithm which cannot converge to low-quality Nash equilibria

Vartika Singh, Philip N. Brown

We consider a game theoretic approach to solve multi-agent coordination problems with submodular objectives. It is known for such problems that the Nash equilibria for the correspo…

eess.IV2026

Structural MRI Synthesis for Alzheimer's Disease via Conditional Diffusion on Anatomical Masks

Muge Zhang, Muhammad Ali Khaliq, Jamal Alsakran +2

Recent advances in generative machine learning models have significantly improved medical imaging, offering promising solutions for data augmentation, privacy preservation, and imp…

cs.LG2026

Performance Analysis and Optimization of 3D Generative Diffusion Models across GPU Architectures

Jeeho Ryoo, Yongchan Jung, Muhammad Ali Khaliq +3

Diffusion models have become essential for high-fidelity 3D MRI synthesis, yet their deployment remains constrained by substantial GPU resource demands arising from hundreds of U-N…

nlin.PS2026

Chiral solitary waves in a nonlinear topological insulator model

Troy I. Johnson, Justin T. Cole

An outstanding challenge in the field of topological insulators is the realization of nonlinear systems that support coherent traveling waves. Highly nonlinear lattices can suffer…

cs.CL2026★ 2 cited

Explainable AI: Context-Aware Layer-Wise Integrated Gradients for Explaining Transformer Models

Melkamu Abay Mersha, Jugal Kalita

Transformer models achieve state-of-the-art performance across domains and tasks, yet their deeply layered representations make their predictions difficult to interpret. Existing e…

cs.CY2025★ 5 cited

Toxicity in Online Platforms and AI Systems: A Survey of Needs, Challenges, Mitigations, and Future Directions

Smita Khapre, Melkamu Abay Mersha, Hassan Shakil +2

The evolution of digital communication systems and the designs of online platforms have inadvertently facilitated the subconscious propagation of toxic behavior. Giving rise to rea…

math.GR2025

Factorization in Finitely-Presented Monoids

Alfred Geroldinger, Zachary Mesyan

We study arithmetic properties of factorizations of elements into products of generators, in monoids given with explicit presentations. After relating and comparing this perspectiv…

cs.SE2025★ 3 cited

Model-Driven Quantum Code Generation Using Large Language Models and Retrieval-Augmented Generation

Nazanin Siavash, Armin Moin

This paper introduces a novel research direction for model-to-text/code transformations by leveraging Large Language Models (LLMs) that can be enhanced with Retrieval-Augmented Gen…

math.RA2025

Maximal Commutative Subalgebras of Steinberg Algebras

Anna Cichocka, Zachary Mesyan, Michal Ziembowski

We construct large classes of maximal commutative subalgebras in prime Steinberg algebras, generalizing a known result for Leavitt path algebras.

cs.CR2025★ 1 cited

Mitigation of Social Media Platforms Impact on the Users

Smita Khapre, Sudhanshu Semwal

Social media platforms offer numerous benefits and allow people to come together for various causes. Many communities, academia, government agencies, institutions, healthcare, ente…

cs.SE2025★ 1 cited

OrQstrator: An AI-Powered Framework for Advanced Quantum Circuit Optimization

Laura Baird, Armin Moin

We propose a novel approach, OrQstrator, which is a modular framework for conducting quantum circuit optimization in the Noisy Intermediate-Scale Quantum (NISQ) era. Our framework…

cond-mat.quant-gas2025★ 1 cited

Spontaneous Emergence of Phase Coherence in a quasiparticle Bose-Einstein Condensate

Malte Koster, Matthias R. Schweizer, Timo Noack +6

Since their prediction by Einstein at the dawn of quantum mechanics, Bose-Einstein condensates (BECs), owing to their property to show quantum phenomena on macroscopic scales, are…

cs.CR2025

Space Cybersecurity Testbed: Fidelity Framework, Example Implementation, and Characterization

Jose Luis Castanon Remy, Caleb Chang, Ekzhin Ear +1

Cyber threats against space infrastructures, including satellites and systems on the ground, have not been adequately understood. Testbeds are important to deepen our understanding…

cs.SE2025★ 1 cited

LLM-Powered Quantum Code Transpilation

Nazanin Siavash, Armin Moin

There exist various Software Development Kits (SDKs) tailored to different quantum computing platforms. These are known as Quantum SDKs (QSDKs). Examples include but are not limite…

cs.CR2025★ 1 cited

A Novel Active Learning Approach to Label One Million Unknown Malware Variants

Ahmed Bensaoud, Jugal Kalita

Active learning for classification seeks to reduce the cost of labeling samples by finding unlabeled examples about which the current model is least certain and sending them to an…

cs.CL2025★ 15 cited

Explainable AI: XAI-Guided Context-Aware Data Augmentation

Melkamu Abay Mersha, Mesay Gemeda Yigezu, Atnafu Lambebo Tonja +4

Explainable AI (XAI) has emerged as a powerful tool for improving the performance of AI models, going beyond providing model transparency and interpretability. The scarcity of labe…

math-ph2025★ 2 cited

Solitary wave-mean flow interaction in strongly nonlineardispersive shallow water waves

Thibault Congy, Gennady El, Sergey Gavrilyuk +2

The interaction of a solitary wave and a slowly varying mean background or flow for the Serre-Green-Naghdi (SGN) equations is studied using Whitham modulation theory. The exact for…

cond-mat.mtrl-sci2025★ 2 cited

Ultra-long-living magnons in the quantum limit

Rostyslav O. Serha, Kaitlin H. McAllister, Fabian Majcen +8

Solid-state platforms based on bosonic quasiparticles offer a compelling route toward on-chip quantum information technologies scalable to nanometer dimensions. Coherence time, a k…

cs.SD2025★ 7 cited

TinyML for Speech Recognition

Andrew Barovic, Armin Moin

We train and deploy a quantized 1D convolutional neural network model to conduct speech recognition on a highly resource-constrained IoT edge device. This can be useful in various…

cs.SE2025★ 2 cited

Automated Duplicate Bug Report Detection in Large Open Bug Repositories

Clare E. Laney, Andrew Barovic, Armin Moin

Many users and contributors of large open-source projects report software defects or enhancement requests (known as bug reports) to the issue-tracking systems. However, they someti…

math.OC2025★ 1 cited

Stability of Polling Systems for a Large Class of Markovian Switching Policies

Konstantin Avrachenkov, Kousik Das, Veeraruna Kavitha +1

We consider a polling system with two queues, where a single server is attending the queues in a cyclic order and requires non-zero switching times to switch between the queues. Ou…

math.GR2025★ 2 cited

Conjugacy and Least Commutative Congruences in Semigroups

Zachary Mesyan

Given a semigroup and , write if and , for some . This relation, known as "primary conjugacy", along with its trans…

physics.flu-dyn2025★ 2 cited

Scatterless interferences: Delay of laminar-to-turbulent flow transition by a lattice of subsurface phonons

Mahmoud I. Hussein, David Roca, Adam R. Harris +1

Wave interference has historically relied on scattering objects placed within the wave domain. Here, we introduce a fundamentally new mechanism: scatterless interference induced by…

cs.CR2025★ 2 cited

"We just did not have that on the embedded system": Insights and Challenges for Securing Microcontroller Systems from the Embedded CTF Competitions

Zheyuan Ma, Gaoxiang Liu, Alex Eastman +6

Microcontroller systems are integral to our daily lives, powering mission-critical applications such as vehicles, medical devices, and industrial control systems. Therefore, it is…