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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:50 - 12:10
Session 2Erlang at Yew
10:50
40m
Full-paper
Gaining Trust by Tracing Security Protocols
Erlang
Lars-Ake Fredlund , Thomas Arts Quviq, Clara Benac Earle Universidad Politécnica de Madrid, Hans Svensson Quviq AB
11:30
40m
Full-paper
Runtime Type Safety for Erlang/OTP Behaviours
Erlang
Joseph Harrison University of Kent, UK