1. Semantics of RxJS;Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems;2022-11-29
2. A Graph-Based Formal Semantics of Reactive Programming from First Principles;Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs;2022-06-07
3. Reactive sorting networks;Proceedings of the 7th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems;2020-11-15
4. Asynchronous monad for reactive IoT programming;Proceedings of the 7th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems;2020-11-15
5. Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications;22nd International Symposium on Principles and Practice of Declarative Programming;2020-09-08