While there exist several successful techniques for supporting programmers in deriving
static resource bounds for sequential code, analyzing the resource usage of message …

Programming digital contracts comes with unique challenges, which include (i) expressing
and enforcing protocols of interaction,(ii) controlling resource usage, and (iii) preventing the …

Abstract Bulk Synchronous Parallel (BSP) is a model for parallel computing with predictable
scalability. BSP has a cost model: programs can be assigned a cost which describes their …

Tracing JIT compilation generates units of compilation that are easy to analyse and are
known to execute frequently. The AJITPar project investigates whether the information in JIT …

The goal of scalable parallel programming is to program computer architectures composed
of multiple processing units so that increasing the number of processing units leads to an …

Parallel programming is extremely challenging. Worse yet, parallel architectures evolve
quickly, and parallel programs must often be refactored for each new architecture. It is highly …

Les ordinateurs sont utilisés pour automatiser des calculs volumineux qui seraient hors de
portée d'un humain. La recherche et le développement en informatique augmentent …