3 papers
cs.PL2025
Efficient compilation and execution of synchronous programs via type-state programming
Avinash Malik
Synchronous programs are used extensively in implementation of safety critical embedded software. Imperative synchronous programming languages model multiple Finite State Machines…
cs.PL2025
Timetide: A programming model for logically synchronous distributed systems
Logan Kenwright, Partha Roop, Nathan Allen +2
Massive strides in deterministic models have been made using synchronous languages. They are mainly focused on centralised applications, as the traditional approach is to compile a…
cs.FL2025
Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains
Moon Kim, Avinash Malik, Partha Roop
Hybrid systems are mostly modelled, simulated, and verified in the time domain by computer scientists. Engineers, however, use both frequency and time domain modelling due to their…