Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Sun 18 Aug 2019 11:30 - 12:10 at Yew - Session 2

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

erlang-2019-papers
10:50 - 12:10: Erlang 2019 - Session 2 at Yew
erlang-2019-papers10:50 - 11:30
Full-paper
Lars-Ake Fredlund, Thomas ArtsQuviq, Clara Benac EarleUniversidad Polit├ęcnica de Madrid, Hans SvenssonQuviq AB
erlang-2019-papers11:30 - 12:10
Full-paper
Joseph HarrisonUniversity of Kent, UK