Benjamin Barslev Nielsen

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 8

Top Topics

Static Analysis

Symbolic Execution

Web Applications

Top Venues

Proc. ACM Program. Lang.

ICSE (Companion Volume)

ESEC/SIGSOFT FSE

Publications

Benjamin Barslev Nielsen, Martin Toldam Torp, Anders Møller
Semantic Patches for Adaptation of JavaScript Programs to Evolving Libraries. ICSE (2021)
Benjamin Barslev Nielsen, Martin Toldam Torp, Anders Møller
Modular call graph construction for security scanning of Node.js applications. ISSTA (2021)
Benjamin Barslev Nielsen, Martin Toldam Torp, Anders Møller
Semantic Patches for Adaptation of JavaScript Programs to Evolving Libraries. ICSE (Companion Volume) (2021)
Anders Møller, Benjamin Barslev Nielsen, Martin Toldam Torp
Detecting locations in JavaScript programs affected by breaking library changes. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Benjamin Barslev Nielsen, Anders Møller
Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript. ECOOP (2020)
Benno Stein, Benjamin Barslev Nielsen, Bor-Yuh Evan Chang, Anders Møller
Static analysis with demand-driven value refinement. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Benjamin Barslev Nielsen, Behnaz Hassanshahi, François Gauthier
Nodest: feedback-driven static analysis of Node.js applications. ESEC/SIGSOFT FSE (2019)
Esben Sparre Andreasen, Anders Møller, Benjamin Barslev Nielsen
Systematic approaches for increasing soundness and precision of static analyzers. SOAP@PLDI (2017)