Erlang 2025 Contributors

Sun 12 Oct 2025 Singapore

co-located with ICFP/SPLASH 2025

Filter

Role Type

Contributing to

Number of Roles

Country

Results (30)

A Cons AhsAhs, Cons Meta Committee Member in Program Committee within the Erlang-track
Roberto AloiAloi, Roberto Meta A stop-the-world debugger for Erlang (and the BEAM)
Stavros AronisAronis, Stavros Erlang Solutions, SwedenGreece Committee Member in Program Committee within the Erlang-track
B Péter BereczkyBereczky, Péter Eötvös Loránd UniversityHungary Deriving an Erlang Interpreter from a Mechanised Formal Semantics of Core Erlang Mechanised Proofs of Atom Exhaustion in Erlang
Juan Camilo BonetBonet, Juan Camilo Universidad de los Andes Moving Objects and Behavior Safely in Ad hoc Networks
C Nicolás CardozoCardozo, Nicolás Universidad de los AndesColombia Moving Objects and Behavior Safely in Ad hoc Networks
Giuseppe CastagnaCastagna, Giuseppe CNRS; Université Paris CitéFrance Committee Member in Program Committee within the Erlang-track
F Daniel FerencziFerenczi, Daniel Eötvös Loránd University Evaluating AtomVM for Fault-Tolerant ESP32-Based Systems
Kiko Fernandez-ReyesFernandez-Reyes, Kiko Ericsson, SwedenSweden Session Chair of Welcome & Keynote (part of Erlang) Session Chair of Tools, Systems & Static Analysis (part of Erlang) Welcome to Erlang’25 Closing Remarks Organizing Committee in Organizing Committee within the Erlang-track
Arsenii FominFomin, Arsenii Eötvös Loránd University Deriving an Erlang Interpreter from a Mechanised Formal Semantics of Core Erlang Mechanised Proofs of Atom Exhaustion in Erlang
Viktória FördősFördős, Viktória Cisco SystemsSweden Committee Member in Program Committee within the Erlang-track
G Daniel GorinGorin, Daniel Meta Session Chair of Formal Semantics & Verification (part of Erlang) A stop-the-world debugger for Erlang (and the BEAM)
Björn GustavssonGustavsson, Björn Ericsson AB A stop-the-world debugger for Erlang (and the BEAM)
H Ákos HajduHajdu, Ákos MetaUnited Kingdom Welcome to Erlang’25
Ákos HajduHajdu, Ákos MetaUnited Kingdom Closing Remarks Organizing Committee in Organizing Committee within the Erlang-track
Paul HarveyHarvey, Paul University of Glasgow, UK Committee Member in Program Committee within the Erlang-track
Maxwell HeiberHeiber, Maxwell MetaUnited Kingdom The State of The Unions: challenges for type-checking unions and generics at WhatsApp
Csaba HochHoch, Csaba Cursor InsightHungary Committee Member in Program Committee within the Erlang-track
Dániel HorpácsiHorpácsi, Dániel Eötvös Loránd UniversityHungary Deriving an Erlang Interpreter from a Mechanised Formal Semantics of Core Erlang Mechanised Proofs of Atom Exhaustion in Erlang Committee Member in Program Committee within the Erlang-track
Isabell HuangHuang, Isabell Committee Member in Program Committee within the Erlang-track
K Sanne KalkmanKalkman, Sanne CodeSandbox \| TogetherAINetherlands Committee Member in Program Committee within the Erlang-track
R Kenji RikitakeRikitake, Kenji Kenji Rikitake Professional Engineer's Office Committee Member in Program Committee within the Erlang-track
Radosław Jan RowickiRowicki, Radosław Jan Technical University of DenmarkDenmark DDMon: a Monitoring Tool for Distributed Deadlock Detection
Gergely RudaRuda, Gergely evosoft Hungary Kft. Evaluating AtomVM for Fault-Tolerant ESP32-Based Systems
S Mateo SanabriaSanabria, Mateo Universidad de los Andes Moving Objects and Behavior Safely in Ad hoc Networks
T Simon ThompsonThompson, Simon University of Kent (UK)United Kingdom Deriving an Erlang Interpreter from a Mechanised Formal Semantics of Core Erlang
Gergő Lajos TuránTurán, Gergő Lajos Eötvös Loránd University Deriving an Erlang Interpreter from a Mechanised Formal Semantics of Core Erlang Mechanised Proofs of Atom Exhaustion in Erlang
Melinda TóthTóth, Melinda Eötvös Loránd UniversityHungary Securing Erlang and Elixir applications Evaluating AtomVM for Fault-Tolerant ESP32-Based Systems
V Adriana Laura VoineaVoinea, Adriana Laura University of Glasgow, UKUnited Kingdom Session Chair of Welcome & Keynote (part of Erlang) Session Chair of Distributed Behaviour (part of Erlang) Mailboxer: Static Detection of Erlang Communication Errors Welcome to Erlang’25 Closing Remarks Organizing Committee in Organizing Committee within the Erlang-track
W Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden PyErlang -- a stepping stone towards behaviour-oriented concurrency in Python