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

Research on the efficiency of data loading and storage in Data Lakehouse architectures for the formation of analytical data systems

Ivan Borodii, Halyna Osukhivska ยท 2026

The paper presents a study of the efficiency of loading and storing data in the three most common Data Lakehouse systems, including Apache Hudi, Apache Iceberg, and Delta Lake, using Apache Spark as aโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

A Stackelberg Model for Hybridization in Cryptography

Willie Kouam, Stefan Rass, Zahra Seyedi, Shahzad Ahmad, Eckhard Pfluegel ยท 2026

Similar to a strategic interaction between rational and intelligent agents, cryptography problems can be examined through the prism of game theory. In this setting, the agent aiming to protect a messaโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

A wave-geometric duality for hyperdimensional computing

Tyler L. Poore (Independent Researcher) ยท 2026

Hyperdimensional computing (HDC), also referred to as vector symbolic architectures (VSA), represents information with high-dimensional vectors and a compact algebra of primitives. This paper establisโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Physically Unclonable Functions for Secure IoT Authentication and Hardware-Anchored AI Model Integrity

Maryam Taghi Zadeh, Mohsen Ahmadi ยท 2026

The rapid integration of artificial intelligence (AI) into Internet of Things (IoT) and edge computing systems has intensified the need for robust, hardware-rooted trust mechanisms capable of ensuringโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Structural Quality Gaps in Practitioner AI Governance Prompts: An Empirical Study Using a Five-Principle Evaluation Framework

Christo Zietsman ยท 2026

AI governance programmes increasingly rely on natural language prompts to constrain and direct AI agent behaviour. These prompts function as executable specifications: they define the agent's mandate,โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)

Omer Sakar, Soham Chakraborty, Marieke Huisman, Anton Wijs ยท 2026

Concurrent programming under weak memory concurrency faces substantial challenges to ensure correctness due to program behaviors that cannot be explained by thread interleaving, a.k.a. sequential consโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Automated Extraction of Pharmacokinetic Parameters from Structured XML Scientific Articles: Enhancing Data Accessibility at Scale

Remya Ampadi Ramachandran, Lisa A. Tell, Sidharth Rai, Nuwan Millagaha Gedara, Hossein Sholehrasa, Jim E. Riviere, Majid Jaberi-Douraki ยท 2026

In the field of pharmacology, there is a notable absence of centralized, comprehensive, and up-to-date repositories of PK data. This poses a significant challenge for R&D as it can be a time-consumingโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Strategic Polysemy in AI Discourse: A Philosophical Analysis of Language, Hype, and Power

Travis LaCroix, Fintan Mallory, Sasha Luccioni ยท 2026

This paper examines the strategic use of language in contemporary artificial intelligence (AI) discourse, focusing on the widespread adoption of metaphorical or colloquial terms like "hallucination", โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

White Paper: Human-AI Collaboration in Conflict Analysis: Text Classifier Development with Peacebuilders

Allan Kipyator Kipkemboi Cheboi, Julie Hawke, Hussam Abualfatah, Andrew Sutjahjo, Daniel Burkhardt Cerigo, Rachael Olpengs, William OBrien ยท 2026

This paper documents a collaborative research process involving peacebuilders and data scientists in Kenya and Sudan to develop AI-based text classifiers for monitoring online polarization and hatespeโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

An Analysis of Attack Vectors Against FIDO2 Authentication

Alexander Berladskyy, Andreas A{ss}muth ยท 2026

Phishing attacks remain one of the most prevalent threats to online security, with the Anti-Phishing Working Group reporting over 890,000 attacks in Q3 2025 alone. Traditional password-based authenticโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Synthesizing Multi-Agent Harnesses for Vulnerability Discovery

Hanzhi Liu, Chaofan Shou, Xiaonan Liu, Hongbo Wen, Yanju Chen, Ryan Jingyang Fang, Yu Feng ยท 2026

LLM agents have begun to find real security vulnerabilities that human auditors and automated fuzzers missed for decades, in source-available targets where the analyst can build and instrument the codโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Designing a Visualization Atlas: Lessons & Reflections from The UK Co-Benefits Atlas for Climate Mitigation

Jinrui Wang, Alexis Pister, Sian Phillips, Sarah Bissett, Ruaidhri Higgins-Lavery, Clare Wharmby, Andrew Sudmant, Uta Hinrichs, Benjamin Bach ยท 2026

This paper reports on the process of designing the UK Co-Benefits Atlas, which communicates and publicizes data for climate mitigation. Visualization atlases -- an emerging type of platform to make daโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Autark: A Serverless Toolkit for Prototyping Urban Visual Analytics Systems

Lucas Alexandre, Joao Rulff, Talisson Souza, Gustavo Moreira, Daniel de Oliveira, Claudio Silva, Fabio Miranda, Marcos Lage ยท 2026

The development of visual analytics (VA) systems has traditionally been a labor-intensive process, balancing design methodologies with complex software engineering practices. In domain-specific fieldsโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Reducing Maintenance Burden in Behaviour-Driven Development: A Paraphrase-Robust Duplicate-Step Detector with a 1.1M-Step Open Benchmark

Ali Hassaan Mughal, Noor Fatima, Muhammad Bilal ยท 2026

Context. Behaviour-Driven Development (BDD) suites in Gherkin accumulate step-text duplication with documented maintenance cost. Prior detectors either require runnable tests or are single-organisโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

On the Informativeness of Security Commit Messages: A Large-scale Replication Study

Syful Islam, Stefano Zacchiroli ยท 2026

The informativeness of security-related commit messages is crucial for patch triage: when high, it enables the rapid distribution and deployment of security fixes. Prior research (Reis et al., 2023) rโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Shift-Up: A Framework for Software Engineering Guardrails in AI-native Software Development -- Initial Findings

Petrus Lipsanen, Liisa Rannikko, Francois Christophe, Konsta Kalliokoski, Vlad Stirbu, Tommi Mikkonen ยท 2026

Generative AI (GenAI) is reshaping software engineering by shifting development from manual coding toward agent-driven implementation. While vibe coding promises rapid prototyping, it often suffers frโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Extending Contract Verification for Parallel Programming Models to Fortran

Yussur Mustafa Oraji, Christian Bischof ยท 2026

High-performance computing often relies on parallel programming models such as MPI for distributed-memory systems. While powerful, these models are prone to subtle programming errors, leading to develโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

A Rocq Formalization of Simplicial Lagrange Finite Elements

Sylvie Boldo (TOCCATA), Francois Clement (SERENA, CERMICS UMR 9032), Vincent Martin (LMAC), Micaela Mayero (TOCCATA, LIPN), Houda Mouhcine (TOCCATA, LIPN, SERENA, CERMICS UMR 9032) ยท 2026

Formalization of mathematics is a major topic, that includes in particular numerical analysis, towards proofs of scientific computing programs. The present study is about the finite element method, a โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

e112: A Context-Aware Mobile Emergency Communication Platform Leveraging Smartphone Sensing and Cloud Services

Katerina Ioannidou, Marios D. Dikaiakos, Athena Stassopoulou ยท 2026

This paper presents e112, a context-aware mobile emergency response application designed to strengthen communication between citizens and authorities during disasters. Building on the ubiquity of smarโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Taint-Style Vulnerability Detection and Confirmation for Node.js Packages Using LLM Agent Reasoning

Ronghao Ni, Mihai Christodorescu, Limin Jia ยท 2026

The rapidly evolving Node$.$js ecosystem currently includes millions of packages and is a critical part of modern software supply chains, making vulnerability detection of Node$.$js packages increasinโ€ฆ

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