Login / Signup
Erlang Workshop
2002
2007
2017
2023
2002
2023
Keyphrases
Publications
2023
Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang, Erlang 2023, Seattle, WA, USA, 4 September 2023
Erlang Workshop
(2023)
Aurélie Kong Win Chang
,
Jérôme Feret
,
Gregor Gössler
A Semantics of Core Erlang with Handling of Signals.
Erlang Workshop
(2023)
Ingela Anderton Andin
,
Raimo Niskanen
,
Peter Dimitrov
,
Kiko Fernandez-Reyes
TLS the Erlang/OTP Way (Experience Report).
Erlang Workshop
(2023)
Luis Eduardo Bueso de Barrio
,
Lars-Åke Fredlund
,
Clara Benac Earle
,
Ángel Herranz
,
Julio Mariño
Generation and Refinement of Testing Models.
Erlang Workshop
(2023)
Dmitrii Fedoseev
,
Serhii Tupchii
,
Thales Macedo Garitezi
,
Zaiming Shi
Mria: An Eventually Consistent Mnesia.
Erlang Workshop
(2023)
Ke Mao
Code Analysis at WhatsApp (Keynote).
Erlang Workshop
(2023)
2022
Ruomeng (Cocoa) Xu
,
Anna Lito Michala
,
Phil Trinder
CAEFL: composable and environment aware federated learning models.
Erlang Workshop
(2022)
Ilya G. Klyuchnikov
eqWAlizer: scaling Erlang development at WhatsApp with static typing (keynote).
Erlang Workshop
(2022)
Sergio Pérez
,
Luis Eduardo Bueso de Barrio
,
Ignacio Ballesteros
,
Ángel Herranz
,
Julio Mariño
,
Clara Benac Earle
,
Lars-Åke Fredlund
Executable contracts for Elixir.
Erlang Workshop
(2022)
Erlang '22: 21st ACM SIGPLAN International Workshop on Erlang, Ljubljana, Slovenia, 11 September 2022
Erlang Workshop
(2022)
Aidan Randtoul
,
Phil Trinder
A reliability benchmark for actor-based server languages.
Erlang Workshop
(2022)
Nikos Tsikoudis
,
Marc Sugiyama
Troubleshooting the performance of a large Erlang system.
Erlang Workshop
(2022)
Ákos Hajdu
,
Matteo Marescotti
,
Thibault Suzanne
,
Ke Mao
,
Radu Grigore
,
Per Gustafsson
,
Dino Distefano
InfERL: scalable and extensible Erlang static analysis.
Erlang Workshop
(2022)
2021
Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2021, Virtual Event, Korea, August 26, 2021.
Erlang Workshop
(2021)
Luis Eduardo Bueso de Barrio
,
Lars-Åke Fredlund
,
Ángel Herranz
,
Clara Benac Earle
,
Julio Mariño
Makina: a new QuickCheck state machine library.
Erlang Workshop
(2021)
Nithin Vadukkumchery Rajendrakumar
,
Annette Bieniusa
Bidirectional typing for Erlang.
Erlang Workshop
(2021)
Fernando Benavides Rodríguez
,
Laura M. Castro
Detecting oxbow code in Erlang codebases with the highest degree of certainty.
Erlang Workshop
(2021)
Konstantinos Sagonas
Fifteen years of successfully dialyzing Erlang and Elixir code (invited talk).
Erlang Workshop
(2021)
Matthew Alan Le Brun
,
Duncan Paul Attard
,
Adrian Francalanza
Graft: general purpose raft consensus in Elixir.
Erlang Workshop
(2021)
Viktória Fördós
What are the critical security flaws in my system?
Erlang Workshop
(2021)
Sébastien Kalbusch
,
Vincent Verpoten
,
Peter Van Roy
The Hera framework for fault-tolerant sensor fusion with Erlang and GRiSP on an IoT network.
Erlang Workshop
(2021)
2020
Boldizsár Poór
,
Melinda Tóth
,
István Bozó
Transformations towards clean functional code.
Erlang Workshop
(2020)
Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2020, Virtual Event, USA, August 23, 2020
Erlang Workshop
(2020)
Peter Zeller
,
Annette Bieniusa
,
Carla Ferreira
Teaching practical realistic verification of distributed algorithms in Erlang with TLA+.
Erlang Workshop
(2020)
Péter Bereczky
,
Dániel Horpácsi
,
Simon J. Thompson
Machine-checked natural semantics for Core Erlang: exceptions and side effects.
Erlang Workshop
(2020)
Viktória Fördós
Secure design and verification of Erlang systems.
Erlang Workshop
(2020)
Juan Facorro
,
Natalia Chechina
Clojerl: the expressive power of Clojure on the BEAM.
Erlang Workshop
(2020)
2019
Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2019, Berlin, Germany, August 18, 2019
Erlang Workshop
(2019)
Adam Lindberg
,
Sébastien Merle
,
Peer Stritzinger
Scaling Erlang distribution: going beyond the fully connected mesh.
Erlang Workshop
(2019)
Gergely Nagy
,
Áron Attila Mészáros
,
István Bozó
,
Melinda Tóth
Tools supporting green computing in Erlang.
Erlang Workshop
(2019)
Lars-Åke Fredlund
,
Clara Benac Earle
,
Thomas Arts
,
Hans Svensson
Gaining trust by tracing security protocols.
Erlang Workshop
(2019)
Michal Slaski
,
Wojciech Turek
Towards online profiling of Erlang systems.
Erlang Workshop
(2019)
Joseph Harrison
Runtime type safety for erlang/otp behaviours.
Erlang Workshop
(2019)
Håkan Mattsson
,
Cons T. Åhs
Lux: an expect-like test tool written in Erlang: synchronised testing of multiple sessions.
Erlang Workshop
(2019)
Igor Kopestenski
,
Peter Van Roy
Erlang as an enabling technology for resilient general-purpose applications on edge IoT networks.
Erlang Workshop
(2019)
Torbjörn Lager
Intro to web prolog for erlangers.
Erlang Workshop
(2019)
2018
Joseph Harrison
Automatic detection of core Erlang message passing errors.
Erlang Workshop
(2018)
Jörgen Brandt
,
Wolfgang Reisig
Modeling Erlang processes as Petri nets.
Erlang Workshop
(2018)
Alex Gerdes
,
John Hughes
,
Nicholas Smallbone
,
Stefan Hanenberg
,
Sebastian Ivarsson
,
Meng Wang
Understanding formal specifications through good examples.
Erlang Workshop
(2018)
Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, ICFP 2018, St. Louis, MO, USA, September 23-29, 2018
Erlang Workshop
(2018)
Aman Shankar Mathur
,
Burcu Kulahcioglu Ozkan
,
Rupak Majumdar
iDeA: an immersive debugger for actors.
Erlang Workshop
(2018)
Alexandre Jorge Barbosa Rodrigues
,
Viktória Fördós
Towards secure Erlang systems.
Erlang Workshop
(2018)
Nachiappan Valliappan
,
John Hughes
Typing the wild in Erlang.
Erlang Workshop
(2018)
Stavros Aronis
,
Viktória Fördós
,
Dániel Szoboszlay
Modelling distributed Erlang within a single node.
Erlang Workshop
(2018)
2017
Ian Cassar
,
Adrian Francalanza
,
Luca Aceto
,
Anna Ingólfsdóttir
eAOP: an aspect oriented programming framework for Erlang.
Erlang Workshop
(2017)
Stavros Aronis
,
Konstantinos Sagonas
The shared-memory interferences of Erlang/OTP built-ins.
Erlang Workshop
(2017)
Viktória Fördós
,
István Bozó
,
Melinda Tóth
Towards change-driven testing.
Erlang Workshop
(2017)
Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang, Oxford, United Kingdom, September 3-9, 2017
Erlang Workshop
(2017)
Dániel Lukács
,
Melinda Tóth
Structuring Erlang BEAM control flow.
Erlang Workshop
(2017)
Evgeniy Shishkin
Construction and formal verification of a fault-tolerant distributed mutual exclusion algorithm.
Erlang Workshop
(2017)