Erlang 2024 Contributors

Mon 2 Sep 2024 Milan, Italy

co-located with ICFP 2024

Filter

Role Type

Contributing to

Number of Roles

Country

Results (39)

A Ingela A. AndinA. Andin, Ingela Ericsson, SESweden Programme Committee in Program Committee within the Erlang-track
Duncan Paul AttardAttard, Duncan Paul University of GlasgowUnited Kingdom Programme Committee in Program Committee within the Erlang-track
B Lee BarneyBarney, Lee Brigham Young University-Idaho Unsafe Impedance: safe languages and safe by design software
Clara Benac EarleBenac Earle, Clara Universidad Politécnica de MadridSpain Controlled Scheduling of Concurrent Elixir Programs
Florian BergerBerger, Florian University of Kaiserslautern-LandauGermany Same same but different: A Comparative Analysis of Static Type Checkers in Erlang
Annette BieniusaBieniusa, Annette University of Kaiserslautern-LandauGermany Erla+: Translating TLA+ Models into Executable Actor-Based Implementations Same same but different: A Comparative Analysis of Static Type Checkers in Erlang Programme Committee in Program Committee within the Erlang-track
Laura BocchiBocchi, Laura University of KentUnited Kingdom Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors Programme Committee in Program Committee within the Erlang-track
C Laura M. CastroCastro, Laura M. University of A CoruñaSpain Elixir-powered Low-income Animal Shelter Support: an Experience Report from Conception to Production
D Luis Eduardo Bueso de Barriode Barrio, Luis Eduardo Bueso Universidad Politécnica de MadridSpain Controlled Scheduling of Concurrent Elixir Programs
Christophe De TroyerDe Troyer, Christophe Vrije Universiteit Brussel The Benefits of Tierless Elixir/Potato for Engineering IoT Systems
F Kiko Fernandez-ReyesFernandez-Reyes, Kiko Ericsson, SwedenSweden Session Chair of Welcome & Keynote (part of Erlang) Welcome to the Erlang Workshop Nominal Types for Erlang Co-chair in Organizing Committee within the Erlang-track
Lars-Ake FredlundFredlund, Lars-Ake Programme Committee in Program Committee within the Erlang-track
Lars-Åke FredlundFredlund, Lars-Åke Universidad Politécnica de MadridSpain Controlled Scheduling of Concurrent Elixir Programs
H Ángel HerranzHerranz, Ángel Universidad Politécnica de MadridSpain Controlled Scheduling of Concurrent Elixir Programs
Dániel HorpácsiHorpácsi, Dániel Eötvös Loránd UniversityHungary Is this really a refactoring? Automated equivalence checking for Erlang projects
Marian HristovHristov, Marian University of Kaiserslautern-LandauGermany Erla+: Translating TLA+ Models into Executable Actor-Based Implementations
Raymond HuHu, Raymond Queen Mary University of LondonUnited Kingdom Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors
Isabell HuangHuang, Isabell Nominal Types for Erlang
John HögbergHögberg, John Modeling Erlang Compiler IR as SMT Formulas Nominal Types for Erlang
J Saša JurićJurić, Saša Croatia Programme Committee in Program Committee within the Erlang-track
L Solaris LiLi, Solaris University of Glasgow The Benefits of Tierless Elixir/Potato for Engineering IoT Systems
Mart LubbersLubbers, Mart Radboud University Nijmegen The Benefits of Tierless Elixir/Potato for Engineering IoT Systems
M Madeleine MalmstenMalmsten, Madeleine Germany (Keynote) Environmentally sustainable software and data architectures
Julio MariñoMariño, Julio Universidad Politécnica de MadridSpain Controlled Scheduling of Concurrent Elixir Programs
N Adolfo NetoNeto, Adolfo Federal University of Technology - ParanáBrazil Unsafe Impedance: safe languages and safe by design software
P Luca PadovaniPadovani, Luca University of CamerinoItaly Programme Committee in Program Committee within the Erlang-track
Jonah PearsPears, Jonah Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors
R Adrian RamsinghRamsingh, Adrian Sia Fusion Ltd The Benefits of Tierless Elixir/Potato for Engineering IoT Systems
Carla Rodríguez EstévezRodríguez Estévez, Carla Universidade da Coruña, SpainSpain Elixir-powered Low-income Animal Shelter Support: an Experience Report from Conception to Production
S Albert SchimpfSchimpf, Albert University of Kaiserslautern-LandauGermany Same same but different: A Comparative Analysis of Static Type Checkers in Erlang
Bendegúz SeresSeres, Bendegúz Eötvös Loránd University Is this really a refactoring? Automated equivalence checking for Erlang projects
Marjan SirjaniSirjani, Marjan Malardalen UniversitySweden Programme Committee in Program Committee within the Erlang-track
T Hayleigh ThompsonThompson, Hayleigh GleamUnited Kingdom Programme Committee in Program Committee within the Erlang-track
Simon ThompsonThompson, Simon IOHK, University of Kent, and ELTEUnited Kingdom Is this really a refactoring? Automated equivalence checking for Erlang projects
Phil TrinderTrinder, Phil University of Glasgow The Benefits of Tierless Elixir/Potato for Engineering IoT Systems
V Adriana Laura VoineaVoinea, Adriana Laura Session Chair of Welcome & Keynote (part of Erlang) Welcome to the Erlang Workshop Co-chair in Organizing Committee within the Erlang-track
W Stefan WehrWehr, Stefan Offenburg University of Applied SciencesGermany Same same but different: A Comparative Analysis of Static Type Checkers in Erlang
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Nominal Types for Erlang
Z Brooklyn ZelenkaZelenka, Brooklyn Programme Committee in Program Committee within the Erlang-track