ICFP 2024 (series) / Erlang 2024 (series) / Erlang 2024 /
Is this really a refactoring? Automated equivalence checking for Erlang projects
This program is tentative and subject to change.
Mon 2 Sep 2024 15:00 - 15:30 at Orange 3 - Testing & Verification
We present an automated approach to checking whether a change to a repository is a refactoring, implemented in the EquivcheckEr tool. The tool detects the places in which the code has changed, and compares the old and new versions of all functions that are affected by the change, applying the functions to randomly generated inputs. Our tool works for projects written in Erlang, and so needs to deal with effectful as well as pure functions. We aim only to report inequivalence when we have concrete evidence to that effect, avoiding any “false positive” counterexamples.
This program is tentative and subject to change.
Mon 2 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 2 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 15:30 | |||
14:00 30mTalk | Erla+: Translating TLA+ Models into Executable Actor-Based Implementations Erlang Marian Hristov University of Kaiserslautern-Landau, Annette Bieniusa University of Kaiserslautern-Landau | ||
14:30 30mTalk | Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors Erlang | ||
15:00 30mTalk | Is this really a refactoring? Automated equivalence checking for Erlang projects Erlang Bendegúz Seres Eötvös Loránd University, Dániel Horpácsi Eötvös Loránd University, Simon Thompson IOHK, University of Kent, and ELTE |