activity
20122026
most citedA Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs

20 citations · 36 across the 4 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.PL2026

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…