collaborators

1 paper

cs.SE2025

SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types

Rui Chen, Ingo Sander

System design automation aims to manage the design of embedded systems with ever-increasing complexity. To the success of system design automation, there is still a lack of systema…