Triangle counting and enumeration are important kernels that are used to characterize
graphs. They are also used to compute important statistics such as clustering coefficients …

Motivation Scientists increasingly rely on intelligent information systems to help them in their
daily tasks, in particular for managing research objects, like publications or datasets. The …

Whole-program static analysis has been extensively studied and widely used in the past few
decades. For modern object-oriented programs, scalability has become an important issue …

Real-time systems must meet strict timeliness requirements. These systems also often need
to protect their critical program information (CPI) from adversarial interference and …

In managed languages, serialization of objects is typically done in bespoke binary formats
such as Protobuf, or markup languages such as XML or JSON. The major limitation of these …

Many high performance applications spend considerable time packing noncontiguous data
into contiguous communication buffers. MPI Datatypes provide an alternative by describing …

Many tools for automated testing, model checking, and debugging store and restore
program states multiple times. Storing/restoring a program state is commonly done with …

We present a library providing functionality beyond the MPI standard for manipulating
application data layouts described by MPI derived datatypes. The main contributions are: a) …

Abstract Programming tools for High Performance Computing are lagging behind the tools
that have improved the productivity of desktop programmers. The increasing complexity of …

Many high performance applications spend considerable time packing data into contiguous
communication buffers. Datatypes provide an alternative by describing the layout of the …