Cover Image

Towards Richer Challenge Problems for Scientific Computing Correctness

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sottile, Matthew, Tekriwal, Mohit, Sarracino, John
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Mathematical Software
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Agentic Scientific Simulation: Execution-Grounded Model Construction and Reconstruction
by: Lie, Knut-Andreas, et al.
Published: (2026)

Experience converting a large mathematical software package written in C++ to C++20 modules
by: Bangerth, Wolfgang
Published: (2025)

Enhancing non-Perl bioinformatic applications with Perl: Building novel, component based applications using Object Orientation, PDL, Alien, FFI, Inline and OpenMP
by: Argyropoulos, Christos
Published: (2024)

TypedMatrices.jl: An Extensible and Type-Based Matrix Collection for Julia
by: Zhang, Anzhi, et al.
Published: (2025)

Maestro: Intelligent Execution for Quantum Circuit Simulation
by: Bertomeu, Oriol, et al.
Published: (2025)

evomap: A Toolbox for Dynamic Mapping in Python
by: Matthe, Maximilian
Published: (2025)

Revealing Floating-Point Accumulation Orders in Software/Hardware Implementations
by: Xie, Peichen, et al.
Published: (2024)

GlycoPy: A CasADi-based Python Framework for Hierarchical Modeling, Optimization, and Control of Bioprocesses
by: Ma, Yingjie, et al.
Published: (2026)

PyTracer: Automatically profiling numerical instabilities in Python
by: Chatelain, Yohan, et al.
Published: (2021)

UMAT4COMSOL: An Abaqus user material (UMAT) subroutine wrapper for COMSOL
by: Lucarini, S., et al.
Published: (2024)

A Symbolic Computing Perspective on Software Systems
by: Norman, Arthur C., et al.
Published: (2024)

Automatically Detecting Heterogeneous Bugs in High-Performance Computing Scientific Software
by: Davis, Matthew, et al.
Published: (2025)

A Fast and Scalable Pathwise-Solver for Group Lasso and Elastic Net Penalized Regression via Block-Coordinate Descent
by: Yang, James, et al.
Published: (2024)

A Study of Scientific Computational Notebook Quality
by: Kashiwa, Shun, et al.
Published: (2026)

Adaptation of XAI to Auto-tuning for Numerical Libraries
by: Aoki, Shota, et al.
Published: (2024)

Enabling mixed-precision with the help of tools: A Nekbone case study
by: Chen, Yanxiang, et al.
Published: (2024)

Open Source Prover in the Attic
by: Kovács, Zoltán, et al.
Published: (2024)

Temporal Network Analysis of Microservice Architectural Degradation
by: Bakhtin, Alexander
Published: (2025)

Leveraging Network Methods for Hub-like Microservice Detection
by: Bakhtin, Alexander, et al.
Published: (2025)

A Framework for Supporting the Reproducibility of Computational Experiments in Multiple Scientific Domains
by: Costa, Lázaro, et al.
Published: (2025)

Towards LLM-Powered Task-Aware Retrieval of Scientific Workflows for Galaxy
by: Cynthia, Shamse Tasnim, et al.
Published: (2025)

pyGinkgo: A Sparse Linear Algebra Operator Framework for Python
by: Tuteja, Keshvi, et al.
Published: (2025)

Performant Automatic BLAS Offloading on Unified Memory Architecture with OpenMP First-Touch Style Data Movement
by: Li, Junjie
Published: (2024)

Basilisk and Docker for Reproducible GN&C Simulation: A Workflow Reference
by: Gupta, Anubhav
Published: (2026)

An Empirical Investigation on the Challenges in Scientific Workflow Systems Development
by: Alam, Khairul, et al.
Published: (2024)

Automated Statistical Testing and Certification of a Reliable Model-Coupling Server for Scientific Computing
by: Wolfgang, Seth, et al.
Published: (2025)

EZInput: A Cross-Environment Python Library for Easy UI Generation in Scientific Computing
by: Saraiva, Bruno M., et al.
Published: (2026)

TOGLL: Correct and Strong Test Oracle Generation with LLMs
by: Hossain, Soneya Binta, et al.
Published: (2024)

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs
by: Tekriwal, Mohit, et al.
Published: (2025)

Towards Formalising Stakeholder Context using SysML v2
by: Harrison, Matthew, et al.
Published: (2026)

Towards AI Agents Supported Research Problem Formulation
by: Pereira, Anrafel Fernandes, et al.
Published: (2025)

Community Engagement and the Lifespan of Open-Source Software Projects
by: Kaushik, Mohit, et al.
Published: (2025)

The Death Spiral of Open Source Projects: A Post-Mortem Analysis of Pull Request Workflow Dynamics
by: Kaushik, Mohit, et al.
Published: (2026)

Towards Understanding the Challenges of Bug Localization in Deep Learning Systems
by: Jahan, Sigma, et al.
Published: (2024)

Exploring Scientific Debt: Harnessing AI for SATD Identification in Scientific Software
by: Melin, Eric L., et al.
Published: (2025)

Managing Human Factors in Automated Vehicle Development: Towards Challenges and Practices
by: Muhammad, Amna Pir, et al.
Published: (2024)

Introduction to Analytical Software Engineering Design Paradigm
by: Houichime, Tarik, et al.
Published: (2025)

Software Development Aspects of Integrating Linear Algebra Libraries
by: Koch, Marcel, et al.
Published: (2025)

Characterizing the Usefulness of Code Review Comments in Scientific Software for Software Quality and Scientific Rigor
by: Ahmed, Sharif, et al.
Published: (2026)

Prometheus: Towards Long-Horizon Codebase Navigation for Repository-Level Problem Solving
by: Pan, Yue, et al.
Published: (2025)