Diktat: Lightweight Static Analysis for Kotlin. - Andrey Kuleshov; Petr Trifanov; Vladislav Frolov; Guangtai Liang (ISSRE Workshops, 2021)