Anders Møller

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 34

Top Topics

Symbolic Execution

Web Applications

Static Analysis

Top Venues

Proc. ACM Program. Lang.

Publications

Mathias Rud Laursen, Wenyuan Xu, Anders Møller
Reducing Static Analysis Unsoundness with Approximate Interpretation. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Oskar Haarklou Veileborg, Georgian-Vlad Saioc, Anders Møller
Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation. ASE (2022)
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, Oskar Haarklou Veileborg
Eliminating abstraction overhead of Java stream pipelines using ahead-of-time program optimization. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Cristian-Alexandru Staicu, Martin Toldam Torp, Max Schäfer, Anders Møller, Michael Pradel
Extracting taint specifications for JavaScript libraries. ICSE (2020)
Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
A Principled Approach to Selective Context Sensitivity for Pointer Analysis. ACM Trans. Program. Lang. Syst. 42 (2) (2020)
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)
André Takeshi Endo, Anders Møller
NodeRacer: Event Race Detection for Node.js Applications. ICST (2020)
Benjamin Barslev Nielsen, Anders Møller
Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript. ECOOP (2020)
Erik Krogh Kristensen, Anders Møller
Reasonably-most-general clients for JavaScript library analysis. ICSE (2019)
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)
Anders Møller, Martin Toldam Torp
Model-based testing of breaking changes in Node.js libraries. ESEC/SIGSOFT FSE (2019)
Gianluca Mezzetti, Anders Møller, Martin Toldam Torp
Type Regression Testing to Detect Breaking Changes in Node.js Libraries. ECOOP (2018)
Christoffer Quist Adamsen, Anders Møller, Saba Alimadadi, Frank Tip
Practical AJAX race detection for JavaScript web applications. ESEC/SIGSOFT FSE (2018)
Gianluca Mezzetti, Anders Møller, Martin Toldam Torp
Type Regression Testing to Detect Breaking Changes in Node.js Libraries (Artifact). Dagstuhl Artifacts Ser. 4 (3) (2018)
Anders Møller
Technical perspective: WebAssembly: a quiet revolution of the web. Commun. ACM 61 (12) (2018)
Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
Precision-guided context sensitivity for pointer analysis. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
Scalability-first pointer analysis with self-tuning context-sensitivity. ESEC/SIGSOFT FSE (2018)
Erik Krogh Kristensen, Anders Møller
Inference and Evolution of TypeScript Declaration Files. FASE (2017)
Jan Midtgaard, Anders Møller
QuickChecking static analysis properties. Softw. Test. Verification Reliab. 27 (6) (2017)
Christoffer Quist Adamsen, Anders Møller, Rezwana Karim, Manu Sridharan, Frank Tip, Koushik Sen
Repairing event race errors by controlling nondeterminism. ICSE (2017)
Christoffer Quist Adamsen, Anders Møller, Frank Tip
Practical initialization race detection for JavaScript web applications. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Erik Krogh Kristensen, Anders Møller
Type test scripts for TypeScript testing. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Esben Andreasen, Liang Gong, Anders Møller, Michael Pradel, Marija Selakovic, Koushik Sen, Cristian-Alexandru Staicu
A Survey of Dynamic Analysis and Test Generation for JavaScript. ACM Comput. Surv. 50 (5) (2017)
Erik Ernst, Anders Møller, Mathias Schwarz, Fabio Strocco
Message safety in Dart. Sci. Comput. Program. 133 (2017)
Marina Billes, Anders Møller, Michael Pradel
Systematic black-box analysis of collaborative web applications. PLDI (2017)
Ben Spencer, Michael Benedikt, Anders Møller, Franck van Breugel
ArtForm: a tool for exploring the codebase of form-based websites. ISSTA (2017)
Esben Sparre Andreasen, Anders Møller, Benjamin Barslev Nielsen
Systematic approaches for increasing soundness and precision of static analyzers. SOAP@PLDI (2017)
Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller
Analyzing test completeness for dynamic languages. ISSTA (2016)
Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, Anders Møller
Feedback-directed instrumentation for deployed JavaScript applications. ICSE (2016)
Gianluca Mezzetti, Anders Møller, Fabio Strocco
Type unsoundness in practice: an empirical study of Dart. DLS (2016)
Thomas S. Heinze, Anders Møller, Fabio Strocco
Type safety analysis for Dart. DLS (2016)
Erik Ernst, Anders Møller, Mathias Schwarz, Fabio Strocco
Message safety in Dart. DLS (2015)
Casper Svenning Jensen, Anders Møller, Veselin Raychev, Dimitar K. Dimitrov, Martin T. Vechev
Stateless model checking of event-driven applications. OOPSLA (2015)
Jan Midtgaard, Anders Møller
QuickChecking Static Analysis Properties. ICST (2015)
Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller
Systematic execution of Android test suites in adverse conditions. ISSTA (2015)
Benjamin Livshits, Manu Sridharan, Yannis Smaragdakis, Ondrej Lhoták, José Nelson Amaral, Bor-Yuh Evan Chang, Samuel Z. Guyer, Uday P. Khedker, Anders Møller, Dimitrios Vardoulakis
In defense of soundiness: a manifesto. Commun. ACM 58 (2) (2015)
Anders Møller, Mathias Schwarz
Automated Detection of Client-State Manipulation Vulnerabilities. ACM Trans. Softw. Eng. Methodol. 23 (4) (2014)
Magnus Madsen, Anders Møller
Sparse Dataflow Analysis with Pointers and Reachability. SAS (2014)
Esben Andreasen, Anders Møller
Determinacy in static analysis for jQuery. OOPSLA (2014)
Asger Feldthaus, Anders Møller
Checking correctness of TypeScript interfaces for JavaScript libraries. OOPSLA (2014)
Casper Svenning Jensen, Mukul R. Prasad, Anders Møller
Automated testing with targeted event sequence generation. ISSTA (2013)
Casper Svenning Jensen, Anders Møller, Zhendong Su
Server interface descriptions for automated testing of JavaScript web applications. ESEC/SIGSOFT FSE (2013)
Asger Feldthaus, Anders Møller
Semi-automatic rename refactoring for JavaScript. OOPSLA (2013)
Simon Holm Jensen, Peter A. Jonsson, Anders Møller
Remedying the eval that men do. ISSTA (2012)
Anders Møller, Mathias Schwarz
Automated detection of client-state manipulation vulnerabilities. ICSE (2012)
Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip
Tool-supported refactoring for JavaScript. OOPSLA (2011)
Simon Holm Jensen, Magnus Madsen, Anders Møller
Modeling the HTML DOM and browser API in static analysis of JavaScript web applications. SIGSOFT FSE (2011)
Anders Møller, Michael I. Schwartzbach
XML graphs in program analysis. Sci. Comput. Program. 76 (6) (2011)
Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip
Refactoring towards the good parts of javascript. OOPSLA Companion (2011)
Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Møller, Frank Tip
A framework for automated testing of javascript web applications. ICSE (2011)
Anders Møller, Mathias Schwarz
HTML Validation of Context-Free Languages. FoSSaCS (2011)
Claus Brabrand, Robert Giegerich, Anders Møller
Analyzing ambiguity of context-free grammars. Sci. Comput. Program. 75 (3) (2010)
Simon Holm Jensen, Anders Møller, Peter Thiemann
Interprocedural Analysis with Lazy Propagation. SAS (2010)
Anders Møller, Mathias Schwarz
JWIG: Yet Another Framework for Maintainable and Secure Web Applications. WEBIST (2009)
Simon Holm Jensen, Anders Møller, Peter Thiemann
Type Analysis for JavaScript. SAS (2009)
Claus Brabrand, Anders Møller, Michael I. Schwartzbach
Dual syntax for XML languages. Inf. Syst. 33 (4-5) (2008)
Anders Møller
Static Analysis for Event-Based XML Processing. PLAN-X (2008)
Anders Møller, Mads Østerby Olesen, Michael I. Schwartzbach
Static validation of XSL transformations. ACM Trans. Program. Lang. Syst. 29 (4) (2007)
Claus Brabrand, Robert Giegerich, Anders Møller
Analyzing Ambiguity of Context-Free Grammars. CIAA (2007)
Anders Møller, Michael I. Schwartzbach
XML graphs in program analysis. PEPM (2007)
Christian Kirkegaard, Anders Møller
XACT - XML Transformations in Java. PLAN-X (2006)
Christian Kirkegaard, Anders Møller
Type Checking with XML Schema in XACT. PLAN-X (2006)
Christian Kirkegaard, Anders Møller
Static Analysis for Java Servlets and JSP. SAS (2006)
Henning Böttger, Anders Møller, Michael I. Schwartzbach
Contracts for Cooperation between Web Service Programmers and HTML Designers. J. Web Eng. 5 (1) (2006)
Anders Møller, Michael I. Schwartzbach
The Design Space of Type Checkers for XML Transformation Languages. ICDT (2005)
Claus Brabrand, Anders Møller, Michael I. Schwartzbach
Dual Syntax for XML Languages. DBPL (2005)
Christian Kirkegaard, Anders Møller, Michael I. Schwartzbach
Static Analysis of XML Transformations in Java. IEEE Trans. Software Eng. 30 (3) (2004)
Aske Simon Christensen, Christian Kirkegaard, Anders Møller
A Runtime System for XML Transformations in Java. XSym (2004)
Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach
Precise Analysis of String Expressions. SAS (2003)
Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach
Extending Java for high-level Web service construction. ACM Trans. Program. Lang. Syst. 25 (6) (2003)
Anders Møller
Verifying Programs that Manipulate Pointers: (Invited Talk). INFINITY (2003)
Nils Klarlund, Anders Møller, Michael I. Schwartzbach
The DSD Schema Language. Autom. Softw. Eng. 9 (3) (2002)
Claus Brabrand, Anders Møller, Steffan Olesen, Michael I. Schwartzbach
Language-Based Caching of Dynamiclly Generated HTML. World Wide Web 5 (4) (2002)
Claus Brabrand, Anders Møller, Michael I. Schwartzbach
The project. ACM Trans. Internet Techn. 2 (2) (2002)
Nils Klarlund, Anders Møller, Michael I. Schwartzbach
MONA Implementation Secrets. Int. J. Found. Comput. Sci. 13 (4) (2002)
Anders Møller, Michael I. Schwartzbach
The Pointer Assertion Logic Engine. PLDI (2001)
Claus Brabrand, Anders Møller, Michael I. Schwartzbach
Static validation of dynamically generated HTML. PASTE (2001)
Jacob Elgaard, Anders Møller, Michael I. Schwartzbach
Compile-Time Debugging of C Programs Working on Trees. ESOP (2000)
Nils Klarlund, Anders Møller, Michael I. Schwartzbach
MONA Implementation Secrets. CIAA (2000)
Claus Brabrand, Anders Møller, Mikkel Ricky, Michael I. Schwartzbach
PowerForms: Declarative client-side form field validation. World Wide Web 3 (4) (2000)
Nils Klarlund, Anders Møller, Michael I. Schwartzbach
DSD: A schema language for XML. FMSP (2000)
Claus Brabrand, Anders Møller, Anders Sandholm, Michael I. Schwartzbach
A Runtime System for Interactive Web Services. Comput. Networks 31 (11-16) (1999)
Jacob Elgaard, Nils Klarlund, Anders Møller
MONA 1.x: New Techniques for WS1S and WS2S. CAV (1998)