Concurrency control of JavaScript with arrows. - Tian Zhao 002; Adam Berger; Yonglun Li (REBLS@SPLASH, 2019)

Asynchronous monad for reactive IoT programming. - Tian Zhao 002; Adam Berger; Yonglun Li (REBLS@SPLASH, 2020)

A concurrency model for JavaScript with cooperative cancellation. - Tian Zhao 002; Yonglun Li (SLE, 2021)

Semantics of RxJS. - Tian Zhao 002; Yonglun Li (REBLS@SPLASH, 2022)