ICFP 2017 (series) / Erlang 2017 (series) /
Erlang 2017 Program
This is the Erlang 2017 program - see the full program for ICFP 2017 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Fri 8 SepDisplayed time zone: Belfast change
Fri 8 Sep
Displayed time zone: Belfast change
09:00 - 09:10 | |||
09:00 10mDay opening | Opening & Welcome Erlang |
09:10 - 10:00 | |||
09:10 50mTalk | Keynote Erlang |
10:30 - 11:20 | |||
10:30 25mTalk | Construction and Formal Verification of a Fault-Tolerant Distributed Mutual Exclusion Algorithm Erlang Evgeniy Shishkin JSC "InfoTeCS" DOI File Attached | ||
10:55 25mTalk | Towards an Isabelle/HOL Formalisation of Core Erlang Erlang Joseph Harrison University of Kent |
12:00 - 12:25 | |||
12:00 25mTalk | Erlang and Elixir development news Erlang |
14:00 - 14:50 | |||
14:00 25mTalk | Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang Erlang Kagumi Azuma Kwansei Gakuin University, Nagisa Ishiura Kwansei Gakuin University, Nobuaki Yoshida ASTEM RI/KYOTO, Hiroyuki Kanbara ASTEM RI/KYOTO | ||
14:25 25mTalk | Structuring Erlang BEAM control flow Erlang |
15:30 - 16:20 | |||
15:30 25mTalk | The Shared-Memory Interferences of Erlang/OTP Built-ins Erlang | ||
15:55 25mTalk | Towards Change-driven Testing Erlang |
16:50 - 17:50 | |||
16:50 30mTalk | eAOP - An Aspect Oriented Programming Framework for Erlang Erlang Ian Cassar University of Malta, Adrian Francalanza University of Malta, Luca Aceto Reykjavik University, Anna Ingolfsdottir Reykjavik University | ||
17:20 30mTalk | In medias res: WIP discussion Erlang |