Anders Møller

94 papers A* 11A 21B 7C 7Journal 29Unranked 17
YearRankTypeTitle / Venue / Authors
2025 — conf
Dynamic Partial Deadlock Detection and Recovery via Garbage Collection.
ASPLOS (2)
Georgian-Vlad Saioc, I-Ting Angelina Lee, Anders Møller, Milind Chabbi
2025 A conf
Event Race Detection for Node.js Using Delay Injections.
ECOOP
André Takeshi Endo, Anders Møller
2024 J jnl
Automated Verification of Parametric Channel-Based Process Communication.
Proc. ACM Program. Lang.
Georgian-Vlad Saioc, Julien Lange, Anders Møller
2024 A conf
Indirection-Bounded Call Graph Analysis.
ECOOP
Madhurima Chakraborty, Aakash Gnanakumar, Manu Sridharan, Anders Møller
2024 J jnl
Reducing Static Analysis Unsoundness with Approximate Interpretation.
Proc. ACM Program. Lang.
Mathias Rud Laursen, Wenyuan Xu, Anders Møller
2022 A* conf
Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation.
ASE
Oskar Haarklou Veileborg, Georgian-Vlad Saioc, Anders Møller
2021 A ed.
35th European Conference on Object-Oriented Programming, ECOOP 2021, Aarhus, Denmark (Virtual Conference), July 11-17, 2021
ECOOP
Anders Møller, Manu Sridharan
2021 A conf
Modular call graph construction for security scanning of Node.js applications.
ISSTA
Benjamin Barslev Nielsen, Martin Toldam Torp, Anders Møller
2021 A* conf
Semantic Patches for Adaptation of JavaScript Programs to Evolving Libraries.
ICSE
Benjamin Barslev Nielsen, Martin Toldam Torp, Anders Møller
2021 — conf
Semantic Patches for Adaptation of JavaScript Programs to Evolving Libraries.
ICSE (Companion Volume)
Benjamin Barslev Nielsen, Martin Toldam Torp, Anders Møller
2020 J jnl
A Principled Approach to Selective Context Sensitivity for Pointer Analysis.
ACM Trans. Program. Lang. Syst.
Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
2020 J jnl
Detecting locations in JavaScript programs affected by breaking library changes.
Proc. ACM Program. Lang.
Anders Møller, Benjamin Barslev Nielsen, Martin Toldam Torp
2020 J jnl
Eliminating abstraction overhead of Java stream pipelines using ahead-of-time program optimization.
Proc. ACM Program. Lang.
Anders Møller, Oskar Haarklou Veileborg
2020 A* conf
Extracting taint specifications for JavaScript libraries.
ICSE
Cristian-Alexandru Staicu, Martin Toldam Torp, Max Schäfer, Anders Møller, Michael Pradel
2020 A conf
NodeRacer: Event Race Detection for Node.js Applications.
ICST
André Takeshi Endo, Anders Møller
2020 A conf
Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript.
ECOOP
Benjamin Barslev Nielsen, Anders Møller
2019 — conf
Model-based testing of breaking changes in Node.js libraries.
ESEC/SIGSOFT FSE
Anders Møller, Martin Toldam Torp
2019 A ed.
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019.
ISSTA
Dongmei Zhang, Anders Møller
2019 A* conf
Reasonably-most-general clients for JavaScript library analysis.
ICSE
Erik Krogh Kristensen, Anders Møller
2019 J jnl
Static analysis with demand-driven value refinement.
Proc. ACM Program. Lang.
Benno Stein, Benjamin Barslev Nielsen, Bor-Yuh Evan Chang, Anders Møller
2018 — conf
Practical AJAX race detection for JavaScript web applications.
ESEC/SIGSOFT FSE
Christoffer Quist Adamsen, Anders Møller, Saba Alimadadi, Frank Tip
2018 J jnl
Precision-guided context sensitivity for pointer analysis.
Proc. ACM Program. Lang.
Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
2018 — conf
Scalability-first pointer analysis with self-tuning context-sensitivity.
ESEC/SIGSOFT FSE
Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
2018 J jnl
Technical perspective: WebAssembly: a quiet revolution of the web.
Commun. ACM
Anders Møller
2018 J jnl
Type Regression Testing to Detect Breaking Changes in Node.js Libraries (Artifact).
Dagstuhl Artifacts Ser.
Gianluca Mezzetti, Anders Møller, Martin Toldam Torp
2018 A conf
Type Regression Testing to Detect Breaking Changes in Node.js Libraries.
ECOOP
Gianluca Mezzetti, Anders Møller, Martin Toldam Torp
2017 J jnl
A Survey of Dynamic Analysis and Test Generation for JavaScript.
ACM Comput. Surv.
Esben Andreasen, Liang Gong, Anders Møller, Michael Pradel, Marija Selakovic, Koushik Sen, Cristian-Alexandru Staicu
2017 A conf
ArtForm: a tool for exploring the codebase of form-based websites.
ISSTA
Ben Spencer, Michael Benedikt, Anders Møller, Franck van Breugel
2017 B conf
Inference and Evolution of TypeScript Declaration Files.
FASE
Erik Krogh Kristensen, Anders Møller
2017 J jnl
Message safety in Dart.
Sci. Comput. Program.
Erik Ernst, Anders Møller, Mathias Schwarz, Fabio Strocco
2017 J jnl
Practical initialization race detection for JavaScript web applications.
Proc. ACM Program. Lang.
Christoffer Quist Adamsen, Anders Møller, Frank Tip
2017 J jnl
QuickChecking static analysis properties.
Softw. Test. Verification Reliab.
Jan Midtgaard, Anders Møller
2017 A* conf
Repairing event race errors by controlling nondeterminism.
ICSE
Christoffer Quist Adamsen, Anders Møller, Rezwana Karim, Manu Sridharan, Frank Tip, Koushik Sen
2017 — conf
Systematic approaches for increasing soundness and precision of static analyzers.
SOAP@PLDI
Esben Sparre Andreasen, Anders Møller, Benjamin Barslev Nielsen
2017 A* conf
Systematic black-box analysis of collaborative web applications.
PLDI
Marina Billes, Anders Møller, Michael Pradel
2017 J jnl
Type test scripts for TypeScript testing.
Proc. ACM Program. Lang.
Erik Krogh Kristensen, Anders Møller
2016 A conf
Analyzing test completeness for dynamic languages.
ISSTA
Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller
2016 A* conf
Feedback-directed instrumentation for deployed JavaScript applications.
ICSE
Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, Anders Møller
2016 C conf
Type safety analysis for Dart.
DLS
Thomas S. Heinze, Anders Møller, Fabio Strocco
2016 C conf
Type unsoundness in practice: an empirical study of Dart.
DLS
Gianluca Mezzetti, Anders Møller, Fabio Strocco
2015 J jnl
In defense of soundiness: a manifesto.
Commun. ACM
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
2015 C conf
Message safety in Dart.
DLS
Erik Ernst, Anders Møller, Mathias Schwarz, Fabio Strocco
2015 — ed.
Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2015, Portland, OR, USA, June 15 - 17, 2015
SOAP@PLDI
Anders Møller, Mayur Naik
2015 A conf
QuickChecking Static Analysis Properties.
ICST
Jan Midtgaard, Anders Møller
2015 A conf
Stateless model checking of event-driven applications.
OOPSLA
Casper Svenning Jensen, Anders Møller, Veselin Raychev, Dimitar Dimitrov, Martin T. Vechev
2015 A conf
Systematic execution of Android test suites in adverse conditions.
ISSTA
Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller
2014 J jnl
Automated Detection of Client-State Manipulation Vulnerabilities.
ACM Trans. Softw. Eng. Methodol.
Anders Møller, Mathias Schwarz
2014 A conf
Checking correctness of TypeScript interfaces for JavaScript libraries.
OOPSLA
Asger Feldthaus, Anders Møller
2014 A conf
Determinacy in static analysis for jQuery.
OOPSLA
Esben Andreasen, Anders Møller
2014 B conf
Sparse Dataflow Analysis with Pointers and Reachability.
SAS
Magnus Madsen, Anders Møller
2013 A conf
Automated testing with targeted event sequence generation.
ISSTA
Casper Svenning Jensen, Mukul R. Prasad, Anders Møller
2013 A conf
Semi-automatic rename refactoring for JavaScript.
OOPSLA
Asger Feldthaus, Anders Møller
2013 — conf
Server interface descriptions for automated testing of JavaScript web applications.
ESEC/SIGSOFT FSE
Casper Svenning Jensen, Anders Møller, Zhendong Su
2012 A* conf
Automated detection of client-state manipulation vulnerabilities.
ICSE
Anders Møller, Mathias Schwarz
2012 A conf
Remedying the eval that men do.
ISSTA
Simon Holm Jensen, Peter A. Jonsson, Anders Møller
2011 A* conf
A framework for automated testing of javascript web applications.
ICSE
Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Møller, Frank Tip
2011 B conf
HTML Validation of Context-Free Languages.
FoSSaCS
Anders Møller, Mathias Schwarz
2011 — conf
Modeling the HTML DOM and browser API in static analysis of JavaScript web applications.
SIGSOFT FSE
Simon Holm Jensen, Magnus Madsen, Anders Møller
2011 — conf
Refactoring towards the good parts of javascript.
OOPSLA Companion
Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip
2011 A conf
Tool-supported refactoring for JavaScript.
OOPSLA
Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip
2011 J jnl
XML graphs in program analysis.
Sci. Comput. Program.
Anders Møller, Michael I. Schwartzbach
2010 J jnl
Analyzing ambiguity of context-free grammars.
Sci. Comput. Program.
Claus Brabrand, Robert Giegerich, Anders Møller
2010 B conf
Interprocedural Analysis with Lazy Propagation.
SAS
Simon Holm Jensen, Anders Møller, Peter Thiemann
2009 C conf
JWIG: Yet Another Framework for Maintainable and Secure Web Applications.
WEBIST
Anders Møller, Mathias Schwarz
2009 B conf
Type Analysis for JavaScript.
SAS
Simon Holm Jensen, Anders Møller, Peter Thiemann
2008 J jnl
Dual syntax for XML languages.
Inf. Syst.
Claus Brabrand, Anders Møller, Michael I. Schwartzbach
2008 — conf
Static Analysis for Event-Based XML Processing.
PLAN-X
Anders Møller
2007 C conf
Analyzing Ambiguity of Context-Free Grammars.
CIAA
Claus Brabrand, Robert Giegerich, Anders Møller
2007 J jnl
Static validation of XSL transformations.
ACM Trans. Program. Lang. Syst.
Anders Møller, Mads Østerby Olesen, Michael I. Schwartzbach
2007 C conf
XML graphs in program analysis.
PEPM
Anders Møller, Michael I. Schwartzbach
2006 — book
An introduction to XML and web technologies.
Anders Møller, Michael I. Schwartzbach
2006 J jnl
Contracts for Cooperation between Web Service Programmers and HTML Designers.
J. Web Eng.
Henning Böttger, Anders Møller, Michael I. Schwartzbach
2006 B conf
Static Analysis for Java Servlets and JSP.
SAS
Christian Kirkegaard, Anders Møller
2006 — conf
Type Checking with XML Schema in XACT.
PLAN-X
Christian Kirkegaard, Anders Møller
2006 — conf
XACT - XML Transformations in Java.
PLAN-X
Christian Kirkegaard, Anders Møller
2005 — conf
Dual Syntax for XML Languages.
DBPL
Claus Brabrand, Anders Møller, Michael I. Schwartzbach
2005 A conf
The Design Space of Type Checkers for XML Transformation Languages.
ICDT
Anders Møller, Michael I. Schwartzbach
2004 — conf
A Runtime System for XML Transformations in Java.
XSym
Aske Simon Christensen, Christian Kirkegaard, Anders Møller
2004 J jnl
Static Analysis of XML Transformations in Java.
IEEE Trans. Software Eng.
Christian Kirkegaard, Anders Møller, Michael I. Schwartzbach
2003 J jnl
Extending Java for high-level Web service construction.
ACM Trans. Program. Lang. Syst.
Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach
2003 B conf
Precise Analysis of String Expressions.
SAS
Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach
2003 — conf
Verifying Programs that Manipulate Pointers: (Invited Talk).
INFINITY
Anders Møller
2002 J jnl
Language-Based Caching of Dynamiclly Generated HTML.
World Wide Web
Claus Brabrand, Anders Møller, Steffan Olesen, Michael I. Schwartzbach
2002 J jnl
MONA Implementation Secrets.
Int. J. Found. Comput. Sci.
Nils Klarlund, Anders Møller, Michael I. Schwartzbach
2002 J jnl
The <bigwig> project.
ACM Trans. Internet Techn.
Claus Brabrand, Anders Møller, Michael I. Schwartzbach
2002 J jnl
The DSD Schema Language.
Autom. Softw. Eng.
Nils Klarlund, Anders Møller, Michael I. Schwartzbach
2001 — conf
Static validation of dynamically generated HTML.
PASTE
Claus Brabrand, Anders Møller, Michael I. Schwartzbach
2001 A* conf
The Pointer Assertion Logic Engine.
PLDI
Anders Møller, Michael I. Schwartzbach
2000 A conf
Compile-Time Debugging of C Programs Working on Trees.
ESOP
Jacob Elgaard, Anders Møller, Michael I. Schwartzbach
2000 — conf
DSD: A schema language for XML.
FMSP
Nils Klarlund, Anders Møller, Michael I. Schwartzbach
2000 C conf
MONA Implementation Secrets.
CIAA
Nils Klarlund, Anders Møller, Michael I. Schwartzbach
2000 J jnl
PowerForms: Declarative client-side form field validation.
World Wide Web
Claus Brabrand, Anders Møller, Mikkel Ricky, Michael I. Schwartzbach
1999 J jnl
A Runtime System for Interactive Web Services.
Comput. Networks
Claus Brabrand, Anders Møller, Anders Sandholm, Michael I. Schwartzbach
1998 A* conf
MONA 1.x: New Techniques for WS1S and WS2S.
CAV
Jacob Elgaard, Nils Klarlund, Anders Møller