Checking actors for race freedom

Hello everybody,

We are currently working on a compiler plug-in that can be used to check
that actors do not accidentally share mutable state.

The motivation is that in some applications, such as an image processing
pipeline, it is helpful or even necessary for performance reasons to
send and receive mutable objects. We have been working on a new
type-based approach to check that actors remain isolated even in such
cases. We believe that our approach is quite flexible, but want to
evaluate our ideas with more practical examples.

So, if you are involved in or know of some project using actors that
could benefit either from our checker or from mutable message objects
and whose source code could be made available to us, I'd be happy to
hear from you.

Thanks,
Philipp

PS: Even if you don't know of a concrete project, but have a programming
pattern/example in mind that could be challenging/interesting, don't
hesitate to let me know!