A Formally-Verified C Compiler Supporting Floating-Point Arithmetic Sylvie Boldo∗ , Jacques-Henri Jourdan† , Xavier Leroy† , and Guillaume Melquiond∗ ∗ Inria Saclay–ˆIle-de-France & LRI, CNRS UMR 8623, Univ

Source URL: www.lri.fr

• Computer arithmetic
• Computing
• Software engineering
• Computer architecture
• IEEE floating point
• Double-precision floating-point format
• Extended precision
• Processor register
• Compiler correctness
• Rounding
• Fortran
• Single-precision floating-point format

Noname manuscript No. (will be inserted by the editor) Some issues related to double rounding Érik Martin-Dorel · Guillaume Melquiond · Jean-Michel Muller

Source URL: www.lri.fr

• Computer arithmetic
• Mathematics
• Theoretical computer science
• Computing
• Rounding
• IEEE floating point
• Double-precision floating-point format
• Normal number
• Arithmetic underflow
• Division algorithm
• Q
• Denormal number

The Art of Monetary Theory: A New Monetarist Perspective∗ Ricardo Lagos NYU Guillaume Rocheteau

Source URL: cemla.org

• Economy
• Economics
• Macroeconomics
• Fellows of the Econometric Society
• Randall Wright
• Monetary economics
• General equilibrium theory
• Monetary policy
• New Keynesian economics
• Economic equilibrium
• Monetarism
• Economic model

Introduction CompCert Flocq CompCert+Flocq Conclusion A Formally-Verified C Compiler Supporting Floating-Point Arithmetic Sylvie Boldo Jacques-Henri Jourdan Xavier Leroy Guillaume Melquiond

Source URL: www.lri.fr

• Compilers
• Computer arithmetic
• CompCert
• Logic in computer science
• Xavier Leroy
• GNU Compiler Collection
• Floating point
• X86

Axe thématique 2. Mobilisations, participations, représentations Responsables : Guillaume Courty (PR science politique, Lille 2), Aude Lejeune (CR CNRS, sociologue du droit), Annie Laurent (DR CNRS, science politique)

Source URL: ceraps.univ-lille2.fr

Journées Nationales de Calcul Formel Rencontre organisée par : Guillaume Chèze, Paola Boito, Clément Pernet et Mohab Safey el Din 2013

Source URL: jncf2013.imag.fr

Insights of File-Sharing System Forums Guillaume Jourjon, Olivier Mehani and Thierry Rakotoarivelo NICTA 13 Garden Street Eveleigh, Sydney, NSW, Australia Email:

Source URL: olivier.mehani.name

A library to manipulate Z-polyhedra in image representation Guillaume Iooss Sanjay Rajopadhye

Source URL: impact.gforge.inria.fr

Photo à changer Développement des détecteurs germanium bas bruit au LSM Guillaume Warot

Source URL: www-lsm.in2p3.fr

Revealing properties of the bipartite structure of online social networks Raphaël TACKX, Jean-loup GUILLAUME,

Source URL: rcis2015.hua.gr

• Network theory
• Graph theory
• Operations research
• Clustering coefficient
• Social network
• Assortativity
• Bipartite graph
• Complex network
• Climate as complex networks