Languages, Compilation, and Semantics LIP Seminar in 2016
3rd Edition, 2016, November, 3rd
Information
The seminar will be hold at the Seminar room of the Centre Blaise Pascal (Access plan) The meeting is open to all members of the labs LIP, LIRIS, and CITI.
Preliminary Program
| 9h-9h30 | Welcome | ||
| 9h30-10h15 | Guillaume Salagnac (CITI) | Peripheral State Persistence For Transiently Powered Systems | |
| 10h15-10h45 | Coffee break | ||
| 10h45-11h30 | Olivier Muller (TIMA) | An OpenMP flow targeting HPC systems with FPGA | |
| 11h30-13h00 | Lunch | ||
| 13h00-13h45 | Paul Feautrier (LIP) | Toward a polynomial model, with application to the OpenStream Language (cont'd) | |
| 13h45-14h30 | Christophe Alias et Laure Gonnord (LIP) | Estimation of Parallel Complexity with Rewriting Techniques | |
| 14h30-15h00 | Coffee break | ||
| 15h00-15h45 | Romuald Thion (LIRIS) | Inference leakage detection for authorization policies over RDF data | |
| 15h45-16h30 | Patrick Baillot (LIP) | On a type-based time complexity analysis of subrecursive programs |
2nd Edition, 2016, June 24th
Information
The seminar will be hold at the Buisson site of ENS Lyon, allée de Fontenay. The meeting is open to all members of the labs LIP, LIRIS, and CITI.
Program
| 9h-9h30 | Welcome | ||
| 9h30-10h15 | Damien Pous (LIP) | Tutorial Coq | |
| 10h15-11h00 | Angela Bonifati (LIRIS) | Schema matching and mapping systems | |
| 11h-11h30 | Coffee break | ||
| 11h30-12h15 | Matteo Mio (LIP) | Tutorial Markov Decision Processes / Stochastic Games | |
| – | |||
| 12h15-13h45 | Lunch break at Descartes CROUS | ||
| – | |||
| 13h45-14h30 | Paul Feautrier (LIP) | Toward a polynomial model, with application to the OpenStream Language | |
| 14h30-15h15 | Tomofumi Yuki (LIP) | Static Analysis of Parallel Programs with Loops, Tasks, and Synchronizations | |
| 15h15-15h45 | Coffee break | ||
| 15h45-16h30 | Tanguy Risset (CITI) | Compilation de dataflow parametrique pour machines multi-core heterogènes | |
| 16h30-17h15 | Adrien Basso-Blandin (LIP) | Model instantiation in KAMI | |
1st Edition, 2016, March 17th
Information
The seminar had gathered 31 people, Thursday 17 March 2016, at résidence Villemanzy, 21 montée St Sébastien at Lyon, 1er arr. (http://www.belambra-villemanzy.fr/fr/seminaires). The meeting was open to all members of the labs CITI-LIP-LIRIS.
Program
| 9h-9h15 | Welcome | ||
| 9h15-10h | Laure Gonnord et Lionel Morel (LIP/CITI) | Les langages flot de données dans tous leurs états | |
| 10h-10h30 | Coffee break | ||
| 10h30-11h15 | Emmanuel Coquery (LIRIS) | Langages de requêtes en bases de données: tour d’horizon des différents paradigmes | |
| 11h15-11h45 | Hélène Coullon (LIP) | The Multi-Stencil Language | |
| 11h45-12h15 | Christian Perez (LIP) | Des langages d'assemblages dans les modèles à composants logiciels | |
| – | |||
| 12h15-13h45 | Lunch break | ||
| – | |||
| 13h45-14h30 | Russ Harmer (LIP) | Executable knowledge | |
| 14h30-15h | Thierry Gautier (LIP) | Programmation et exécution d’algorithmes parallèles | |
| 15h-15h30 | Coffee break | ||
| 15h30-16h | Simon Castellan (LIP) | Weak memory models using event structures | |
| 16h-16h30 | Arnaud Lefray (LIP) | Formalisation of security requirements | |