Systematic approaches for increasing soundness and precision of static analyzers. - Esben Sparre Andreasen; Anders Møller; Benjamin Barslev Nielsen (SOAP@PLDI, 2017)

Nodest: feedback-driven static analysis of Node.js applications. - Benjamin Barslev Nielsen; Behnaz Hassanshahi; François Gauthier 001 (ESEC/SIGSOFT FSE, 2019)

Static analysis with demand-driven value refinement. - Benno Stein 002; Benjamin Barslev Nielsen; Bor-Yuh Evan Chang; Anders Møller (Proc. ACM Program. Lang., 2019)

Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript. - Benjamin Barslev Nielsen; Anders Møller (ECOOP, 2020)

Detecting locations in JavaScript programs affected by breaking library changes. - Anders Møller; Benjamin Barslev Nielsen; Martin Toldam Torp (Proc. ACM Program. Lang., 2020)

Semantic Patches for Adaptation of JavaScript Programs to Evolving Libraries. - Benjamin Barslev Nielsen; Martin Toldam Torp; Anders Møller (ICSE, 2021)

Modular call graph construction for security scanning of Node.js applications. - Benjamin Barslev Nielsen; Martin Toldam Torp; Anders Møller (ISSTA, 2021)