SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Mon 23 Oct 2023 11:00 - 11:45 at Room IV - Technical session 1

This paper presents mechanisms for describing real-time tasks in functional reactive programming (FRP) languages for small-scale embedded systems. We have designed and implemented Emfrp, an FRP language for resource-constrained systems, and demonstrated its usefulness with several applications. However, the language requires using external clocks as time-varying values when describing time-dependent behaviors. In this work, we extend the types of time-varying values that express their update timings to describe periodic and aperiodic tasks. The extensions enable concise and precise descriptions of various timed behaviors. We evaluate prototype implementations of the extended languages concerning program size, execution time, and power consumption.

https://dl.acm.org/doi/10.1145/3623506.3623578?cid=81100364022
this URL might only work when visiting from a https://www.psg.c.titech.ac.jp/acmauthorizer.html URL.

Mon 23 Oct

Displayed time zone: Lisbon change

11:00 - 12:30
Technical session 1REBLS at Room IV
11:00
45m
Talk
Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems
REBLS
Kento Sogo Tokyo Institute of Technology, Yuta Tsuji Tokyo Institute of Technology, Sosuke Moriguchi Tokyo Institute of Technology, Takuo Watanabe Tokyo Institute of Technology
Link to publication DOI Authorizer link
11:45
45m
Talk
Thorium: Verifiable, Dynamic, Reactive Software
REBLS
Kevin Baldor The University of Texas at San Antonio, Jianwei Niu University of Texas at San Antonio, Xiaoyin Wang University of Texas at San Antonio