Reproducibility is widely considered to be an essential requirement of the scientific process.
However, a number of serious concerns have been raised recently, questioning whether …

Large HPC centers spend considerable time supporting software for thousands of users, but
the complexity of HPC software is quickly outpacing the capabilities of existing software …

Summary Self-driving laboratories (SDLs), which combine automated experimental
hardware with computational experiment planning, have emerged as powerful tools for …

The introduction of the Internet has revolutionized not only our society but also transformed
the software industry, with knowledge and information sharing becoming a central part of …

Reproducibility is the cornerstone of science. Many scientific communities have been struck
by the reproducibility crisis, and computer science is no exception. Its answer has been to …

Interactive theorem proving is tackling ever larger formalization and verification projects, and
there is a critical need for theory engineering techniques to support these efforts. One such …

For a concurrent program, a prediction tool maps the history of a single run to a prediction of
bugs in an exponential number of other runs. If all those bugs can occur, then the tool is …

Graphical user interfaces are difficult to test: automated tests are hard to create and
maintain, while manual tests are time-consuming, expensive and hard to integrate in a …

The upgrade problems faced by Free and Open Source Software distributions have
characteristics not easily found elsewhere. We describe the structure of packages and their …

High Performance Computing (HPC) software stacks have become complex, with the
dependencies of some applications numbering in the hundreds. Packaging, distributing, and …