ICFP 2021
Sun 22 - Sat 28 August 2021
Thu 26 Aug 2021 23:30 - 00:00 at Erlang - Session 2

The presence of source code that is no longer needed is a handicap to project maintainability. The larger and longer-lived the project, the higher the chances of accumulating dead code in its different forms.

Manually detecting unused code is time-consuming, tedious, error-prone, and requires a great level of deep knowledge about the codebase. In this paper, we examine the kinds of dead code (specifically, oxbow code) that can appear in Erlang projects, and formulate rules to identify them with high accuracy.

We also present an open-source static analyzer that implements these rules, allowing for the automatic detection and confident removal of oxbow code in Erlang codebases, actively contributing to increasing their quality and maintainability.

Thu 26 Aug

Displayed time zone: Seoul change

23:30 - 01:00
Session 2Erlang at Erlang
23:30
30m
Talk
Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty
Erlang
Brujo Benavides Erlang Ecosystem Foundation, Laura M. Castro University of A Coruña
DOI
00:00
30m
Talk
Bidirectional Typing for Erlang
Erlang
Nithin Vadukkumchery Rajendrakumar TU Kaiserslautern, Annette Bieniusa Technische Universität Kaiserslautern
DOI
00:30
10m
Vision and Emerging Results
Lightning Talk: Experience teaching Erlang/Elixir on YouTube
Erlang
Adolfo Neto Federal University of Technology - Paraná
00:40
10m
Vision and Emerging Results
Lightning Talk: AtomVM: A flyweight BEAM for microcontrollers
Erlang