As part of the STARDUST project researchers at Glasgow have developed mailbox types a radical new technology for checking communication in Actor languages: so Elixir, Erlang, Scala/Akka and friends [ ICFP23 ].
We are in the process of building Mailboxer, a tool to detect communication errors in Erlang codebases.
The purpose of the internship is to work with the friendly and fun STARDUST team to test the prototype Mailboxer tool on new code examples, and to improve the tool, e.g. to improve error reporting.
Key skills
An interest in programming languages
The ability to work in a team
Knowledge of a functional language, Erlang, Elixir, or type checking all helpful but not essential
Happy to discuss further. If you're interested, please contact me: Phil.Trinder@Glasgow.ac.uk