24 citations · 58 across the 14 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.PL2025★ 15 cited
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…
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…