Automated Program Analysis for Advanced Web Applications

Modular Call Graph Construction for Security Scanning of Node.js Applications

Autoren: Benjamin Barslev Nielsen, Martin Toldam Torp, Anders Møller
Veröffentlicht in: Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Ausgabe ISSTA 2021, 2021
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3460319.3464836

Eliminating Abstraction Overhead of Java Stream Pipelines using Ahead-of-Time Program Optimization

Autoren: Anders Møller, Oskar Haarklou Veileborg
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe OOPSLA 2020, 2020
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3428236

Semantic Patches for Adaptation of JavaScript Programs to Evolving Libraries

Autoren: Benjamin Barslev Nielsen, Martin Toldam Torp, and Anders Møller
Veröffentlicht in: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), Ausgabe ICSE 2021, 2021
Herausgeber: The Institute of Electrical and Electronics Engineers
DOI: 10.1109/icse43902.2021.00020

Detecting Locations in JavaScript Programs Affected by Breaking Library Changes

Autoren: Anders Møller, Benjamin Barslev Nielsen, Martin Toldam Torp
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe OOPSLA 2020, 2020
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3428255

Systematic Approaches for Increasing Soundness and Precision of Static Analyzers

Autoren: Esben Sparre Andreasen, Anders Møller, Benjamin Barslev Nielsen
Veröffentlicht in: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, Ausgabe SOAP 2017, 2017
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3088515.3088521

Practical Initialization Race Detection for JavaScript Web Applications

Autoren: Christoffer Quist Adamsen, Anders Møller, Frank Tip
Veröffentlicht in: Proceedings of the ACM on Programming Languages, OOPSLA, Ausgabe OOPSLA 2017, 2017
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3133890

Systematic Black-Box Analysis of Collaborative Web Applications

Autoren: Marina Billes, Anders Møller, Michael Pradel
Veröffentlicht in: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, Ausgabe PLDI 2017, 2017
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3062341.3062364

Type Test Scripts for TypeScript Testing

Autoren: Erik Krogh Kristensen, Anders Møller
Veröffentlicht in: Proceedings of the ACM on Programming Languages, OOPSLA, Ausgabe OOPSLA 2017, 2017
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3133914

Precision-Guided Context Sensitivity for Pointer Analysis

Autoren: Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe OOPSLA, 141, 2018, Seite(n) 141:1-141:29
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3276511

Practical AJAX Race Detection for JavaScript Web Applications

Autoren: Christoffer Quist Adamsen, Anders Møller, Saba Alimadadi, Frank Tip
Veröffentlicht in: Proc. 12th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), Ausgabe ESEC/FSE 2018, 2018
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3236024.3236038

Type Regression Testing to Detect Breaking Changes in Node.js Libraries

Autoren: Gianluca Mezzetti, Anders Møller, Martin Toldam Torp
Veröffentlicht in: 32nd European Conference on Object-Oriented Programming - Leibniz International Proceedings in Informatics, Ausgabe ECOOP 2018, 2018
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH
DOI: 10.4230/lipics.ecoop.2018.7

Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity

Autoren: Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
Veröffentlicht in: Proc. 12th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Ausgabe ESEC/FSE 2018, 2018
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3236024.3236041

Type Unsoundness in Practice: An Empirical Study of Dart

Autoren: Gianluca Mezzetti, Anders Møller, Fabio Strocco
Veröffentlicht in: Proceedings of the 12th Symposium on Dynamic Languages, Ausgabe DLS 2016, 2016
Herausgeber: Association for Computing Machinery
DOI: 10.1145/2989225.2989227

Analyzing Test Completeness for Dynamic Languages

Autoren: Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller
Veröffentlicht in: Proceedings of the 25th International Symposium on Software Testing and Analysis, Ausgabe ISSTA 2016, 2016
Herausgeber: Association for Computing Machinery
DOI: 10.1145/2931037.2931059

Feedback-Directed Instrumentation for Deployed JavaScript Applications

Autoren: Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, Anders Møller
Veröffentlicht in: Proceedings of the 38th International Conference on Software Engineering, Ausgabe ICSE 2016, 2016
Herausgeber: Association for Computing Machinery
DOI: 10.1145/2884781.2884846

Type Safety Analysis for Dart

