20 citations · 36 across the 4 of their papers we have counts for
5 papers
Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
Serra Z. Dane, Jiawei Chen, Marc Pouzet +1
Cyber-physical systems (CPS) such as autonomous cars, aircraft, and robots are often also safety-critical; thus it is imperative that they operate as intended with a high degree of…
PSM: Policy Synchronised Deterministic Memory
Michael Mendler, Marc Pouzet
Concurrency and determinacy do not go well with each other when resources must be shared. Haskell provides parallel programming abstractions such as IVar and LVar in the Par monad…
Reactive Probabilistic Programming
Guillaume Baudart, Louis Mandel, Eric Atkinson +3
Synchronous modeling is at the heart of programming languages like Lustre, Esterel, or Scade used routinely for implementing safety critical control software, e.g., fly-by-wire and…
Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers
Timothy Bourke, Jun Inoue, Marc Pouzet
This paper describes the design and implementation of a comprehensive OCaml interface to the Sundials library of numeric solvers for ordinary differential equations, differential a…
A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs
Gwenaël Delaval, Alain Girault, Marc Pouzet
We address the design of distributed systems with synchronous dataflow programming languages. As modular design entails handling both architectural and functional modularity, our f…