Benjamin Barslev Nielsen
Benjamin Barslev Nielsen
PhD student, Aarhus University
Verified email at cs.au.dk
Title
Cited by
Cited by
Year
Systematic approaches for increasing soundness and precision of static analyzers
ES Andreasen, A Møller, BB Nielsen
Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the …, 2017
212017
Nodest: feedback-driven static analysis of Node. js applications
BB Nielsen, B Hassanshahi, F Gauthier
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
32019
Static analysis with demand-driven value refinement
B Stein, BB Nielsen, BYE Chang, A Møller
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
12019
FEEDBACK-DIRECTED STATIC ANALYSIS
B Hassanshahi, BB Nielsen
US Patent App. 16/206,562, 2020
2020
Systematic approaches for increasing soundness and precision of static
ES Andreasen, A Møller, BB Nielsen
SOAP 2017 Proceedings of the 6th ACM SIGPLAN International Workshop on State …, 2017
2017
Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript
BB Nielsen, A Møller
The system can't perform the operation now. Try again later.
Articles 1–6