Autoren: Thomas S. Heinze, Anders Møller, Fabio Strocco
Veröffentlicht in: Proceedings of the 12th Symposium on Dynamic Languages, Ausgabe DLS 2016, 2016
Herausgeber: Association for Computing Machinery
DOI: 10.1145/2989225.2989226

Repairing Event Race Errors by Controlling Nondeterminism

Autoren: Christoffer Quist Adamsen, Anders Møller, Rezwana Karim, Manu Sridharan, Frank Tip, Koushik Sen
Veröffentlicht in: Proceedings of the 39th International Conference on Software Engineering, Ausgabe ICSE 2017, 2017
Herausgeber: IEEE Press
DOI: 10.1109/icse.2017.34

Inference and Evolution of TypeScript Declaration Files

Autoren: Erik Krogh Kristensen, Anders Møller
Veröffentlicht in: Fundamental Approaches to Software Engineering - 20th International Conference, Ausgabe FASE 2017, 2017
Herausgeber: Springer
DOI: 10.1007/978-3-662-54494-5_6

NodeRacer: Event Race Detection for Node.js Applications

Autoren: André Takeshi Endo, Anders Møller
Veröffentlicht in: 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, Ausgabe ICST 2020, 2020
Herausgeber: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/icst46399.2020.00022

Model-based testing of breaking changes in Node.js libraries

Autoren: Anders Møller, Martin Toldam Torp
Veröffentlicht in: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2019, 2019, Seite(n) 409-419, ISBN 9781-450355728
Herausgeber: ACM Press
DOI: 10.1145/3338906.3338940

Reasonably-Most-General Clients for JavaScript Library Analysis

Autoren: Erik Krogh Kristensen, Anders Moller
Veröffentlicht in: 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE), 2019, Seite(n) 83-93, ISBN 978-1-7281-0869-8
Herausgeber: IEEE
DOI: 10.1109/icse.2019.00026

Extracting Taint Specifications for JavaScript Libraries

Autoren: Cristian-Alexandru Staicu, Martin Toldam Torp, Max Schäfer, Michael Pradel
Veröffentlicht in: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, Ausgabe ICSE 2020, 2020
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3377811.3380390

Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript

Autoren: Benjamin Barslev Nielsen, Anders Møller
Veröffentlicht in: 34th European Conference on Object-Oriented Programming, Ausgabe ECOOP 2020, 2020
Herausgeber: Schloss Dagstuhl Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.ecoop.2020.16

QuickChecking Static Analysis Properties

Autoren: Jan Midtgaard, Anders Møller
Veröffentlicht in: Software Testing, Verification & Reliability, 2017, ISSN 0960-0833
Herausgeber: John Wiley & Sons Inc.
DOI: 10.1002/stvr.1640

A Survey of Dynamic Analysis and Test Generation for JavaScript

Autoren: Esben Andreasen, Anders Møller, Liang Gong, Michael Pradel, Marija Selakovic, Koushik Sen, Cristian-Alexandru Staicu
Veröffentlicht in: ACM Computing Surveys, Ausgabe 50(5), 2017, ISSN 1557-7341
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3106739

Message safety in Dart

Autoren: Erik Ernst, Anders Møller, Mathias Schwarz, Fabio Strocco
Veröffentlicht in: Science of Computer Programming, Ausgabe 133(1), 2016, Seite(n) 51-73, ISSN 0167-6423
Herausgeber: Elsevier BV
DOI: 10.1016/j.scico.2016.06.006

Static analysis with demand-driven value refinement

Autoren: Benno Stein, Benjamin Barslev Nielsen, Bor-Yuh Evan Chang, Anders Møller
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 3/OOPSLA, 2019, Seite(n) 1-29, ISSN 2475-1421
Herausgeber: Proceedings of the ACM on Programming Languages
DOI: 10.1145/3360566

A Principled Approach to Selective Context Sensitivity for Pointer Analysis

Autoren: Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
Veröffentlicht in: ACM Transactions on Programming Languages and Systems, 2020, ISSN 0164-0925
Herausgeber: Association for Computing Machinary, Inc.

WebAssembly: a quiet revolution of the web

Autoren: Anders Møller
Veröffentlicht in: Communications of the ACM, Ausgabe 61/12, 2018, Seite(n) 106-106, ISSN 0001-0782
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3282508

Veröffentlichungen

Diese Seite teilen

Herunterladen