Eric Petit

Stochastic rounding variance and probabilistic bounds: A new approach

Stochastic rounding (SR) offers an alternative to the deterministic IEEE-754 floating-point rounding modes. In some applications such as PDEs, ODEs and neural networks, SR empirically improves the...

The Positive Effects of Stochastic Rounding in Numerical Algorithms

Recently, stochastic rounding (SR) has been implemented in specialized hardware but most current computing nodes do not yet support this rounding mode. Several works empirically illustrate the...

Bounds on non-linear errors for variance computation with stochastic rounding

The main objective of this work is to investigate non-linear errors and pairwise summation using stochastic rounding (SR) in variance computation algorithms. We estimate the forward error of...

Confidence Intervals for Stochastic Arithmetic

Quantifying errors and losses due to the use of Floating-Point (FP) calculations in industrial scientific computing codes is an important part of the Verification, Validation and Uncertainty...

Custom-Precision Mathematical Library Explorations for Code Profiling and Optimization

The typical processors used for scientific computing have fixed-width data-paths. This implies that mathematical libraries were specifically developed to target each of these fixed precisions...

Bone Surface Segmentation in Ultrasound Images: Application in Computer Assisted Intramedullary Nailing of the Tibia Shaft

Scalable and efficient implementation of 3d unstructured meshes computation: a case study on matrix assembly

GPUburn: A system to test and mitigate GPU hardware failures

Ultrasound image texture characterization with Gabor wavelets for cardiac hypertrophy differentiation

Enhanced H.263 Codec for Mobile Visiophony

Task-Based Parallelization of Unstructured Meshes Assembly Using D&C Strategy

Deconstructing HPL-MxP Benchmark: A Numerical Perspective

Automatic Exploration of Reduced Floating-Point Representations in Iterative Methods

Scalable Work-Stealing Load-Balancer for HPC Distributed Memory Systems

ASK: Adaptive Sampling Kit for Performance Characterization

Patch Learning for Incremental Classifier Design

A Geometrically Deformable Contour Model

Lasa: Abstraction and Specialization for Productive and Performant Linear Algebra on FPGAs