Abstract: Asynchronous operation of a synchronous generator (SG) following a loss of field (LOF) incident can lead to potential mechanical damages, as well as overheating in the stator winding, rotor ...

Abstract: Synchronous programs are used to implement safety critical embedded software. Efficiently compiling imperative synchronous programs into small and fast executables is challenging, due to ...

Programming efficient asynchronous systems is challenging because it can often be hard to express the design declaratively, or to defend against interleaving-dependent bugs such as data races and ...