Synchron19

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

Friedrich Gretz — Programming Blech
Lena Grimm — From Lustre to Graphical Dataflow Programs
Reinhard Von Hanxleden — Synthesizing Manually Verifiable Code for SCCharts

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

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

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