Publications Conference proceedings (23) Modular Call Graph Construction for Security Scanning of Node.js Applications Auteurs: Benjamin Barslev Nielsen, Martin Toldam Torp, Anders Møller Publié dans: Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Numéro ISSTA 2021, 2021 Éditeur: Association for Computing Machinery DOI: 10.1145/3460319.3464836 Eliminating Abstraction Overhead of Java Stream Pipelines using Ahead-of-Time Program Optimization Auteurs: Anders Møller, Oskar Haarklou Veileborg Publié dans: Proceedings of the ACM on Programming Languages, Numéro OOPSLA 2020, 2020 Éditeur: Association for Computing Machinery DOI: 10.1145/3428236 Semantic Patches for Adaptation of JavaScript Programs to Evolving Libraries Auteurs: Benjamin Barslev Nielsen, Martin Toldam Torp, and Anders Møller Publié dans: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), Numéro ICSE 2021, 2021 Éditeur: The Institute of Electrical and Electronics Engineers DOI: 10.1109/icse43902.2021.00020 Detecting Locations in JavaScript Programs Affected by Breaking Library Changes Auteurs: Anders Møller, Benjamin Barslev Nielsen, Martin Toldam Torp Publié dans: Proceedings of the ACM on Programming Languages, Numéro OOPSLA 2020, 2020 Éditeur: Association for Computing Machinery DOI: 10.1145/3428255 Systematic Approaches for Increasing Soundness and Precision of Static Analyzers Auteurs: Esben Sparre Andreasen, Anders Møller, Benjamin Barslev Nielsen Publié dans: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, Numéro SOAP 2017, 2017 Éditeur: Association for Computing Machinery DOI: 10.1145/3088515.3088521 Practical Initialization Race Detection for JavaScript Web Applications Auteurs: Christoffer Quist Adamsen, Anders Møller, Frank Tip Publié dans: Proceedings of the ACM on Programming Languages, OOPSLA, Numéro OOPSLA 2017, 2017 Éditeur: Association for Computing Machinery DOI: 10.1145/3133890 Systematic Black-Box Analysis of Collaborative Web Applications Auteurs: Marina Billes, Anders Møller, Michael Pradel Publié dans: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, Numéro PLDI 2017, 2017 Éditeur: Association for Computing Machinery DOI: 10.1145/3062341.3062364 Type Test Scripts for TypeScript Testing Auteurs: Erik Krogh Kristensen, Anders Møller Publié dans: Proceedings of the ACM on Programming Languages, OOPSLA, Numéro OOPSLA 2017, 2017 Éditeur: Association for Computing Machinery DOI: 10.1145/3133914 Precision-Guided Context Sensitivity for Pointer Analysis Auteurs: Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis Publié dans: Proceedings of the ACM on Programming Languages, Numéro OOPSLA, 141, 2018, Page(s) 141:1-141:29 Éditeur: Association for Computing Machinery DOI: 10.1145/3276511 Practical AJAX Race Detection for JavaScript Web Applications Auteurs: Christoffer Quist Adamsen, Anders Møller, Saba Alimadadi, Frank Tip Publié dans: Proc. 12th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), Numéro ESEC/FSE 2018, 2018 Éditeur: Association for Computing Machinery DOI: 10.1145/3236024.3236038 Type Regression Testing to Detect Breaking Changes in Node.js Libraries Auteurs: Gianluca Mezzetti, Anders Møller, Martin Toldam Torp Publié dans: 32nd European Conference on Object-Oriented Programming - Leibniz International Proceedings in Informatics, Numéro ECOOP 2018, 2018 Éditeur: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH DOI: 10.4230/lipics.ecoop.2018.7 Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity Auteurs: Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis Publié dans: Proc. 12th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Numéro ESEC/FSE 2018, 2018 Éditeur: Association for Computing Machinery DOI: 10.1145/3236024.3236041 Type Unsoundness in Practice: An Empirical Study of Dart Auteurs: Gianluca Mezzetti, Anders Møller, Fabio Strocco Publié dans: Proceedings of the 12th Symposium on Dynamic Languages, Numéro DLS 2016, 2016 Éditeur: Association for Computing Machinery DOI: 10.1145/2989225.2989227 Analyzing Test Completeness for Dynamic Languages Auteurs: Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller Publié dans: Proceedings of the 25th International Symposium on Software Testing and Analysis, Numéro ISSTA 2016, 2016 Éditeur: Association for Computing Machinery DOI: 10.1145/2931037.2931059 Feedback-Directed Instrumentation for Deployed JavaScript Applications Auteurs: Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, Anders Møller Publié dans: Proceedings of the 38th International Conference on Software Engineering, Numéro ICSE 2016, 2016 Éditeur: Association for Computing Machinery DOI: 10.1145/2884781.2884846 Type Safety Analysis for Dart Auteurs: Thomas S. Heinze, Anders Møller, Fabio Strocco Publié dans: Proceedings of the 12th Symposium on Dynamic Languages, Numéro DLS 2016, 2016 Éditeur: Association for Computing Machinery DOI: 10.1145/2989225.2989226 Repairing Event Race Errors by Controlling Nondeterminism Auteurs: Christoffer Quist Adamsen, Anders Møller, Rezwana Karim, Manu Sridharan, Frank Tip, Koushik Sen Publié dans: Proceedings of the 39th International Conference on Software Engineering, Numéro ICSE 2017, 2017 Éditeur: IEEE Press DOI: 10.1109/icse.2017.34 Inference and Evolution of TypeScript Declaration Files Auteurs: Erik Krogh Kristensen, Anders Møller Publié dans: Fundamental Approaches to Software Engineering - 20th International Conference, Numéro FASE 2017, 2017 Éditeur: Springer DOI: 10.1007/978-3-662-54494-5_6 NodeRacer: Event Race Detection for Node.js Applications Auteurs: André Takeshi Endo, Anders Møller Publié dans: 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, Numéro ICST 2020, 2020 Éditeur: Institute of Electrical and Electronics Engineers Inc. DOI: 10.1109/icst46399.2020.00022 Model-based testing of breaking changes in Node.js libraries Auteurs: Anders Møller, Martin Toldam Torp Publié dans: 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, Page(s) 409-419, ISBN 9781-450355728 Éditeur: ACM Press DOI: 10.1145/3338906.3338940 Reasonably-Most-General Clients for JavaScript Library Analysis Auteurs: Erik Krogh Kristensen, Anders Moller Publié dans: 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE), 2019, Page(s) 83-93, ISBN 978-1-7281-0869-8 Éditeur: IEEE DOI: 10.1109/icse.2019.00026 Extracting Taint Specifications for JavaScript Libraries Auteurs: Cristian-Alexandru Staicu, Martin Toldam Torp, Max Schäfer, Michael Pradel Publié dans: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, Numéro ICSE 2020, 2020 Éditeur: Association for Computing Machinery DOI: 10.1145/3377811.3380390 Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript Auteurs: Benjamin Barslev Nielsen, Anders Møller Publié dans: 34th European Conference on Object-Oriented Programming, Numéro ECOOP 2020, 2020 Éditeur: Schloss Dagstuhl Leibniz-Zentrum für Informatik DOI: 10.4230/lipics.ecoop.2020.16 Peer reviewed articles (5) QuickChecking Static Analysis Properties Auteurs: Jan Midtgaard, Anders Møller Publié dans: Software Testing, Verification & Reliability, 2017, ISSN 0960-0833 Éditeur: John Wiley & Sons Inc. DOI: 10.1002/stvr.1640 A Survey of Dynamic Analysis and Test Generation for JavaScript Auteurs: Esben Andreasen, Anders Møller, Liang Gong, Michael Pradel, Marija Selakovic, Koushik Sen, Cristian-Alexandru Staicu Publié dans: ACM Computing Surveys, Numéro 50(5), 2017, ISSN 1557-7341 Éditeur: Association for Computing Machinery DOI: 10.1145/3106739 Message safety in Dart Auteurs: Erik Ernst, Anders Møller, Mathias Schwarz, Fabio Strocco Publié dans: Science of Computer Programming, Numéro 133(1), 2016, Page(s) 51-73, ISSN 0167-6423 Éditeur: Elsevier BV DOI: 10.1016/j.scico.2016.06.006 Static analysis with demand-driven value refinement Auteurs: Benno Stein, Benjamin Barslev Nielsen, Bor-Yuh Evan Chang, Anders Møller Publié dans: Proceedings of the ACM on Programming Languages, Numéro 3/OOPSLA, 2019, Page(s) 1-29, ISSN 2475-1421 Éditeur: Proceedings of the ACM on Programming Languages DOI: 10.1145/3360566 A Principled Approach to Selective Context Sensitivity for Pointer Analysis Auteurs: Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis Publié dans: ACM Transactions on Programming Languages and Systems, 2020, ISSN 0164-0925 Éditeur: Association for Computing Machinary, Inc. Non-peer reviewed articles (1) WebAssembly: a quiet revolution of the web Auteurs: Anders Møller Publié dans: Communications of the ACM, Numéro 61/12, 2018, Page(s) 106-106, ISSN 0001-0782 Éditeur: Association for Computing Machinary, Inc. DOI: 10.1145/3282508 Recherche de données OpenAIRE... Une erreur s’est produite lors de la recherche de données OpenAIRE Aucun résultat disponible