Expertini Research Research

Browse Research Papers

40,120+ open-access research outputs.

โœ• Clear
๐Ÿ” program development ๐Ÿ“‚ Computer Science
Showing 40120 results for "program development" in Computer Science
Computer Science Preprint PDF DOI

RAVEN: Retrieval-Augmented Vulnerability Exploration Network for Memory Corruption Analysis in User Code and Binary Programs

Parteek Jamwal, Minghao Shao, Boyuan Chen, Achyuta Muthuvelan, Asini Subanya, Boubacar Ballo, Kashish Satija, Mariam Shafey, Mohamed Mahmoud, Moncif Dahaji Bouffi, Pasindu Wickramasinghe, Siyona Goel, Yaakulya Sabbani, Hakim Hacid, Mthandazo Ndhlovu, Eleanna Kafeza, Sanjay Rawat, Muhammad Shafique ยท 2026

Large Language Models (LLMs) have demonstrated remarkable capabilities across various cybersecurity tasks, including vulnerability classification, detection, and patching. However, their potential in โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Empowering Vocabulary Learning Through Teaching AI: Using LLMs as a Student to Perform Learning by Teaching in Vocabulary Acquisition

Tokio Uchida, Ko Watanabe, Andrew Vargo, Shoya Ishimaru, Ralph L. Rose, Ayaka Sugawara, Andreas Dengel, Koichi Kise ยท 2026

"Learning by Teaching (LbT)" helps learners deepen their understanding by explaining concepts to others, with questions playing a vital role in identifying knowledge gaps and reinforcing comprehensionโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Scaling Human-AI Coding Collaboration Requires a Governable Consensus Layer

Tianfu Wang, Zhezheng Hao, Yin Wu, Wei Wu, Qiang Lin, Hande Dong, Nicholas Jing Yuan, Hui Xiong ยท 2026

Vibe coding produces correct, executable code at speed, but leaves no record of the structural commitments, dependencies, or evidence behind it. Reviewers cannot determine what invariants were assumedโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Learning from AVA: Early Lessons from a Curated and Trustworthy Generative AI for Policy and Development Research

Nimisha Karnatak, Mohamad Chatila, Daniel Alejandro Pinzon Hernandez, Reza Yazdanfar, Michelle Dugas, Renos Vakis ยท 2026

General-purpose LLMs pose misinformation risks for development and policy experts, lacking epistemic humility for verifiable outputs. We present AVA (AI + Verified Analysis), a GenAI platform built onโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Raven: Rethinking Automated Assessment for Scratch Programs via Video-Grounded Evaluation

Donglin Li, Daming Li, Hanyuan Shi, Jialu Zhang ยท 2026

Block-based programming environments such as Scratch are widely used in introductory computing education, yet scalable and reliable automated assessment remains elusive. Scratch programs are highly heโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Do LLMs Need to See Everything? A Benchmark and Study of Failures in LLM-driven Smartphone Automation using Screentext vs. Screenshots

Shiquan Zhang, Tianyi Zhang, Le Fang, Simon D'Alfonso, Hong Jia, Vassilis Kostakos ยท 2026

With the rapid advancement of large language models (LLMs), mobile agents have emerged as promising tools for phone automation, simulating human interactions on screens to accomplish complex tasks. Hoโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Understanding Secret Leakage Risks in Code LLMs: A Tokenization Perspective

Meifang Chen, Zhe Yang, Huang Nianchen, Yizhan Huang, Yichen Li, Zihan Li, Michael R. Lyu ยท 2026

Code secrets are sensitive assets for software developers, and their leakage poses significant cybersecurity risks. While the rapid development of AI code assistants powered by Code Large Language Modโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Party Autonomy in Determining the Law Applicable to Non-contractual Obligations concerning Cross-Border Data Transfers

Yuki Okamura, Ren Yatsunami, Kumiko Kameishi, Oliver Posani, Soma Araoka, Miho Ikeda, Makiko Aoyagi ยท 2026

(1)Cross-border data transfers have become a matter of daily occurrence against the backdrop of the development of cloud computing and artificial intelligence. Consequently, where a data leak gives riโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

A Quasi-Experimental Developer Study of Security Training in LLM-Assisted Web Application Development

Mohammed Kharma, Ahmed Sabbah, Radi Jarrar, Samer Zain, Mohammad Alkhanafseh, David Mohaisen ยท 2026

