English
Related papers

Related papers: Setting Out a Software Stack Capable of Hosting a …

200 papers

DARPA's AI Cyber Challenge (AIxCC) showed that cyber reasoning systems (CRSs) can go beyond vulnerability discovery to autonomously confirm and patch bugs: seven teams built such systems and open-sourced them after the competition. Yet all…

Cryptography and Security · Computer Science 2026-03-26 Andrew Chin , Dongkwan Kim , Yu-Fu Fu , Fabian Fleischer , Youngjoon Kim , HyungSeok Han , Cen Zhang , Brian Junekyu Lee , Hanqing Zhao , Taesoo Kim

Data Science research is undergoing a revolution fueled by the transformative power of technology, the Internet, and an ever increasing computational capacity. The rate at which sophisticated algorithms can be developed is unprecedented,…

The use of machine learning in cyber-physical systems has attracted the interest of both industry and academia. However, no general solution has yet been found against the unpredictable behavior of neural networks and reinforcement learning…

Robotics · Computer Science 2025-05-01 Federico Nesti , Gianluca D'Amico , Mauro Marinoni , Giorgio Buttazzo

Known attempts to build autonomous robots rely on complex control architectures, often implemented with the Robot Operating System platform (ROS). Runtime adaptation is needed in these systems, to cope with component failures and with…

Multi Scenario Recommendation (MSR) tasks, referring to building a unified model to enhance performance across all recommendation scenarios, have recently gained much attention. However, current research in MSR faces two significant…

Information Retrieval · Computer Science 2025-10-14 Xiaopeng Li , Jingtong Gao , Pengyue Jia , Xiangyu Zhao , Yichao Wang , Wanyu Wang , Yejing Wang , Yuhao Wang , Xiangyu Zhao , Huifeng Guo , Ruiming Tang

Immersive virtual reality (VR) applications impose stringent requirements on latency, energy efficiency, and computational resources, particularly in multi-user interactive scenarios. To address these challenges, we introduce the concept of…

Information Theory · Computer Science 2025-10-17 Caolu Xu , Zhiyong Chen , Meixia Tao , Li Song , Wenjun Zhang

The interest in virtualization has been growing rapidly in the IT industry because of inherent benefits like better resource utilization and ease of system manageability. The experimentation and use of virtualization as well as the…

Networking and Internet Architecture · Computer Science 2011-05-03 Ishtiaq Ali , Natarajan Meghanathan

Simulation software is a powerful tool for robotics research, allowing the virtual representation of the real world. However with the rise of the Robot Operating System (ROS), there are new simulation software packages that have not been…

Robotics · Computer Science 2022-04-14 Florent P. Audonnet , Andrew Hamilton , Gerardo Aragon-Camarasa

There is an emerging consensus in the scientific software community that progress in scientific research is dependent on the "quality and accessibility of software at all levels" (wssspe.researchcomputing.org.uk/). This progress depends on…

Software Engineering · Computer Science 2018-04-10 George K. Thiruvathukal , Shilpika , Nicholas J. Hayward , Konstantin Läufer

Artificial intelligence systems are increasingly deployed in domains that shape human behaviour, institutional decision-making, and societal outcomes. Existing responsible AI and governance efforts provide important normative principles but…

Artificial Intelligence · Computer Science 2025-12-19 Otman A. Basir

Robotics simulation plays an important role in the design, development, and verification and validation of robotic systems. Recent studies have shown that simulation may be used as a cheaper, safer, and more reliable alternative to manual,…

Robotics · Computer Science 2020-04-17 Afsoon Afzal , Deborah S. Katz , Claire Le Goues , Christopher S. Timperley

This manual describes the competition software for the Simulated Car Racing Championship, an international competition held at major conferences in the field of Evolutionary Computation and in the field of Computational Intelligence and…

Artificial Intelligence · Computer Science 2013-04-30 Daniele Loiacono , Luigi Cardamone , Pier Luca Lanzi

In robotics, data acquisition often plays a key part in unknown environment exploration. For example, storing information about the topography of the explored terrain or the natural dangers in the environment can inform the decision-making…

Robotics · Computer Science 2022-01-06 Samuel Arseneault , David Vielfaure , Giovanni Beltrame

Academic institutions and their staff use, adapt and create software. We're thinking of business tools used to carry out their mission: teaching management (Moodle) or subject teaching support (such as Maxima for formal calculus), for…

Computers and Society · Computer Science 2024-03-25 Nicolas Jullien

Building software that can support the huge growth in data and computation required by modern research needs individuals with increasingly specialist skill sets that take time to develop and maintain. The Research Software Engineering…

Software Engineering · Computer Science 2023-01-26 J. Cohen , D. S. Katz , M. Barker , N. Chue Hong , R. Haines , C. Jay

Recent developments in the commercial open source community have catalysed the use of Linux containers for scalable deployment of web-based applications to the cloud. Scientific software can be containerized with dependencies, configuration…

Software Engineering · Computer Science 2015-09-30 Robert Nagler , David Bruhwiler , Paul Moeller , Stephen Webb

Open Source Software (OSS) projects offer valuable opportunities to train the next generation of software engineers while benefiting projects and society as a whole. While research has extensively explored student participation in OSS and…

Software Engineering · Computer Science 2025-04-25 Italo Santos , Katia Romero Felizardo , Bianca Trinkereinch , Daniel M. German , Igor Steinmacher , Marco A. Gerosa

Virtual testing has emerged as an effective approach to accelerate the deployment of automated driving systems. Nevertheless, existing simulation toolchains encounter difficulties in integrating rapid, automated scenario generation with…

Robotics · Computer Science 2025-07-10 Dong Bi , Yongqi Zhao , Zhengguo Gu , Tomislav Mihalj , Jia Hu , Arno Eichberger

Mining Software Repositories (MSRs) is an evidence-based methodology that cross-links data to uncover actionable information about software systems. Empirical studies in software engineering often leverage MSR techniques as they allow…

Software Engineering · Computer Science 2022-02-25 Melina Vidoni , Nicolás E. Díaz Ferreyra

Modern science is relying on software more than ever. The behavior and outcomes of this software shape the scientific and public discourse on important topics like climate change, economic growth, or the spread of infections. Most…

Software Engineering · Computer Science 2025-01-09 Adrian Bajraktari , Michelle Binder , Andreas Vogelsang