1. Communicating Actor Automata - Modelling Erlang Processes as Communicating Machines;Electronic Proceedings in Theoretical Computer Science;2023-04-13
2. Veracity: declarative multicore programming with commutativity;Proceedings of the ACM on Programming Languages;2022-10-31
3. Durable functions: semantics for stateful serverless;Proceedings of the ACM on Programming Languages;2021-10-20
4. Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications;22nd International Symposium on Principles and Practice of Declarative Programming;2020-09-08
5. A Multi-Paradigm Modelling approach to live modelling;Software & Systems Modeling;2018-10-30