default search action
Anders Møller
Person information
- affiliation: Aarhus University, Denmark
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j29]Georgian-Vlad Saioc
, Julien Lange
Automated Verification of Parametric Channel-Based Process Communication. Proc. ACM Program. Lang. 8(OOPSLA2): 2070-2096 (2024) - [j28]Mathias Rud Laursen
Reducing Static Analysis Unsoundness with Approximate Interpretation. Proc. ACM Program. Lang. 8(PLDI): 1165-1188 (2024) - [c59]Madhurima Chakraborty, Aakash Gnanakumar, Manu Sridharan, Anders Møller:
Indirection-Bounded Call Graph Analysis. ECOOP 2024: 10:1-10:22 - 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
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
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
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
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
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
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
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
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
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
Message safety in Dart. Sci. Comput. Program. 133: 51-73 (2017) - [j16]Jan Midtgaard
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
Repairing event race errors by controlling nondeterminism. ICSE 2017: 289-299 - [c44]Ben Spencer, Michael Benedikt, Anders Møller
ArtForm: a tool for exploring the codebase of form-based websites. ISSTA 2017: 380-383 - [c43]Esben Sparre Andreasen, Anders Møller
Systematic approaches for increasing soundness and precision of static analyzers. SOAP@PLDI 2017: 31-36 - [c42]Marina Billes, Anders Møller
Systematic black-box analysis of collaborative web applications. PLDI 2017: 171-184 - 2016
- [c41]Thomas S. Heinze, Anders Møller
Type safety analysis for Dart. DLS 2016: 1-12 - [c40]Gianluca Mezzetti, Anders Møller
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
In defense of soundiness: a manifesto. Commun. ACM 58(2): 44-46 (2015) - [c37]Erik Ernst, Anders Møller
Message safety in Dart. DLS 2015: 41-53 - [c36]Jan Midtgaard
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
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
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
Server interface descriptions for automated testing of JavaScript web applications. ESEC/SIGSOFT FSE 2013: 510-520 - 2012
- [c27]Anders Møller
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
XML graphs in program analysis. Sci. Comput. Program. 76(6): 492-515 (2011) - [c25]Anders Møller
HTML Validation of Context-Free Languages. FoSSaCS 2011: 426-440 - [c24]Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Møller
A framework for automated testing of javascript web applications. ICSE 2011: 571-580 - [c23]Asger Feldthaus, Todd D. Millstein, Anders Møller
Tool-supported refactoring for JavaScript. OOPSLA 2011: 119-138 - [c22]Asger Feldthaus, Todd D. Millstein, Anders Møller
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
Interprocedural Analysis with Lazy Propagation. SAS 2010: 320-339
2000 – 2009
- 2009
- [c19]Simon Holm Jensen, Anders Møller
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
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
Static validation of XSL transformations. ACM Trans. Program. Lang. Syst. 29(4): 21 (2007) - [c16]Anders Møller
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
The Design Space of Type Checkers for XML Transformation Languages. ICDT 2005: 17-36 - 2004
- [j8]Christian Kirkegaard, Anders Møller
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
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
The DSD Schema Language. Autom. Softw. Eng. 9(3): 285-319 (2002) - [j5]Nils Klarlund, Anders Møller
MONA Implementation Secrets. Int. J. Found. Comput. Sci. 13(4): 571-586 (2002) - [j4]Claus Brabrand, Anders Møller
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
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
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
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-12-02 21:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: