September 2023
A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State machines (EMSOFT’23). Hamburg., Sept. 23, 2023. slides.
November 2022
A Brief History of Synchronous Programming. Workshop SYNCHRON, Villa Clytia, Fréjus, France. November 28, 2022. slides.
November 2022
Programmation synchrone: des langages de haute fidélité pour commmander des objets physiques. Journées scientifiques de l’INRIA, Rocquencourt, France. 23 novembre 2022.
August 2020
Synchronous Programming of Reactive Systems or Turning a mathematical model into executable code. Invited talk. ALGOS’2020.
January 2020
A Coiterative Synchronous Semantics for Scade (work in progress). Workshop CAFEIN, Les Angles, France. slides.
September 2019
Scade 6, a Formal Language for Embedded Software Development. Forum on specification & Design Languages (FDL). Invited talk. Southampton, England. September 4, 2019. slides.
October 2017
A Synchronous Look at the Simulink Standard Library. Conf. on Embedded Software (EMSOFT’17). Seoul. October 16-18, 2017. slides.
June 2017
Les langages synchrones: des dessins qui commandent! Les journées scientifiques de l’INRIA (50 ans). Sophia Antipolis. 14-16 juin 2017. slides.
February 2016
Programming the Simulink Standard Library with Zélus: experience report. ANR Cafein, Les Angles (Pyrénées). Feb. 2, 2016 (a preliminary version of this talk was given at the Workshop SYNCHRON, organised by Reinhard Von Hanxleden, in Kiel, Germany, December 2015).
October 2015
Building a Hybrid Systems Modeler on Synchronous Languages Principles. Invited talk. Conf. EMSOFT. October 4-9, 2015. Amsterdam, The Netherlands.
Juin 2015
SCADE Hybrid, une extension de SCADE avec des ODEs. Groupe de travail AFSEC. Journées nationales du GDR GPL. Bordeaux. 12 juin 2015.
April 2015
A Synchronous-based Code Generator For Explicit Hybrid Systems Languages. Compiler Construction (CC’2015); ETAPS, London. April 17, 2015. slides.
December 2014
SCADE Hybrid: An extension of SCADE with ODEs (Experience Report). 21th SYNCHRON Workshop, Aussois, France. December 4, 2014.
June 2014
A Type-based Analysis of Causality Loops in Hybrid Systems Modelers. Journées du GDR, Groupe AFSEC. CNAM, Paris. June 13, 2014.
June 2014
A Type-based Analysis of Causality Loops in Hybrid Systems Modelers. Dynasim/Dassault-Systèmes, Lund. June 3, 2014.
April 2014
Programming Languages for Hybrid System Modeling. Streaming Day. Saint-Germain au Mont d’Or. April 14, 2014.
March 2014
Languages for Programming Hybrid Discrete/Continuous-Time Systems. Invited seminar (Chaîre “Algorithms, machines and languages”, Collège de France, Paris). March 26, 2014. slides.
Feb. 2014
Zélus, a Synchronous Language with ODEs. Invited talk. Berkeley Univ. Feb. 11, 2014.
November 2013
The crazy fly! (fun talk). 20th SYNCHRON workshop, Daghstuhl, Germany. slides.
November 2013
A Causality Analysis for a Hybrid Synchronous Language. 20th SYNCHRON workshop, Daghstuhl, Germany. slides.
October 2013
Improving the Safety of Critical Real-time Software with Mathematical Languages. India-France Technology Summit. Delhi, India. October 24, 2013.
October 2013
Zélus, a Synchronous Language with ODEs. Invited seminar at the Indian Institute of Science and Control (IISC), Bangalore, India. October 22th, 2013.
October 2013
The Fundamentals of Synchronous Languages. Invited seminar at National Instruments, Bangalore, India. October 21th, 2013.
June 2013
Zélus, a Synchronous Language with ODEs. Synchronics (Action d’envergure INRIA) final review, Paris. June 18, 2013. slides.
april. 2013
Synchronous languages: the challenges. Invited talk. TSD 2013 3rd Tsinghua Software Day. Beijing, Tsinghua Univ. April 25th, 26th, 2013.
april. 2013
The Principles of Synchronous Languages. Invited talk. TSD 2013 3rd Tsinghua Software Day. Beijing, Tsinghua Univ. April 25th, 26th, 2013.
april. 2013
Zélus: a synchronous language with ODEs. HSCC’13. Philadelphia. April 9, 2013. slides.
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.