1. Thorium: A Language for Bounded Verification of Dynamic Reactive Objects;Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems;2023-10-19
2. Typing Composable Coroutines;2023 12th International Conference on Computer Technologies and Development (TechDev);2023-10-14
3. Reactive Programming on the Bare Metal: A Formal Model for a Low-Level Reactive Virtual Machine;Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems;2022-11-29
4. 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
5. Reactive Programming of Robots with RxROS;Studies in Computational Intelligence;2021