Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Sun 23 Aug 2020 07:50 - 08:00 at Erlang - Session 1 Chair(s): Viktória Fördős

Sun 23 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

07:50 - 09:30: Session 1Erlang at Erlang
Chair(s): Viktória FördősCisco Systems
07:50 - 08:00
Day opening
Opening
Erlang
Annette BieniusaTechnische Universität Kaiserslautern, Viktória FördősCisco Systems
08:00 - 08:30
Short-paper
Transformations towards Clean Functional Code
Erlang
Boldizsár PoórEötvös Loránd University, Melinda TothEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers & ELTE-Soft Nonprofit Ltd., István BozóEötvös Loránd University
DOI
08:30 - 09:00
Talk
Supporting Secure Coding with RefactorErl
Erlang
Brigitta BaranyaiELTE Eötvös Loránd University, István BozóEötvös Loránd University, Melinda TothEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers & ELTE-Soft Nonprofit Ltd.
09:00 - 09:30
Full-paper
Teaching Practical Realistic Verification of Distributed Algorithms in Erlang with TLA+
Erlang
Peter ZellerTU Kaiserslautern, Annette BieniusaTechnische Universität Kaiserslautern, Carla FerreiraUniversidade Nova Lisboa
DOI