Aarhus University Seal / Aarhus Universitets segl

Benjamin Barslev Nielsen

  1. 2019
  2. Published

    Static Analysis with Demand-driven Value Refinement. / Stein, Benno; Nielsen, Benjamin Barslev; Chang, Bor-Yuh Evan; Møller, Anders.

    In: Proceedings of the ACM on Programming Languages , Vol. 3, No. OOPSLA, 01.10.2019, p. 140:1-140:29.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  3. Published

    Nodest : Feedback-driven static analysis of Node.js applications. / Nielsen, Benjamin Barslev; Hassanshahi, Behnaz; Gauthier, François.

    ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. ed. / Sven Apel; Marlon Dumas; Alessandra Russo; Dietmar Pfahl. Association for Computing Machinery, 2019. p. 455-465.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  4. 2017
  5. Published

    Systematic Approaches for Increasing Soundness and Precision of Static Analyzers. / Andreasen, Esben Sparre; Møller, Anders; Nielsen, Benjamin Barslev.

    Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis. ed. / Karim Ali ; Cristina Cifuentes . New York, NY, USA : Association for Computing Machinery, 2017. p. 31-36 (SOAP 2017).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review