Maxim Menshikov
Static analysis reseacher and startup founder
Systematization of abstractions for unified programming language and environment support in static code analyzers Research
The paper about classification of abstractions used in static analyzers.
Date: 2021
Conference: CPS-2021