Hello
My name is Jonah Pears and I am currently a Postdoc researcher at the University of Kent, UK.
I am a member of the PLAS research group, and am currently working on a project under Dr David Castro-Perez.
During my PhD I was supervised by Dr Laura Bocchi – I talk more about my PhD research here.
Research
Interests
TODO
Publications
- (Erlang 2024) Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors.
Jonah Pears, Laura Bocchi, Raymond Hu - (LMCS, to appear) Introducing TOAST: Safe Asynchronous Mixed-Choice For Timed Interactions.
Jonah Pears, Laura Bocchi, Maurizio Murgia, Andy King - (COORDINATION 2023) Safe Asynchronous Mixed-Choice for Timed Interactions.
Jonah Pears, Laura Bocchi, Andy King
See my profile on DBLP for a better overview.
PhD Research
I started by PhD in September of 2021 and have since passed my viva (January of 2025). During this time I worked on developing the theory of Timeout Asynchronous Session Types (TOAST for short) [a, b], which I then implemented in Erlang as part of a (proof-of-concept) tool-chain [c] for generating correct-by-construction implementations, which also featured dynamic verification via runtime-monitoring – I have made a short blog post about this.
From a high-level view, the research aims to improve existing models that we can use to reason on the behaviour of, e.g., devices on the web, in order to facilitate them having a broader range of real-world applications.
At a lower-level:
(i) these models capture the behaviour of interactions in asynchronous, concurrent (and possibly distributed) systems,
and (ii) the extensions focused on improving their descriptive capabilities such that they can model the behaviour of timeouts (e.g., a server can receive a response within
This Blog
I plan would like to use this blog to host articles that accompany my work (though, let us see how this goes).
The writing here will likely be less formal than usual, and will try to assume as little as possible about the reader.
Posts
subscribe via RSS