Monday, 25 November 2019
- Albert Benveniste — Mathematical foundations of physical systems modeling languages.
- Benoît Caillaud — An Implicit Structural Analysis Method for Multi-Mode DAE Systems.
- Eugene Yip — A Multi-Rate Extension of the ForeC Precision Timed Programming Language for Multi-Cores
- Matheus Schuh: —Time-Critical use of the MPPA / Implementation of Data-Flow Programs on MPPA / WCRT computing algorithm
- Vincent Morice — Adding Diagnostic Capabilities to System-On-Chip Digital Twins
- Cyril Six — Porting and optimizing CompCert for a VLIW processor
- Adrien Guatto — Programming with Time Warps
Tuesday, 26 November 2019
- Friedrich Gretz — Programming Blech
- Lena Grimm — From Lustre to Graphical Dataflow Programs
- Reinhard Von Hanxleden — Synthesizing Manually Verifiable Code for SCCharts
Wednesday, November 27, 2019
- Dumitru Potop Butucaru: — Efficient parallelization of hard real-time systems
- Timothy Bourke — Even more proofs about Lustre in Coq
- Guillaume Baudart — Reactive Probabilistic Programming
- Albert Benveniste — Probabilistic Programming
- Michael Mendler — Policy-synchronised Deterministic Memory: Reconciling Synchrony & Asynchrony
- Tim Engel — Policy-synchronised and Clock-deterministic Shared Memory in Haskell
- Erwan Jahier — SASA: a SimulAtor of Self-stabilizing Algorithms
- Kai Engelhardt — Driving a car with Lustre – Ambitions, Beliefs, Challenges
Thursday, November 28, 2019
- Robert De Simone — Communicating Networks of Data Flow Networks with limited memory: an approximate title
- Lélio Brun — An intermediate language in Vélus for handling modular reset
- Dan Ghica — Transparent Synchronous Dataflow
- Marc Pouzet — A Coiterative Synchronous Semantics (work in progress)
- Guillaume Iooss — Lustre, OpenCL, non-determinism
- Ismail Lahkim Bennani — Property-based testing of Hybrid Synchronous Systems
- Arash Shafiei — RDF : Reconfigurable Data Flow Model of Computation
- Luke Burke — Hype and hyperintensionality
Friday, November 29, 2019
- Sina Mundhenk — Optimizing the Scheduling of Synchronous Programs though Monte Carlo Simulation
- MichaeL Mendler — Towards Object-Oriented Modeling in SCCharts
- Jiajie Wang — bi-criteria optimization
- Dan Ghica — String Diagram semantics for digital circuits
