从 Synchron 会议观察 Lustre/Scade 同步语言的演化 (1994 - 2024)

SYNCHRON (Seminar on Synchronous Reactive Programming) 是同步反应式编程技术为主题的年度研讨会。自1994年以来，历年研讨会的内容中，包含了丰富的 Lustre/Scade 等同步语言技术设计讨论。参与者中，除了常年出现的法国群星，也能看到中国清华L2C团队的工作。

Synchron 2024

会议议程可访问：uni-bamberg.de

部分主题：

• Synchronous Programming with Refinement Types, Jean-Baptiste Jeannin
• Lustre Multi-tasks, Erwan Jahier（注2）, Pascal Raymond(注1)
• Forward: an Array Iteration in a Stream Language or Iterating in Space with an Iteration in Time, Marc Pouzet（注3）

该主题讨论新Scade语言中引入的语言新特性forward迭代

• A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving， Bruno Ferres, Pascal Raymond(注1)
• Combining Functional Reactive Programming and Lustre，Koen Claessen
• An attempt at multithreading via integer linear programming for rate-synchronous Lustre，Timothy Bourke（注4）
• Reducing copies in a Lustre-like language with arrays，Grégoire Bussone（注5）
• Synchronous Execution and Verification of Spiking Neural Networks，Nathan Allen (The University of Auckland / Auckland University of Technology)
• Exploring Policy-based training and enforcement of Compositional Neural Networks，Sobhan Chatterjee (University of Auckland)
• Causality analysis: A type-based representation，Marc Pouzet（注3）

注1: Lustre V3 / Lustre V4 / Lesar 主要作者
注2：Lustre V6 主要作者
注3：Scade 6 / Zelus 主要作者
注4：Velus 主要作者
注5：Parkas 成员

Synchron 2023

• A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State machines, Jean-Louis Colaco(注1), Michael Mendler, Baptiste Pauget, Marc Pouzet (注2)

注1：SCADE 6 作者
注2：Scade 6 / Zelus 主要作者

Synchron 2022

会议议程可访问： inria.fr。

部分主题：

• A look back at Synchronous Lang contributions，Marc Pouzet（注1）

• Self-Stablizing algorithms in Lustre, Erwan Jahier (注2)

• Simple constraints for multi-periodic latency chain，Timothy BOURKE（注3）

• Applicative invariants in Lustre，Amos ROBINSON

• Toward a density semantics for ProbZelus，Guillaume Baudart

• Memory aspects of SCADE compilation， Baptiste PAUGET(Ansys)

• Activation structures in a verified compiler, Basile PESIN(注4)

• Hybrid Systems simulation with transparent asserts，Marc POUZET（注1）

• Denotational semantics for Velus (link broken), Paul JEANMAIRE

注1：Scade 6 / Zelus 主要作者
注2：Lustre V6 主要作者
注3：Velus 主要作者
注4：Velus 主要作者

Synchron 2021

会议议程可访问： inria.fr.

部分主题：

• Zélus to DynIbex : compilation toward an interval CSP framework for contracts verification，François Pessaux
• Model-based Diagnostics: a research agenda， Albert Benveniste
• Exploring Worst-Case Scenarios of Self-Stabilizing Algorithms, Erwan Jahier(注1)
• Reachability analysis in the Zélus language，François Bidet
• Towards control structures in Vélus，Basile Pesin（注2）
• Polymorphic Types for Inferring and Verifying Array Sizes， Baptiste Pauget（注3）
• Constraining end-to-end delays in multi-periodic Lustre programs，Timothy Bourke（注4）
• A Executable Semantics for Zelus， Marc Pouzet（注5）
• Interactive verification of Lustre programs in Vélus, Paul Jeanmaire(注6)

注1： Lustre V6 主要作者
注2：Velus 主要作者
注3：Scade 6 主要作者
注4：Velus 主要作者
注5: Scade 6 / Zelus 主要作者
注6: Velus 主要作者

Synchron 2020

会议议程可访问： inria.fr

部分主题：

• Normalizing Lustre in Coq，Timothy Bourke(注1), Paul Jeanmaire, Basile Pesin（注2）, and Marc Pouzet（注3）
• Smoothly translating synchronous languages to imperative code with the Semsil intermediate language, Jean-Louis Colaço(注4), Baptiste Pauget, and Marc Pouzet（注3）
• The LIsinopril medical prescription in HipHop, Gérard Berry(注5) and Manuel Serrano
• Exploring Compositional Neural Networks for Real-time Applications， Sobhan Chatterjee, Nathan Allen, Nitish Patel, and Partha S. Roop
• Modeling and design of neural networks architectures for neural hybridation based on synchronous approaches， Marino Rasamuel and Daniel Gaffé
• An Overview of the Synchronous Language Céu， Francisco Sant’anna
• Making Mainstream Programming Languages Deterministic Again， Edward A. Lee（注6）, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard, and Alexander Schulz-Rosengarten

注1: Velus 主要作者
注2: Velus 主要作者
注3: Scade 6 / Zelus 主要作者
注4: Scade 6 主要作者
注5：同步数据流语言祖师
注6：Ptolemy 项目领导

Synchron 2019

会议议程可访问： synchron19.org.

部分主题：

• Mathematical foundations of physical systems modeling languages.，Albert Benveniste
• From Lustre to Graphical Dataflow Programs，Lena Grimm
• Even more proofs about Lustre in Coq，Timothy Bourke（注1）
• Probabilistic Programming， Albert Benveniste
• SASA: a SimulAtor of Self-stabilizing Algorithms，Erwan Jahier（注2）
• Driving a car with Lustre – Ambitions, Beliefs, Challenges, Kai Engelhardt
• An intermediate language in Vélus for handling modular reset, Lélio Brun(注3)
• A Coiterative Synchronous Semantics (work in progress)，Marc Pouzet（注4）

注1：Velus 主要作者
注2：Lustre V6 主要作者
注3：Velus 主要作者
注4：Scade 6 / Zelus 主要作者

Synchron 2018

会议议程可访问： inria.fr.

部分主题：

• Hip-Hop JS - Part1, G. Berry(注1)
• Nodes with clocked arguments in Velus, T. Bourke (注2)
• Revisiting random toss in Boolean-numeric constraints, E. Jahier (注3)
• A type representation of instantaneous dependencies for a language, M. Pouzet (注4)
• Lustre/Scade on manycores, P.Raymond (注5)
• Verifying the lustre modular reset, L. Brun - ENS (注6)
• Synchronous clocks under-specified phases and non determinism Lustre, G looss - ENS
• Time, Clocks, and Music, G. Berry (注1)

注1： 同步数据流语言祖师
注2： Velus 主要作者
注3： Lustre V6 主要作者
注4： Scade 6 / Zelus 主要作者
注5： Lustre V3 / Lustre V4 / Lesar 主要作者
注6： Velus 主要作者

Synchron 2017

会议议程可访问： inria.fr.

部分主题：

• The Signal synchronous language, the principles beyond the language and how to exploit and extend them，Albert Benveniste
• Symbolic simulation of dataflow synchronous programs with timers， Timothy Bourke(注1)
• Velus: towards a modular reset, Lelio Brun(注1)
• A synchronous look at the Simulink standard library, Marc Pouzet(注1)
• Revisiting the Simulink standard library with complementarity conditions, Benoît Caillaud
• Harmonic clocks and how to infer them, Guillaume Iooss

(注1) Velus 主要作者
(注2) Velus 主要作者
(注3) Scade 6 / Zelus 主要作者

讨论主题:
Debate on synchronous programming for multi-core architectures

Synchron 2016

会议议程可访问：uni-bamberg.de

部分主题：

• OCaLustre : a synchronous extension to OCaml, Steven Varoumas
• Code Generation from Synchronous Language to a Many-Core, Amaury Graillat
• Response Time Analysis of Synchronous Data Flow Programs on a Many-core Processor, Matthieu Moy
• Structural analysis of multi-mode DAE systems, application to Modelica (Keynote ), Albert Benveniste(注1)
• debugging lustre programs with rdbg, erwan jahier(注2)
• Scade Model Coverage， Jean-Louis COLACO（注3）
• Verifying a Lustre Compiler (Part I)， Timothy Bourke（注4）
• Verifying a Lustre Compiler (Part 2), Lélio Brun(注5)
• Resurrecting Laplace’s Demon: The Case for Deterministic Models (Invited Talk)，Edward Lee（注6）
• A Synchronous Look at the Simulink Standard Library, Marc Pouzet(注7)
• Removing Infeasible Paths in WCET Estimation: The Counter Method, Pascal Raymond(注8)
• L2C: A Formally Certified Synchronous Data-flow Language Compiler for Safety-critical Software,Shang Shu(注9)

注1：INRIA
注2：Lustre V6 主要作者
注3: SCADE 6 作者
注4：Velus 主要作者
注5：Velus 主要作者
注6： Ptolemy 项目领导
注7: Scade 6 / Zelus 主要作者
注8：Lustre V3 / Lustre V4 / Lesar 主要作者
注9：清华王生原团队，L2C 主要作者

Synchron 2014

会议议程可访问：inria.fr.

部分主题：

• A General Approach of Infeasibility in ILP-based WCET Estimation Methods. Pascal RAYMOND
• Index Theory for Hybrid DAE Systems， Albert BENVENISTE
• Destructive updates for arrays in lustre， Ulysse BEAUGNON
• Let’s Synchronize Our Watches， Gérard BERRY
• , Not quite synchronous enough – Compositional invariant proofs of reactive systems in an interactive theorem prover (Isabelle/HOL)，Timothy BOURKE
• Lustre (or other synchronous languages) for Arduino， Florence MARANINCHI
• A Synchronous-based Code Generator For Explicit Hybrid Systems Languages，Marc POUZET

Synchron 2012

会议议程可访问：inria.fr.

部分主题：

• the Informatics of time and events，Gérard Berry
• programming parallelism with futures，Leonard Gerard（注1）
• reactivity analysis in ReactiveML, Cédric Pasteur（注2）
• models for control, an evangelisation, Albert Benveniste
• time leaks in hybrid systems modelers, Marc Pouzet
• Zélus, Marc Pouzet
• more industrial case studies with Lurette，Erwan Jahier

注1： Heptagon 主要作者
注2：Heptagon 主要作者

Synchron 2010

会议议程可访问：artist-embedded.org.

部分主题：

• Memory Optimisation in a First-Order Dataflow Synchronous Language, PASTEUR Cédric
• Finite State Systems, BERRY Gérard
• Divide and recycle: types and compilation for a hybrid synchronous language, POUZET Marc
• Modular Compilation of a Synchronous Language, GAFFE Daniel
• Executing Esterel on multicore processors, LI HSIEN YOONG Li Hsien
• The true inventors of synchronous programming, POUZET Marc
• Mini LS-> Streaming Open MP-> Work streaming, COHEN Albert
• Encoding Latency Insensitive Design in Lucy-n: First Experiments, PLATEAU Florence
• Typing of Periodic Clocks in Lucy-n, MANDEL Louis

Synchron 2009

会议议程可访问：dagstuhl.de

部分主题：

• Modular Static Scheduling of Synchronous Data-flow Networks, Marc Pouzet and Pascal Raymond
• How Far Can We Go With Synchronous Programming? Paul Caspi
• Programming in the n-Synchronous Model with Lucy-n, Florence Plateau, Louis Mandel, and Marc Pouzet
• Delays in Esterel, T. Bourke and A. Sowmya

Synchron 2007

会议议程可访问：artist-embedded.org

部分主题：

