![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Anders Møller
Person information
- affiliation: Aarhus University, Denmark
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j28]Mathias Rud Laursen
, Wenyuan Xu
, Anders Møller
:
Reducing Static Analysis Unsoundness with Approximate Interpretation. Proc. ACM Program. Lang. 8(PLDI): 1165-1188 (2024) - 2022
- [c58]Oskar Haarklou Veileborg, Georgian-Vlad Saioc, Anders Møller
:
Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation. ASE 2022: 32:1-32:12 - 2021
- [c57]Benjamin Barslev Nielsen, Martin Toldam Torp, Anders Møller:
Semantic Patches for Adaptation of JavaScript Programs to Evolving Libraries. ICSE 2021: 74-85 - [c56]Benjamin Barslev Nielsen, Martin Toldam Torp, Anders Møller:
Semantic Patches for Adaptation of JavaScript Programs to Evolving Libraries. ICSE (Companion Volume) 2021: 229 - [c55]Benjamin Barslev Nielsen, Martin Toldam Torp, Anders Møller
:
Modular call graph construction for security scanning of Node.js applications. ISSTA 2021: 29-41 - [e3]Anders Møller
, Manu Sridharan
:
35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference). LIPIcs 194, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-190-0 [contents] - 2020
- [j27]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): 168:1-168:29 (2020) - [j26]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): 187:1-187:25 (2020) - [j25]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): 10:1-10:40 (2020) - [c54]Benjamin Barslev Nielsen, Anders Møller:
Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript. ECOOP 2020: 16:1-16:28 - [c53]Cristian-Alexandru Staicu, Martin Toldam Torp, Max Schäfer, Anders Møller, Michael Pradel:
Extracting taint specifications for JavaScript libraries. ICSE 2020: 198-209 - [c52]André Takeshi Endo
, Anders Møller:
NodeRacer: Event Race Detection for Node.js Applications. ICST 2020: 120-130
2010 – 2019
- 2019
- [j24]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): 140:1-140:29 (2019) - [c51]Erik Krogh Kristensen, Anders Møller
:
Reasonably-most-general clients for JavaScript library analysis. ICSE 2019: 83-93 - [c50]Anders Møller
, Martin Toldam Torp:
Model-based testing of breaking changes in Node.js libraries. ESEC/SIGSOFT FSE 2019: 409-419 - [e2]Dongmei Zhang, Anders Møller:
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019. ACM 2019, ISBN 978-1-4503-6224-5 [contents] - 2018
- [j23]Anders Møller
:
Technical perspective: WebAssembly: a quiet revolution of the web. Commun. ACM 61(12): 106 (2018) - [j22]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): 08:1-08:2 (2018) - [j21]Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis:
Precision-guided context sensitivity for pointer analysis. Proc. ACM Program. Lang. 2(OOPSLA): 141:1-141:29 (2018) - [c49]Gianluca Mezzetti, Anders Møller
, Martin Toldam Torp:
Type Regression Testing to Detect Breaking Changes in Node.js Libraries. ECOOP 2018: 7:1-7:24 - [c48]Christoffer Quist Adamsen, Anders Møller, Saba Alimadadi, Frank Tip:
Practical AJAX race detection for JavaScript web applications. ESEC/SIGSOFT FSE 2018: 38-48 - [c47]Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis:
Scalability-first pointer analysis with self-tuning context-sensitivity. ESEC/SIGSOFT FSE 2018: 129-140 - 2017
- [j20]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): 66:1-66:36 (2017) - [j19]Christoffer Quist Adamsen, Anders Møller, Frank Tip:
Practical initialization race detection for JavaScript web applications. Proc. ACM Program. Lang. 1(OOPSLA): 66:1-66:22 (2017) - [j18]Erik Krogh Kristensen, Anders Møller:
Type test scripts for TypeScript testing. Proc. ACM Program. Lang. 1(OOPSLA): 90:1-90:25 (2017) - [j17]Erik Ernst, Anders Møller
, Mathias Schwarz, Fabio Strocco:
Message safety in Dart. Sci. Comput. Program. 133: 51-73 (2017) - [j16]Jan Midtgaard
, Anders Møller
:
QuickChecking static analysis properties. Softw. Test. Verification Reliab. 27(6) (2017) - [c46]Erik Krogh Kristensen, Anders Møller
:
Inference and Evolution of TypeScript Declaration Files. FASE 2017: 99-115 - [c45]Christoffer Quist Adamsen, Anders Møller
, Rezwana Karim, Manu Sridharan
, Frank Tip, Koushik Sen:
Repairing event race errors by controlling nondeterminism. ICSE 2017: 289-299 - [c44]Ben Spencer, Michael Benedikt, Anders Møller
, Franck van Breugel:
ArtForm: a tool for exploring the codebase of form-based websites. ISSTA 2017: 380-383 - [c43]Esben Sparre Andreasen, Anders Møller
, Benjamin Barslev Nielsen:
Systematic approaches for increasing soundness and precision of static analyzers. SOAP@PLDI 2017: 31-36 - [c42]Marina Billes, Anders Møller
, Michael Pradel:
Systematic black-box analysis of collaborative web applications. PLDI 2017: 171-184 - 2016
- [c41]Thomas S. Heinze, Anders Møller
, Fabio Strocco:
Type safety analysis for Dart. DLS 2016: 1-12 - [c40]Gianluca Mezzetti, Anders Møller
, Fabio Strocco:
Type unsoundness in practice: an empirical study of Dart. DLS 2016: 13-24 - [c39]Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, Anders Møller
:
Feedback-directed instrumentation for deployed JavaScript applications. ICSE 2016: 899-910 - [c38]Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller
:
Analyzing test completeness for dynamic languages. ISSTA 2016: 142-153 - 2015
- [j15]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): 44-46 (2015) - [c37]Erik Ernst, Anders Møller
, Mathias Schwarz, Fabio Strocco:
Message safety in Dart. DLS 2015: 41-53 - [c36]Jan Midtgaard
, Anders Møller
:
QuickChecking Static Analysis Properties. ICST 2015: 1-10 - [c35]Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller
:
Systematic execution of Android test suites in adverse conditions. ISSTA 2015: 83-93 - [c34]Casper Svenning Jensen, Anders Møller
, Veselin Raychev, Dimitar K. Dimitrov, Martin T. Vechev:
Stateless model checking of event-driven applications. OOPSLA 2015: 57-73 - [e1]Anders Møller, Mayur Naik:
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. ACM 2015, ISBN 978-1-4503-3585-0 [contents] - 2014
- [j14]Anders Møller
, Mathias Schwarz:
Automated Detection of Client-State Manipulation Vulnerabilities. ACM Trans. Softw. Eng. Methodol. 23(4): 29:1-29:30 (2014) - [c33]Asger Feldthaus, Anders Møller
:
Checking correctness of TypeScript interfaces for JavaScript libraries. OOPSLA 2014: 1-16 - [c32]Esben Andreasen, Anders Møller
:
Determinacy in static analysis for jQuery. OOPSLA 2014: 17-31 - [c31]Magnus Madsen, Anders Møller:
Sparse Dataflow Analysis with Pointers and Reachability. SAS 2014: 201-218 - 2013
- [c30]Casper Svenning Jensen, Mukul R. Prasad, Anders Møller
:
Automated testing with targeted event sequence generation. ISSTA 2013: 67-77 - [c29]Asger Feldthaus, Anders Møller
:
Semi-automatic rename refactoring for JavaScript. OOPSLA 2013: 323-338 - [c28]Casper Svenning Jensen, Anders Møller
, Zhendong Su
:
Server interface descriptions for automated testing of JavaScript web applications. ESEC/SIGSOFT FSE 2013: 510-520 - 2012
- [c27]Anders Møller
, Mathias Schwarz:
Automated detection of client-state manipulation vulnerabilities. ICSE 2012: 749-759 - [c26]Simon Holm Jensen, Peter A. Jonsson, Anders Møller:
Remedying the eval that men do. ISSTA 2012: 34-44 - 2011
- [j13]Anders Møller
, Michael I. Schwartzbach:
XML graphs in program analysis. Sci. Comput. Program. 76(6): 492-515 (2011) - [c25]Anders Møller
, Mathias Schwarz:
HTML Validation of Context-Free Languages. FoSSaCS 2011: 426-440 - [c24]Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Møller
, Frank Tip:
A framework for automated testing of javascript web applications. ICSE 2011: 571-580 - [c23]Asger Feldthaus, Todd D. Millstein, Anders Møller
, Max Schäfer
, Frank Tip:
Tool-supported refactoring for JavaScript. OOPSLA 2011: 119-138 - [c22]Asger Feldthaus, Todd D. Millstein, Anders Møller
, Max Schäfer
, Frank Tip:
Refactoring towards the good parts of javascript. OOPSLA Companion 2011: 189-190 - [c21]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: 59-69 - 2010
- [j12]Claus Brabrand, Robert Giegerich, Anders Møller
:
Analyzing ambiguity of context-free grammars. Sci. Comput. Program. 75(3): 176-191 (2010) - [c20]Simon Holm Jensen, Anders Møller
, Peter Thiemann:
Interprocedural Analysis with Lazy Propagation. SAS 2010: 320-339
2000 – 2009
- 2009
- [c19]Simon Holm Jensen, Anders Møller
, Peter Thiemann:
Type Analysis for JavaScript. SAS 2009: 238-255 - [c18]Anders Møller, Mathias Schwarz:
JWIG: Yet Another Framework for Maintainable and Secure Web Applications. WEBIST 2009: 47-53 - 2008
- [j11]Claus Brabrand, Anders Møller
, Michael I. Schwartzbach:
Dual syntax for XML languages. Inf. Syst. 33(4-5): 385-406 (2008) - [c17]Anders Møller:
Static Analysis for Event-Based XML Processing. PLAN-X 2008 - 2007
- [j10]Anders Møller
, Mads Østerby Olesen, Michael I. Schwartzbach:
Static validation of XSL transformations. ACM Trans. Program. Lang. Syst. 29(4): 21 (2007) - [c16]Anders Møller
, Michael I. Schwartzbach:
XML graphs in program analysis. PEPM 2007: 1-10 - [c15]Claus Brabrand, Robert Giegerich, Anders Møller:
Analyzing Ambiguity of Context-Free Grammars. CIAA 2007: 214-225 - 2006
- [b1]Anders Møller, Michael I. Schwartzbach:
An introduction to XML and web technologies. Addison-Wesley 2006, ISBN 978-0-321-26966-9, pp. I-XXII, 1-542 - [j9]Henning Böttger, Anders Møller, Michael I. Schwartzbach:
Contracts for Cooperation between Web Service Programmers and HTML Designers. J. Web Eng. 5(1): 65-90 (2006) - [c14]Christian Kirkegaard, Anders Møller:
Type Checking with XML Schema in XACT. PLAN-X 2006: 14-23 - [c13]Christian Kirkegaard, Anders Møller:
XACT - XML Transformations in Java. PLAN-X 2006: 87 - [c12]Christian Kirkegaard, Anders Møller:
Static Analysis for Java Servlets and JSP. SAS 2006: 336-352 - 2005
- [c11]Claus Brabrand, Anders Møller, Michael I. Schwartzbach:
Dual Syntax for XML Languages. DBPL 2005: 27-41 - [c10]Anders Møller
, Michael I. Schwartzbach:
The Design Space of Type Checkers for XML Transformation Languages. ICDT 2005: 17-36 - 2004
- [j8]Christian Kirkegaard, Anders Møller
, Michael I. Schwartzbach:
Static Analysis of XML Transformations in Java. IEEE Trans. Software Eng. 30(3): 181-192 (2004) - [c9]Aske Simon Christensen, Christian Kirkegaard, Anders Møller:
A Runtime System for XML Transformations in Java. XSym 2004: 143-157 - 2003
- [j7]Aske Simon Christensen, Anders Møller
, Michael I. Schwartzbach:
Extending Java for high-level Web service construction. ACM Trans. Program. Lang. Syst. 25(6): 814-875 (2003) - [c8]Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach:
Precise Analysis of String Expressions. SAS 2003: 1-18 - [c7]Anders Møller
:
Verifying Programs that Manipulate Pointers: (Invited Talk). INFINITY 2003: 3-4 - 2002
- [j6]Nils Klarlund, Anders Møller
, Michael I. Schwartzbach:
The DSD Schema Language. Autom. Softw. Eng. 9(3): 285-319 (2002) - [j5]Nils Klarlund, Anders Møller
, Michael I. Schwartzbach:
MONA Implementation Secrets. Int. J. Found. Comput. Sci. 13(4): 571-586 (2002) - [j4]Claus Brabrand, Anders Møller
, Michael I. Schwartzbach:
The <bigwig> project. ACM Trans. Internet Techn. 2(2): 79-114 (2002) - [j3]Claus Brabrand, Anders Møller, Steffan Olesen, Michael I. Schwartzbach:
Language-Based Caching of Dynamiclly Generated HTML. World Wide Web 5(4): 305-324 (2002) - 2001
- [c6]Claus Brabrand, Anders Møller, Michael I. Schwartzbach:
Static validation of dynamically generated HTML. PASTE 2001: 38-45 - [c5]Anders Møller
, Michael I. Schwartzbach:
The Pointer Assertion Logic Engine. PLDI 2001: 221-231 - 2000
- [j2]Claus Brabrand, Anders Møller, Mikkel Ricky, Michael I. Schwartzbach:
PowerForms: Declarative client-side form field validation. World Wide Web 3(4): 205-214 (2000) - [c4]Jacob Elgaard, Anders Møller, Michael I. Schwartzbach:
Compile-Time Debugging of C Programs Working on Trees. ESOP 2000: 119-134 - [c3]Nils Klarlund, Anders Møller, Michael I. Schwartzbach:
DSD: A schema language for XML. FMSP 2000: 101-111 - [c2]Nils Klarlund, Anders Møller, Michael I. Schwartzbach:
MONA Implementation Secrets. CIAA 2000: 182-194
1990 – 1999
- 1999
- [j1]Claus Brabrand, Anders Møller
, Anders Sandholm, Michael I. Schwartzbach:
A Runtime System for Interactive Web Services. Comput. Networks 31(11-16): 1391-1401 (1999) - 1998
- [c1]Jacob Elgaard, Nils Klarlund, Anders Møller:
MONA 1.x: New Techniques for WS1S and WS2S. CAV 1998: 516-520
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-03 21:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint