Project-Arénaire:STMicroelectronics CIFRE Ph.D. Grant

Team Arénaire

Members

Overall Objectives

Introduction
Highlights of the Year

Scientific Foundations

Introduction
Hardware Arithmetic
Algebraic and Elementary Functions
Validation and Automation
Arithmetics and Algorithms

Application Domains

Application Domains

Software

Introduction
FLIP: a floating-point library for integer processors
Sollya: a toolbox of numerical algorithms for the development of safe numerical codes
Metalibm, a code generator for elementary functions
CGPE: Code Generation for Polynomial Evaluation
CRlibm: a Library of Elementary Functions with Correct Rounding
FloPoCo: a Floating-Point Core generator for FPGAs
GNU MPFR: a multiple-precision floating-point library with correct rounding
MPFI: Multiple Precision Floating-Point Interval Arithmetic
fpLLL: lattice reduction using floating-point arithmetic
Exhaustive Tests for the Correct Rounding of Mathematical Functions
SIPE: Small Integer Plus Exponent

New Results

Hardware Arithmetic Operators
Efficient Floating-Point Arithmetic and Applications
Correct Rounding of Elementary Functions
Interval Arithmetic
Linear Algebra and Lattice Basis Reduction
Code and Proof Synthesis

Contracts and Grants with Industry

Grant from Minalogic/EMSOC
Grant from Région Rhône-Alpes
STMicroelectronics CIFRE Ph.D. Grant
Mediacom Project
Stone Ridge Technology donation

Other Grants and Activities

National Initiatives
International Initiatives

Dissemination

Conferences, Edition
Doctoral School Teaching
Other Teaching and Service
Leadership within Scientific Community
Committees
Seminars, Conference and Workshop Committees, Invited Conference Talks

Bibliography

Major publications
Publications of the year
References in notes

Inria / Raweb 2009
Presentation of the Project Arénaire

Section: Contracts and Grants with Industry

STMicroelectronics CIFRE Ph.D. Grant

Participants : Claude-Pierre Jeannerod, Jingyan Jourdan Lu, Jean-Michel Muller.

Jingyan Jourdan Lu is supported by a CIFRE Ph.D. Grant (Mar. 2009-Feb. 2012) from STMicroelectronics (Compilation Expertise Center, Grenoble) on the theme of arithmetic code generation and specialization for embedded processors. Advisors: C.-P. Jeannerod and J.-M. Muller (Arénaire), C. Monat (STMicroelectronics).

Logo Inria