SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Wed 7 Dec 2022 11:00 - 11:30 at Seminar Room G125 - Session 1 Chair(s): Tetsuo Kamina

RxJS is a popular JavaScript library for reactive programming in Web applications. It provides numerous operators to create, combine, transform, and filter discrete events and to handle errors. These operators may be stateful and have side effects, which makes it difficult to understand the precise meaning of the resulting computation. In this paper, we define a formal model for RxJS programs by formalizing a selected subset of RxJS operators using a small-step operational semantics. We present several debugging related applications using the semantics as a model. We also implemented a subset of RxJS based on this semantics, which provides convenient access to the runtime representation of the RxJS program to help debugging.

Wed 7 Dec

Displayed time zone: Auckland, Wellington change

10:30 - 12:00
Session 1REBLS at Seminar Room G125
Chair(s): Tetsuo Kamina Oita University
10:30
30m
Talk
Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems
REBLS
Akihiko Yokoyama Tokyo Institute of Technology, Sosuke Moriguchi Tokyo Institute of Technology, Takuo Watanabe Tokyo Institute of Technology
DOI Pre-print
11:00
30m
Talk
Semantics of RxJSPre-recorded
REBLS
Tian Zhao University of Wisconsin-Milwaukee, Yonglun Li University of Wisconsin-Milwaukee
DOI
11:30
30m
Talk
About Combining Functional Reactive Programming and Replicated Data TypesPre-recorded
REBLS
Ragnar Mogk Technische Universität Darmstadt, Julian Haas TU Darmstadt
File Attached