4 papers
Safety Verification and Optimization in Industrial Drive Systems
Imran Riaz Hasrat, Eun-Young Kang, Christian Uldal Graulund
Safety and reliability are crucial in industrial drive systems, where hazardous failures can have severe consequences. Detecting and mitigating dangerous faults on time is challeng…
Adjoint Reactive GUI
Christian Uldal Graulund, Dmitrij Szamozvancev, Neel Krishnaswami
Most interaction with a computer is done via a graphical user interface. Traditionally, these are implemented in an imperative fashion using shared mutable state and callbacks. Thi…
Diamonds are not forever: Liveness in reactive programming with guarded recursion
Patrick Bahr, Christian Uldal Graulund, Rasmus Møgelberg
When designing languages for functional reactive programming (FRP) the main challenge is to provide the user with a simple, flexible interface for writing programs on a high level…
Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming without Space Leaks
Patrick Bahr, Christian Graulund, Rasmus Møgelberg
Functional reactive programming (FRP) is a paradigm for programming with signals and events, allowing the user to describe reactive programs on a high level of abstraction. For thi…