nov. 2012
Zélus, a Synchronous Language with ODEs. November 23, 2012, Workshop SYNCHRON, Le Croisic, France. slides.
nov. 2012
Some time leaks in hybrid modelers (short talk). November 20, 2012, Workshop SYNCHRON, Le Croisic, France. slides.
feb 2012
Combiner du temps discret et du temps continu dans un langage synchrone. Séminaire MaMux, IRCAM, Paris.
dec 2011
Programming hybrid systems with synchronous languages. Invited talk. Intern. Conference on Complex Systems, Design & Management (CSDM 2011). slides.
dec 2011
A Hybrid Synchronous Language with Hierarchical Automata: Static Typing and Translation to Synchronous Code. 18th annual Workshop on Synchronous Programming (SYNCHRON), 2011. Damarie-les-Lys. slides.
jan 2011
Design, Semantics and Compilation for a Hybrid Synchronous Language. Invited talk. 69th Modelica design meeting. Munich, Germany. January 25th, 2011.
jan 2011
Lucid Synchrone, a Functional Synchronous Language. Invited talk. 69th Modelica design meeting. Munich, Germany. January 25th, 2011. slides.
dec 2010
The true inventors of Synchronous Programming! (recreational talk). Workshop SYNCHRON, Fréjus, France. December 3st, 2010. (slides+video+demo on demand).
dec 2010
Divide and recycle: types and compilation for a hybrid synchronous language. Workshop SYNCHRON, Fréjus, France. December 2snd, 2010.slides.
nov 2010
Typage et compilation d’un langage synchrone hybride. GDR TLP (Types, Langages, Preuves). Strasbourg. Vendredi 9 nov. 2010.
oct 2010
Divide and recycle: types and compilation for a hybrid synchronous language. Synchronics days. Paris, october, 18th. slides.
june 2010
Velus: a formally defined compiler for Lustre. Invited talk. The MathWorks, Natick (Boston), USA. 2010, June, 4th.
may. 2010
Action d’envergure INRIA Synchronics: langage(s) pour la conception et l’implémentation des systèmes embarqués. Journées INRIA/Industrie, Toulouse. 17 mai 2010. transparents; code de simulation du réseau de capteurs en ReactiveML.
april. 2010
A proposal for a hybrid extension of Lustre. Séminaire Metalica, INRIA Rocquencourt.
jan. 2010
Les programmes prennent le temps. Unithé ou Café. INRIA Ile-de-France, Saclay. exposé, le code ReactiveML, les vidéo 1 et 2 (à lire avec VLC).
nov. 2009
Modular Static Scheduling of Synchronous Data-flow Networks. Workshop SYNCHRON, Dagstuhl.
oct. 2009
Modular Static Scheduling of Synchronous Data-flow Networks. Journées du GDR Programmation, Université Paris XII - Créteil, 21 oct. 2009. slides.
june 2009
Clocks as Types in Synchronous Dataflow Languages. IFIP WG2.8 Functional Programming. Frauenchiemsee, Germany. June 7-12, 2009. slides.
march. 2009
Synchronous Objects with Scheduling Policies: Introducing safe shared memory in Lustre. 2 days INRIA seminar on embedded systems, Paris. March 10th, 2009. slides.
jan. 2009
Abstraction d’horloges dans les systèmes synchrones. Exposé invité à l’AFSEC, 27 janvier 2009, Toulouse. slides.
nov. 2008
Synchrony and Clocks in Kahn Process Networks. Invited talk, Conference ISOR’08, Algier. slides.
oct. 2008
Synchronous Functional Programming. Invited talk. 1st Digiteo Forum, Plateau de Saclay. 2008/10/02.slides.
june 2008
MiniLustre mais il fait le Maximum ! (Building a Certified Compiler for Lustre). Seminar 68NQRT at IRISA, Rennes. June 2008, 26th.
june 2008
Clock-directed Modular Code Generation for Synchronous Data-flow Languages. LCTES 2008. June 2008, 13th. slides.
nov. 2007
MiniLustre mais il fait le Maximum ! (Building a Certified Compiler for Lustre), Workshop SYNCHRON, Bamberg, nov. 2007.slides.
oct. 2007
Modular Code Generation From Synchronous Block-diagrams, Workshop APGES, Salzburg, Autria, oct. 2007.
mar. 2007
Une extension conservative du data-flow synchrone avec des machines à états (exposé invité). Journées FAC, 15 – 16 mars 2007, Toulouse. slides.
jan. 2007
Programmation synchrone fonctionnelle (cours invité, 3h), Journées Francophones des Langages Applicatifs, 2007. Notes de cours
nov. 2006
Mixing Signals and Modes in Synchronous Data-flow Systems. SYNCHRON workshop, 27 nov, Alpe d’Huez. slides. A short demo of Lucid Synchrone V3 (wired buffer with by-path, reflex game, coffee machine, reflex game, etc). See examples.
nov. 2006
Synchronous Kahn Networks (ten years later). SYNCHRON workshop, 27 nov, Alpe d’Huez. Talk in honnor au Paul Caspi. slides
oct. 2006
Mixing Signals and Modes in Synchronous Data-Flow Systems. EMSOFT’06, Seoul, South Korea, October 2006. slides
mars 2006
Programmation Synchrone Fonctionnelle (exposé invité), Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL’06), 15, 16, 17 mars 2006, Paris. transparents et programmes.
jan. 2006
N-Synchronous Kahn Networks: A Relaxed Model of Synchrony for Real-Time Systems. POPL’06, 11-13 jan 2006, Charleston. slides
This document was translated from LATEX by HEVEA.