Erlang 2020 Contributors

Sun 23 - Fri 28 August 2020

co-located with ICFP 2020

Filter

Role Type

Contributing to

Number of Roles

Country

Results (22)

A Stavros AronisAronis, Stavros Erlang Solutions, SwedenGreece PC Member in Program Committee within the Erlang-track
B Brigitta BaranyaiBaranyai, Brigitta ELTE Eötvös Loránd UniversityHungary Supporting Secure Coding with RefactorErl
Péter BereczkyBereczky, Péter Eötvös Loránd UniversityHungary Machine-Checked Natural Semantics for Core Erlang: Exceptions and Side Effects
Annette BieniusaBieniusa, Annette Technische Universität KaiserslauternGermany Session Chair of Session 3 (part of Erlang) Session Chair of Session 2 (part of Erlang) Opening Teaching Practical Realistic Verification of Distributed Algorithms in Erlang with TLA+ Co-chair in Organizing Committee within the Erlang-track PC Member in Program Committee within the Erlang-track
István BozóBozó, István Eötvös Loránd UniversityHungary Transformations towards Clean Functional Code Supporting Secure Coding with RefactorErl PC Member in Program Committee within the Erlang-track
C Richard CarlssonCarlsson, Richard KlarnaSweden PC Member in Program Committee within the Erlang-track
Laura M. CastroCastro, Laura M. University of A CoruñaSpain PC Member in Program Committee within the Erlang-track
Natalia ChechinaChechina, Natalia Bournemouth UniversityUnited Kingdom Clojerl: The Expressive Power of Clojure on the BEAM PC Member in Program Committee within the Erlang-track
F Juan FacorroFacorro, Juan Clojerl: The Expressive Power of Clojure on the BEAM
Carla FerreiraFerreira, Carla Universidade Nova Lisboa Teaching Practical Realistic Verification of Distributed Algorithms in Erlang with TLA+
Viktória FördősFördős, Viktória Cisco SystemsSweden Session Chair of Session 3 (part of Erlang) Session Chair of Session 1 (part of Erlang) Secure Design and Verification of Erlang Systems Opening Co-chair in Organizing Committee within the Erlang-track PC Member in Program Committee within the Erlang-track
H Dániel HorpácsiHorpácsi, Dániel Eötvös Loránd UniversityHungary Machine-Checked Natural Semantics for Core Erlang: Exceptions and Side Effects
I Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan PC Member in Program Committee within the Erlang-track
N Adolfo NetoNeto, Adolfo Federal University of Technology - ParanáBrazil PC Member in Program Committee within the Erlang-track
P Boldizsár PoórPoór, Boldizsár Eötvös Loránd UniversityHungary Transformations towards Clean Functional Code
S Hans SvenssonSvensson, Hans Quviq ABSweden PC Member in Program Committee within the Erlang-track
T Simon ThompsonThompson, Simon University of KentUnited Kingdom Machine-Checked Natural Semantics for Core Erlang: Exceptions and Side Effects
Phil TrinderTrinder, Phil University of Glasgow PC Member in Program Committee within the Erlang-track
Melinda TóthTóth, Melinda Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers & ELTE-Soft Nonprofit Ltd.Hungary Transformations towards Clean Functional Code Supporting Secure Coding with RefactorErl
V Peter Van RoyVan Roy, Peter Université catholique de LouvainBelgium Living on the Edge with Erlang
Evan Vigil-McClanahanVigil-McClanahan, Evan United States PC Member in Program Committee within the Erlang-track
Z Peter ZellerZeller, Peter TU KaiserslauternGermany Teaching Practical Realistic Verification of Distributed Algorithms in Erlang with TLA+