Runtime Type Safety for Erlang/OTP Behaviours
Callback-oriented Erlang/OTP behaviours such as
gen_server are susceptible to malformed requests and ill-typed messages, causing server processes to crash unless a defensive programming style is used. We contribute an alternative approach in the form of a fully automatic hybrid analysis of callback modules using a notion of type safety based upon a sub-typing relation for Erlang. A combination of compile-time type inference, automatic code injection, and modifications to the request dispatch code of
gen_server are used to demonstrate how generic server processes can be protected from client-side type errors.
PhD Candidate in the School of Computing.
Sun 18 Aug
|10:50 - 11:30|
|11:30 - 12:10|
Joseph HarrisonUniversity of Kent, UK