ROMA - 2015 - Annual activity report

ROMA

ROMA - 2015

Project-Team Roma

Members

Overall Objectives

Research Program

Algorithms for probabilistic environments
Platform-aware scheduling strategies
High-performance computing and linear algebra
Compilers and code optimization

Application Domains

Applications of sparse direct solvers

Highlights of the Year

New Software and Platforms

MUMPS
DCC
PoCo
Aspic
Termite
Vaphor

New Results

Scheduling computational workflows on failure-prone platforms
Efficient checkpoint/verification patterns
Assessing the impact of partial verifications against silent data corruptions
Which Verification for Soft Error Detection?
Composing resilience techniques: ABFT, periodic and incremental checkpointing
Voltage Overscaling Algorithms for Energy-Efficient Workflow Computations With Timing Errors
Approximation algorithms for energy, reliability and makespan optimization problems
Co-scheduling algorithms for high-throughput workload execution
Scheduling the I/O of HPC Applications Under Congestion
Scheduling trees of malleable tasks for sparse linear algebra
Parallel scheduling of task trees with limited memory
Locality of Map tasks in MapReduce computations
Improving multifrontal methods by means of block low-rank representations
Parallel Computation of a subset of entries of the inverse
Efficient 3D frequency-domain seismic modeling with a parallel block low-rank (BLR) direct solver
Approximation algorithms for bipartite matching on multicore architectures
Hypergraph partitioning for multiple communication cost metrics
Comments on the hierarchically structured bin packing problem
Semi-two-dimensional partitioning for parallel sparse matrix-vector multiplication
Combining backward and forward recovery to cope with silent errors in iterative solvers
Load-balanced local time stepping for large-scale wave propagation
Fast and high quality topology-aware task mapping
Distributed memory tensor computations
Bridging the gap between performance and bounds of Cholesky factorization on heterogeneous platforms
Assessing the cost of redistribution followed by a computational kernel: Complexity and performance results
STS-k: A Multi-level Sparse Triangular Solution Scheme for NUMA Multicores
Mono-parametric Tiling
Data-aware Process Networks
Termination of C programs
Analysing C programs with arrays
Symbolic Range Analysis of Pointers in C programs

Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry
Technological Transfer: XtremLogic Start-Up

Partnerships and Cooperations

Regional Initiatives
National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Publications of the year
References in notes

Previous |

Home | Next next

Section: Highlights of the Year

Highlights of the Year

Yves Robert co-edited with Thomas Hérault (University of Tennessee, Knoxville) the book Fault-Tolerance Techniques for High-Performance Computing [38] , which was published in May by Springer.

The version 5.0.0 of MUMPS was released in February 2015.

Previous |

Home | Next next