Ákos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, Dino Distefano. InfERL: scalable and extensible Erlang static analysis. In Stavros Aronis, Burcu Kulahcioglu Ozkan, editors, Erlang '22: 21st ACM SIGPLAN International Workshop on Erlang, Ljubljana, Slovenia, 11 September 2022. pages 33-39, ACM, 2022. [doi]
Abstract is missing.