The MetaLibm project -- 2017 Annual Meeting

Location - How to get there

The meeting will take place at CITI, bâtiment Chappe (OpenStreetMap link), room TD-E on the second floor.

The previous day we have a work session on Metalibm Lugdunum.

It should be reachable from the Part Dieu station in 20 minutes by the Tram T1. Exit station on the "Porte Rhône" side, take the T1 direction "IUT Feyssine", stop "La Doua - Gaston Berger". Then follow the rails in the same direction 50m, and turn left on Rue de la Physique.


Time Topic
9:00-9:30 Welcome + coffee
9:30-10:00 Hugues de Lassus: Table-based vectorizable meta-implementation of the natural logarithm using Metalibm-lugdunum
10:30-11:00 Nicolas Brunie: génération de code, vectorisation, génération de RTL
11:00-11:30 Yohann Uguen: Introduction à la synthèse de haut niveau
11:30-13:30 Lunch
13:30-14:00 Administrative status
14:00-14:30 Thibault Hilaire: validation a posteriori de spécification fréquentielle d'implémentation de filtre
14:30-15:00 Christoph Lauter: A Sagenstein experience: implementing argerfi
15:00-15:15 Pause
15:15-17:00 ou + Discussions libres