• Abstract clocks for the N-synchronous model, Florence Plateau (Universite Paris-Sud 11, LRI)
• Invited Talk: Software Development of the EF2000 Flight Control Computers, Hugo Heusinger (EADS Defense & Security)
• Towards Direct Execution of Esterel Programs on Reactive Processors ParthaS.Roop, ZoranSalcic, M.W.SajeewaDayar
• MiniLustre mais il fait le Maximum or Towards the Development of a Certified Compiler for Lustre, Marck Pouzet (LRI)
• Virtual Execution of AADL Models via a Translation into Synchronous Programs, Nicolas Halbwachs (VERIMAG/CNRS)
• Synchronous Data-flow Modeling of Shared Resources, Erwan Jahier (VERIMAG/CNRS)
• Reactivity of ReactiveML programs, Louis Mandel (Universite Paris-Sud 11, LRI)
• Static Analysis of Array Contents, Nicolas Halbwachs (VERIMAG/CNRS)
• Analysis of the combined use of SCADE and UML 2.x models, Ramin Hedayati (University of Bremen)
• Distributed Esterel: A Direct Constructive Approach, Peter Wullinger (University of Bamberg)
• Esterel Studio Update, Kim Sunesen (Esterel Technologies)

Synchron 2006

会议议程可访问：inrialpes.fr

部分主题：

• Some issues in model-based development for embedded control system, Paul Caspi
• Synchronous Kahn Networks (ten years later), Marc Pouzet
• Automatic rate desynchronisation of reactive embedded systems, Paul CASPI, Alain GIRAULT, Xavier NICOLLIN, Daniel PILAUD, and Marc POUZET
• Ahalf-baked approach to an embedded device driver framework in Esterel, Timothy Bourke and Leonid Ryzhy
• Mixing Signals and Modes in Synchronous Data-flow Systems, Marc Pouzet

Synchron 2003

会议议程可访问：www-verimag.imag.fr.

部分主题：

• From discrete duration calculus to synchronous observers, N. Halbwachs
• New directions in synchronous languages and programming, G. Berry
• Lustre V6, P. Raymond
• Clocks as first class abstract types, M. Pouzet

Synchron 2002

会议议程可访问：www-sop.inria.fr.

部分主题：

• Tools for simulating Reactive programs, E. Jahier
• Embedded Control: From Asynchrony to Synchrony and Back , P. Caspi
• First steps in proof obligations extraction for data structures in Lustre, L. Morel
• Structural partitioning of Esterel programs for symbolic Model-Checking, E. Vecchié
• Unreachable Instantaneous Paths: Static Analysis on Cyclic Esterel programs, O. Tardieu
• Optimizations for faster simulation of Esterel programs， Jacky Potop
• Compiling Esterel into Better Circuits and Faster Simulations， Stephen A. Edwards

Syncrhon 1999

会议议程可访问：www-sop.inria.fr.

部分主题：

• A certified code generator for SCADE / Lustre, J-L. Camus (Verilog)
• Arrays in Lustre, J-L. Colaço (Verilog) and N. Halbwachs (Verimag)
• Automata, partial evaluation, and Esterel compiling, Y. Bres (CMA)
• Compositional optimization for Esterel, A. Bouali (INRIA Sophia), R. de Simone (INRIA Sophia)
• Lustre : a language designed by Dummies for Dummies, N. Halbwachs (Verimag)
• Using Esterel for synthesis of an instruction length decoder, L. Henry-Gréard (CMA and Intel)
• Lucid Synchrone, an ML extension of Lustre in Ocmal, M. Pouzet (Univ. Paris VI)
• Lutin, a trace description language, P. Raymond (Verimag)
• Esterel examples on DSpace board, M. Richard (Mines Nantes)
• Implementation of a regulator for a hybrid Photovoltaic/diesel system using Esterel and Matlab, N. Maizi, J-P. Marmorat, V. Roy
• Multiclock Esterel, E. Sentovich (Cadence)
• SAT-based safety property checking, M. Sheeran (Prover Technology)
• From message sequence charts to Esterel, R.K. Shyamasundar (TIFR Bombay)