Abstract is missing.
- Code Analysis at WhatsApp (Keynote)Ke Mao. 1 [doi]
- TLS the Erlang/OTP Way (Experience Report)Ingela Anderton Andin, Raimo Niskanen, Peter Dimitrov, Kiko Fernandez-Reyes. 2-13 [doi]
- Generation and Refinement of Testing ModelsLuis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, Julio Mariño. 14-23 [doi]
- Mria: An Eventually Consistent MnesiaDmitrii Fedoseev, Serhii Tupchii, Thales Macedo Garitezi, Zaiming Shi. 24-30 [doi]
- A Semantics of Core Erlang with Handling of SignalsAurélie Kong Win Chang, Jérôme Feret, Gregor Gössler. 31-38 [doi]