This paper presents a controlled quasi-experimental developer study examining whether a layer-based security training package is associated with improved security quality in LLM-assisted implementatioโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

SDLLMFuzz: Dynamic-static LLM-assisted greybox fuzzing for structured input programs

Yihao Zou, Tianming Zheng, Futai Zou, Yue Wu ยท 2026

Fuzzing has become a widely adopted technique for vulnerability discovery, yet it remains ineffective for structured-input programs due to strict syntactic constraints and limited semantic awareness. โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Revisiting Code Debloating with Ground Truth-based Evaluation

Muhammad Bilal, Moiz Ali, Mohit Kumar, Fareed Zaffar, Fahad Shaon, Ashish Gehani, Sazzadur Rahaman ยท 2026

Program debloating aims to remove unused code to reduce performance overhead, attack surfaces, and maintenance costs. Over time, debloating has evolved across multiple layers (container, library, and โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Program Structure-aware Language Models: Targeted Software Testing beyond Textual Semantics

Khang Tran, Khoa Nguyen, Cristian Borcea, NhatHai Phan ยท 2026

Recent advances in large language models for test case generation have improved branch coverage via prompt-engineered mutations. However, they still lack principled mechanisms for steering models towaโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

SelfHeal: Empirical Fix Pattern Analysis and Bug Repair in LLM Agents

Niful Islam, Muhammad Anas Raza, Mohammad Wardat ยท 2026

Large Language Models (LLMs) have transformed software development and AI applications. While LLMs are designed for text processing, LLM agents extend this capability by enabling autonomous actions, tโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Beyond the YAML File: Understanding Real-World GitHub Actions Workflow Adoption

Ali Khatami, Carolin Brandt, Andy Zaidman ยท 2026

Continuous Integration and Continuous Deployment (CI/CD) have become fundamental to modern software development, with GitHub Actions (GHA) emerging as a dominant automation platform. In this study, weโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Refresher Training through Quiz App for capacity building of Community Healthcare Workers or Anganwadi Workers in India

Arka Majhi, Satish B. Agnihotri, Aparajita Mondal ยท 2026

High and persistent child malnutrition levels with tardy reduction, seen in successive health surveys, continue to be a matter of concern in India, drawing attention to the need to revamp the four-decโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Provable Coordination for LLM Agents via Message Sequence Charts

Benedikt Bollig, Matthias Fugger, Thomas Nowak ยท 2026

Multi-agent systems built on large language models (LLMs) are difficult to reason about. Coordination errors such as deadlocks or type-mismatched messages are often hard to detect through testing. We โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Explainable Attention-Based LSTM Framework for Early Detection of AI-Assisted Ransomware via File System Behavioral Analysis

Prabhudarshi Nayak, Gogulakrishnan Thiyagarajan, Debashree Priyadarshini, Vinay Bist, Rohan Swain ยท 2026

Ransomware continues to evolve as one of the most disruptive cyber threats, with recent variants increasingly leveraging automated and AI-assisted techniques to evade traditional signature-based defenโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Project Prometheus: Bridging the Intent Gap in Agentic Program Repair via Reverse-Engineered Executable Specifications

Yongchao Wang, Zhiqiu Huang ยท 2026

The transition from neural machine translation to agentic workflows has revolutionized Automated Program Repair (APR). However, existing agents, despite their advanced reasoning capabilities, frequentโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Precise Debugging Benchmark: Is Your Model Debugging or Regenerating?

Wang Bill Zhu, Miaosen Chai, Shangshang Wang, Yejia Liu, Song Bian, Honghua Dong, Willie Neiswanger, Robin Jia ยท 2026

Unlike code completion, debugging requires localizing faults and applying targeted edits. We observe that frontier LLMs often regenerate correct but over-edited solutions during debugging. To evaluateโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Clover: A Neural-Symbolic Agentic Harness with Stochastic Tree-of-Thoughts for Verified RTL Repair

Zizhang Luo, Yansong Xu, Runlin Guo, Fan Cui, Kexing Zhou, Mile Xia, Hongyuan Hou, Yuhao Luo, Yun Liang ยท 2026

RTL program repair remains a critical bottleneck in hardware design and verification. Traditional automatic program repair (APR) methods rely on predefined templates and synthesis, limiting their bug โ€ฆ

Read Paper โ†’
โ† Prev Page 11 of 2006 Next โ†’