Show Menu
Hide Menu
Home
About
Organisation charts
Organisation
Direction
Administration
IT Service
Scientific Board
Governing Board
PhD Board
Teaching
Scientific Mediation
Our charters and commitments
Location & Contact
Research
Axes & Teams
Publications
Projects
ERC Projects
European Projects
PEPR Projects
ANR Projects
PIA & PostGenAI@Paris Projets
Activity reports
Valorisation
Our skills
Work with us
Software
Patents
Start-ups
Staff directory
Colloquium
đź”’
đź“«
🇬🇧
🇫🇷
🇬🇧
-
Computer Science Laboratory
Sorbonne Université - CNRS UMR 7606
Sorbonne Universté
Centre National de la Recherche Scientifique
LIP6 supports the Pink October campaign for breast cancer awareness.
News
Archives
All current and past events
PEQUAN
2022
12/09/2022:
Adaptive precision sparse matrix-vector product
12/07/2022:
Feedback on the use of the Julia programming language for the numerical solution of Partial Differential Equations
2020
12/18/2020:
An Iterative Refinement Technique with an Integer Arithmetic-Based GMRES Solver
12/02/2020:
Algorithms for Stochastically Rounded Elementary Arithmetic Operations in IEEE 754 Floating-Point Arithmetic
11/18/2020:
Multiple precisions iterative refinement for the solution of large sparse linear systems
11/04/2020:
Mixed precision algorithms, a tool for advancement of numerical linear algebra
04/14/2020:
Exhaustive search of permutations with many patterns
2019
11/05/2019:
Optimal Word-Length Allocation for the Fixed-Point Implementation of Linear Filters and Controllers
10/08/2019:
Sharper and smaller error bounds for low precision scientific computing
05/23/2019:
Reproducibility Strategies for Parallel Preconditioned Conjugate Gradient
02/28/2019:
Minimum number of additions in elliptic curve cryptography using double-based number representation
01/31/2019:
Après-midi apprentissage / embarqué / précision numérique
01/17/2019:
Toward optimizing compilers for quantum computers
2018
12/06/2018:
Accuracy and Stability of Low-rank Linear Solvers
10/25/2018:
The Frobenius FFT and application to the multiplication of binary polynomials
07/05/2018:
A communication-avoiding sparse direct solver
02/15/2018:
Implementation and optimization techniques of linear algebra kernels for modern HPC systems
01/18/2018:
CPUs and GPUs: can we get the best of both worlds?
2017
11/20/2017:
Deep Learning & Accélération GPU
09/25/2017:
Predicting the Behavior of Large Dynamical Systems using Intervals and Reduced-Order Modeling
09/21/2017:
Algorithmique de l'implementation fiable de filtres numériques
09/07/2017:
Compilation abstraite et synthèse d'invariants basée sur des domaines numériques paramétrés
06/29/2017:
Segmentation non-uniforme suivie d’approximation polynomiale pour l’évaluation de fonctions au sein de processeurs embarqués
06/15/2017:
FP-ANR, un format de représentation des flottants pour la gestion à l’exécution des cancellations
05/15/2017:
Précision, Reproductibilité en Calcul et Informatique Scientifique
05/04/2017:
Topological Data Analysis and Visualization: A Tutorial (Part II: TTK)
04/27/2017:
Topological Data Analysis and Visualization: A Tutorial
03/30/2017:
Sweet and sour lessons from chasing hard-to-round cases in 128-bit
02/02/2017:
Chebychev Approximation by Polynomials, Rational Functions and Splines
01/23/2017:
Fast Fourier transform algorithms based on binary trees representation
01/19/2017:
Fin de la Loi de Moore et applications HPC
2016
11/24/2016:
Computer algebra methods for the study of the stability and the stabilization of multidimensional systems
11/17/2016:
Automating the pipeline of arithmetic datapaths
10/20/2016:
Trois exposés (voir détails)
09/22/2016:
A Decimal Multiple-Precision Interval Arithmetic Library
07/06/2016:
Calcul par Intervalles et Transport Optimal
06/09/2016:
Enlarged Krylov Subspace Methods and Preconditioners for Reducing Communication
05/19/2016:
Programming with Numerical Uncertainties
05/19/2016:
Towards reliable implementation of digital filtersTBA
05/12/2016:
New results on floating-point
04/07/2016:
Development of a library for symbolic floating-point arithmetic
03/24/2016:
Evaluating Straight-Line Programs over Balls
03/10/2016:
Accelerating the Conjugate Gradient Algorithm with GPU in CFD Simulations
02/22/2016:
Persistent homology for multivariate data visualization
02/11/2016:
Information Visualization from Trenches and Labs
02/03/2016:
Estimation of numerical reproducibility using stochastic arithmetic
01/18/2016:
Tutoriel Sollya et PythonSollya
01/07/2016:
Sur la précision p-adique
2015
12/17/2015:
Apports des architectures hybrides Ă l?imagerie profondeur : Ă©tude comparative entre CPU, APU et GPU / Contributions of hybrid architectures to depth imaging: a CPU, APU and GPU comparative study
12/10/2015:
Sound static analysis of run-time errors in programs with floating-point computations
11/30/2015:
Vérification formelle de programmes numériques: l'exemple de la moyenne
11/19/2015:
Towards a Modern Floating-Point Environment
11/02/2015:
Determining Fixed-Point Formats using the Worst-Case Peak Gain measure (exposé court)
10/22/2015:
Bornes sur les restes de séries solutions d'équations différentielles
09/24/2015:
Pattern formation in a coupled Brusselator model
09/10/2015:
Metalibm: Kalray's side
07/03/2015:
Investigation of Crouzeix’s Conjecture via Nonsmooth Optimization
07/02/2015:
Computer-aided floating point error analysis and debug
06/18/2015:
Trois exposés courts (voir détails)
06/04/2015:
Dilemme du fabricant de tables pour les fonctions transcendantes
05/21/2015:
Parameterization of Surfaces
05/07/2015:
Verrou : l'arithmétique stochastique sans recompiler
05/06/2015:
Diagonalisation parallèle pour le calcul de structure électronique
03/26/2015:
Reliable evaluation of the Worst-Case Peak Gain matrix in multiple precision
03/05/2015:
Special functions in the Arb library
03/02/2015:
The Parks McClellan algorithm: a scalable approach for designing FIR filters
02/26/2015:
An inverse problem of magnetization in geoscience
02/12/2015:
New Applications of Semidefinite Programming
01/29/2015:
Calcul rapide des valeurs propres pour matrices compagnon
01/15/2015:
Reproducible and Accurate BLAS for ExaScale Computing
2014
12/11/2014:
Itérations asynchrones des méthodes de décomposition de domaines sur architectures parallèles
11/27/2014:
Intra-Procedural Optimization of the Numerical Accuracy of Programs
11/13/2014:
Algèbre linéaire d'intervalles : Qualité Numérique et Hautes Performances sur Processeurs Multi-Cœurs
11/12/2014:
Big Data Visual Analysis
10/30/2014:
Metalibm: a code generator for parametrized mathematical functions
10/29/2014:
Numerical stability of the Gram-Schmidt algorithm
10/16/2014:
Introduction Ă Sage
03/20/2014:
Résolution des systèmes linéaires et non linéaires creux sur clusters de GPUs
2013
10/15/2013:
Numerical Computation on Intel® Xeon Phi™ Coprocessors Using the Intel® Compilers and Math Libraries
10/10/2013:
Algorithmic number theory and digital filter synthesis
2012
05/10/2012:
Etendre le compilateur GCC avec MELT
2008
12/04/2008:
Journée Thème Emergent --- GDR ASR du CNRS ---Calcul généraliste sur unités graphiques
05/27/2008:
Interval Arithmetic: Concepts, Theory, Application
2007
09/04/2007:
Large estimation du mouvement apparent par des fonctions splines vectorielles : application à l'océanographie et à la météorologie
2006
05/23/2006:
On the algebraic properties of stochastic and interval numbers