中文
相关论文

相关论文: ARTENOLIS: Automated Reproducibility and Testing E…

200 篇论文

Software systems have grown as an indispensable commodity used across various industries, and almost all essential services depend on them for effective operation. The software is no longer an independent or stand-alone piece of code…

软件工程 · 计算机科学 2025-05-29 Ritwik Murali , Akash Ravi

Software ecosystems like Maven Central play a crucial role in modern software supply chains by providing repositories for libraries and build plugins. However, the separation between binaries and their corresponding source code in Maven…

密码学与安全 · 计算机科学 2025-09-11 Behnaz Hassanshahi , Trong Nhan Mai , Benjamin Selwyn Smith , Nicholas Allen

Artifact evaluation has been adopted in the Software Engineering (SE) research community for 15 years, substantially improving research reproducibility across major SE conferences. However, this success has introduced a growing scalability…

软件工程 · 计算机科学 2026-02-04 Zhaonan Wu , Yanjie Zhao , Zhenpeng Chen , Zheng Wang , Haoyu Wang

Prior to the public release of Kubernetes it was difficult to conduct joint development of elaborate analysis facilities due to the highly non-homogeneous nature of hardware and network topology across compute facilities. However, since the…

The operation of instruments and detectors in laboratory or beamline environments presents a complex challenge, requiring stable operation of multiple concurrent devices, often controlled by separate hardware and software solutions. These…

Software vulnerabilities remain a significant risk factor in achieving security objectives within software development organizations. This is especially true where either proprietary or open-source software (OSS) is included in the…

软件工程 · 计算机科学 2025-09-23 James J. Cusick

Open-source libraries are widely used by software developers to speed up the development of products, however, they can introduce security vulnerabilities, leading to incidents like Log4Shell. With the expanding usage of open-source…

The detection of vulnerabilities in smart contracts remains a significant challenge. While numerous tools are available for analyzing smart contracts in source code, only about 1.79% of smart contracts on Ethereum are open-source. For…

密码学与安全 · 计算机科学 2025-09-04 Wenkai Li , Xiaoqi Li , Yingjie Mao , Yuqing Zhang

Continual reinforcement learning (CRL) requires agents to learn from a sequence of tasks without forgetting previously acquired policies. In this work, we introduce a novel benchmark suite for CRL based on realistically simulated robots in…

机器学习 · 计算机科学 2026-02-05 Yannick Denker , Alexander Gepperth

Reinforcement learning (RL) post-training has become a trending paradigm for enhancing the capabilities of large language models (LLMs). Most existing RL systems for LLMs operate in a fully synchronous manner, where training must wait for…

机器学习 · 计算机科学 2025-11-11 Zekai Qu , Yinxu Pan , Ao Sun , Chaojun Xiao , Xu Han

Existing synthetic tool-use corpora are primarily designed for offline supervised fine-tuning, yet reinforcement learning (RL) requires executable environments that support reward-checkable online rollouts. We propose COVERT, a two-stage…

人工智能 · 计算机科学 2026-04-14 Siyuan Xu , Shiyang Li , Xin Liu , Tianyi Liu , Yixiao Li , Zhan Shi , Zixuan Zhang , Zilong Wang , Qingyu Yin , Jianshu Chen , Tuo Zhao , Bing Yin

Despite extensive safety alignment, Large Language Models (LLMs) remain vulnerable to jailbreak attacks. However, existing methods generally lack the capability for continuous learning and self-evolution from interactions, limiting the…

密码学与安全 · 计算机科学 2026-04-21 Xu Liu , Yan Chen , Kan Ling , Yichi Zhu , Hengrun Zhang , Guisheng Fan , Huiqun Yu

Autonomic computing has been proposed recently as a way to address the difficult management of applications whose complexity is constantly increasing. Autonomous applications will have to be especially flexible and be able to monitor…

网络与互联网体系结构 · 计算机科学 2009-09-29 Simon Patarin , Mesaac Makpangou

Context: Software Engineering research makes use of collections of software artifacts (corpora) to derive empirical evidence from. Goal: To improve quality and reproducibility of research, we need to understand the characteristics of used…

软件工程 · 计算机科学 2013-04-04 Ekaterina Pek , Ralf Lämmel

The regulAS software package is a bioinformatics tool designed to support computational biology researchers in investigating regulatory mechanisms of splicing alterations through integrative analysis of large-scale RNA-Seq data from cancer…

基因组学 · 定量生物学 2023-07-26 Sofya Lipnitskaya

Software-defined vehicles (SDVs) offer a wide range of connected functionalities, including enhanced driving behavior and fleet management. These features are continuously updated via over-the-air (OTA) mechanisms, resulting in a growing…

软件工程 · 计算机科学 2025-07-28 Matthias Weiß , Anish Navalgund , Johannes Stümpfle , Falk Dettinger , Michael Weyrich

As over 200 million new malware samples are identified each year, antivirus systems must continuously adapt to the evolving threat landscape. However, retraining solely on new samples leads to catastrophic forgetting and exploitable blind…

密码学与安全 · 计算机科学 2026-05-15 Zahra Asadi , Haeseung Jeon , Sohyun Han , Md Mahmuduzzaman Kamol , Se Eun Oh , Mohammad Saidur Rahman

For agentic systems to use external tools to solve complex, long-horizon tasks, we need a large set of diverse and controllable tool-use environments. We introduce SynthTools, a fully LLM-based pipeline spanning the entire lifecycle:…

This paper introduces anomalib, a novel library for unsupervised anomaly detection and localization. With reproducibility and modularity in mind, this open-source library provides algorithms from the literature and a set of tools to design…

计算机视觉与模式识别 · 计算机科学 2022-02-18 Samet Akcay , Dick Ameln , Ashwin Vaidya , Barath Lakshmanan , Nilesh Ahuja , Utku Genc

Generative AI coding assistants (ACAs) are widely adopted yet pose serious legal and compliance risks. ACAs can generate code governed by restrictive open-source licenses (e.g., GPL), potentially exposing companies to litigation or forced…