-
jan. 2010
- Les programmes prennent le temps. Unithé ou Café. INRIA Ile-de-France, Saclay.
- 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.