This paper presents a scalable high-performance software library to be used for graph
analysis and data mining. Large combinatorial graphs appear in many applications of high …

The PLEIADES software environment is devoted to the thermomechanical simulation of
nuclear fuel elements behaviour under irradiation. This platform is co-developed in the …

Type confusion, or bad casting, is a common C++ attack vector. Such vulnerabilities cause a
program to interpret an object as belonging to a different type, enabling powerful attacks, like …

Generic programming has recently emerged as a paradigm for developing highly reusable
software libraries, most notably in C++. We have designed and implemented a constrained …

We present a set of concepts (requirements on template arguments) for a large subset of the
ISO C++ standard library. The goal of our work is twofold: to identify a minimal and useful set …

Software thread level speculation (TLS) solutions tend to mirror the hardware ones, in the
sense that they employ one, exact dependency-tracking mechanism. Our perspective is that …

The language JavaGI extends Java 1.5 conservatively by a generalized interface
mechanism. The generalization subsumes retroactive and type-conditional interface …

To ensure the correctness of template based constructions in C++, constraints on template
parameters are especially useful. Unlike other languages (Ada, Eiffel, etc.), C++ does not …

Scientific computing has traditionally been concerned with concepts related to numerical
issues, such as the convergence of discrete approximations to partial differential equations …

Unit testing is an important part of modern software development, where individual code
units are tested in isolation. Such tests are typically case-based, checking a likely error …