Billede af Anders Møller

Vis Scopus-profil

Anders Møller

 https://orcid.org/0000-0003-1333-2314

  • Åbogade 34, 5341, 224

    8200 Aarhus N

    Danmark

1998 …2024

Publikationer pr. år

Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2023

    Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation

    Veileborg, O. H., Saioc, G.-V. & Møller, A., jan. 2023, iWOAR 2022 - 7th International Workshop on Sensor-Based Activity Recognition and Artificial Intelligence, Proceedings. New York: Association for Computing Machinery, s. 1-12 32

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
  • 2021

    35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference)

    Møller, A. (Redaktør) & Sridharan, M. (Redaktør), jul. 2021, 35th European Conference on Object-Oriented Programming (ECOOP 2021). Møller, A. & Sridharan, M. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. vii-ix 3 s. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 194).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • Modular call graph construction for security scanning of Node.js applications

    Nielsen, B. B., Torp, M. T. & Møller, A., jul. 2021, ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis. Cadar, C. & Zhang, X. (red.). Association for Computing Machinery, s. 29-41 13 s. (Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Fil
    392 Downloads (Pure)

  • Semantic Patches for Adaptation of JavaScript Programs to Evolving Libraries

    Nielsen, B. B., Torp, M. T. & Møller, A., 2021, Proceedings - 2021 IEEE/ACM 43rd International Conference on Software Engineering, ICSE 2021. IEEE, s. 74-85 12 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    240 Downloads (Pure)
  • 2020

    Extracting Taint Specifications for JavaScript Libraries

    Staicu, C. A., Torp, M. T., Schafer, M., Møller, A. & Pradel, M., jun. 2020, ICSE '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering. New York: Association for Computing Machinery, s. 198-209 12 s. 3380390. (Proceedings - International Conference on Software Engineering).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    306 Downloads (Pure)

  • NodeRacer: Event Race Detection for Node.js Applications

    Endo, A. T. & Møller, A., okt. 2020, 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020: Proceedings. Porto: Institute of Electrical and Electronics Engineers Inc., s. 120-130 9159075. (Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    267 Downloads (Pure)

  • Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript

    Nielsen, B. B. & Møller, A., nov. 2020, 34th European Conference on Object-Oriented Programming, ECOOP 2020. Dagstuhl Publishing, 28 s. 16. (Leibniz International Proceedings in Informatics).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    47 Downloads (Pure)
  • 2019

    Model-based testing of breaking changes in Node.js libraries

    Møller, A. & Torp, M. T., aug. 2019, ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Apel, S., Dumas, M., Russo, A. & Pfahl, D. (red.). Association for Computing Machinery, s. 409-419 11 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    296 Downloads (Pure)
  • 2018

    Practical AJAX Race Detection for JavaScript Web Applications

    Adamsen, C. Q., Møller, A., Alimadadi, S. & Tip, F., 26 okt. 2018, ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering. Leavens, G. T., Garcia, A. & Păsăreanu, C. S. (red.). New York, NY, USA : Association for Computing Machinery, s. 38-48 11 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    342 Downloads (Pure)

  • Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity

    Li, Y., Tan, T., Møller, A. & Smaragdakis, Y., 26 okt. 2018, ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering. Leavens, G. T., Garcia, A. & Păsăreanu, C. S. (red.). Association for Computing Machinery, s. 129-140 12 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    318 Downloads (Pure)

  • Type Regression Testing to Detect Breaking Changes in Node.js Libraries

    Mezzetti, G., Møller, A. & Torp, M. T., 1 jul. 2018, 32nd European Conference on Object-Oriented Programming, ECOOP 2018. Millstein, T. D. (red.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Bind 109. s. 7:1-7:24 24 s. 7. (Leibniz International Proceedings in Informatics, Bind 109).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    519 Downloads (Pure)
  • 2017

    ArtForm: A Tool for Exploring the Codebase of Form-based Websites

    Spencer, B., Benedikt, M., Møller, A. & Breugel, F. V., 10 jul. 2017, ISSTA 2017 - Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. Sen, K. & Bultan, T. (red.). New York, NY, USA: Association for Computing Machinery, s. 380-383 4 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Repairing Event Race Errors by Controlling Nondeterminism

    Adamsen, C. Q., Møller, A., Karim, R., Sridharan, M., Tip, F. & Sen, K., 20 maj 2017, Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering, ICSE 2017. Piscataway, NJ, USA: IEEE Press, s. 289-299 11 s. 7985670

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    327 Downloads (Pure)

  • Systematic Approaches for Increasing Soundness and Precision of Static Analyzers

    Andreasen, E. S., Møller, A. & Nielsen, B. B., 18 jun. 2017, SOAP 2017 - Proceedings of the 6th ACM SIGPLAN International Workshop on State of the Art in Program Analysis, co-located with PLDI 2017. Ali , K. & Cifuentes , C. (red.). New York, NY, USA: Association for Computing Machinery, s. 31-36 6 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    313 Downloads (Pure)

  • Systematic black-box analysis of collaborative web applications

    Billes, M., Møller, A. & Pradel, M., 14 jun. 2017, PLDI 2017 - Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, Bind Part F128414. s. 171-184 14 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    730 Downloads (Pure)
  • 2016

    Analyzing Test Completeness for Dynamic Languages

    Adamsen, C. Q., Mezzetti, G. & Møller, A., jul. 2016, ISSTA 2016 - Proceedings of the 25th International Symposium on Software Testing and Analysis: ISSTA 2016. New York, NY, USA: Association for Computing Machinery, s. 142-153 12 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    269 Downloads (Pure)

  • Feedback-directed instrumentation for deployed JavaScript applications

    Madsen, M., Tip, F., Andreasen, E. S., Sen, K. & Møller, A., 2016, Proceedings - 2016 IEEE/ACM 38th IEEE International Conference on Software Engineering Companion, ICSE 2016: ICSE 2016. New York, NY, USA: Association for Computing Machinery, s. 899-910 12 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    266 Downloads (Pure)

  • Type safety analysis for dart

    Heinze, T. S., Møller, A. & Strocco, F., 1 nov. 2016, DLS 2016 - Proceedings of the 12th Symposium on Dynamic Languages. Ierusalimschy, R. (red.). Association for Computing Machinery, s. 1-12 12 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    172 Downloads (Pure)

  • Type unsoundness in practice: An empirical study of dart

    Mezzetti, G., Møller, A. & Strocco, F., 1 nov. 2016, DLS 2016 - Proceedings of the 12th Symposium on Dynamic Languages. Ierusalimschy, R. (red.). Association for Computing Machinery, s. 13-24 12 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    236 Downloads (Pure)
  • 2015

    Message Safety in Dart

    Ernst, E., Schwarz, M. R., Strocco, F. & Møller, A., 2015, Dynamic Languages Symposium 2015, DLS . 13 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • QuickChecking Static Analysis Properties

    Midtgaard, J. & Møller, A., 2015, 8th IEEE International Conference on Software Testing, Verification and Validation (ICST), 2015. IEEE, s. 1-10 10 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • SOAP'15: Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis

    Møller, A. & Naik, M., 2015, Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis. Association for Computing Machinery, 9 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • Stateless Model Checking of Event-Driven Applications

    Jensen, C. S., Møller, A., Raychev, V., Dimitrov, D. & Vechev, M., 2015, OOPSLA 2015 : Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications . Association for Computing Machinery, s. 57-73 17 s. (ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • Systematic Execution of Android Test Suites in Adverse Conditions

    Adamsen, C. Q., Møller, A. & Mezzetti, G., 2015, Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA '15. Association for Computing Machinery, s. 83-93 11 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2014

    Checking Correctness of TypeScript Interfaces for JavaScript Libraries

    Feldthaus, A. & Møller, A., 2014, OOPSLA '14 Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications. Association for Computing Machinery, 16 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Determinacy in Static Analysis of jQuery

    Andreasen, E. & Møller, A., 2014, Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA '14. Black, A. & Millstein, T. (red.). Association for Computing Machinery, s. 17-31 15 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Sparse Dataflow Analysis with Pointers and Reachability

    Madsen, M. & Møller, A., 2014, Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings. Müller-Olm , M. & Seidl, H. (red.). Springer VS, s. 201-218 18 s. (Lecture Notes in Computer Science, Bind 8723).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2013

    Automated Testing with Targeted Event Sequence Generation

    Jensen, C. S., Prasad, M. R. & Møller, A., 2013, International Symposium on Software Testing and Analysis (ISSTA), 2013: Proceedings. Pezzè, M. & Harman, M. (red.). Association for Computing Machinery, s. 67-77 11 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Server Interface Descriptions for Automated Testing of JavaScript Web Applications

    Jensen, C. S., Møller, A. & Su, Z., 2013, Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2013 . Meyer, B., Baresi, L. & Mezini , M. (red.). Association for Computing Machinery, s. 510-520 11 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2012

    Automated Detection of Client-State Manipulation Vulnerabilities

    Møller, A. & Schwarz, M., 2012, 34th International Conference on Software Engineering (ICSE 2012) : Proceedings. Glinz, M., Murphy, G. & Pezzè, M. (red.). IEEE Communications Society, s. 749 - 759 11 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Remedying the Eval that Men Do

    Jensen, S. H., Jonsson, P. A. & Møller, A., 2012, 2012 International Symposium on Software Testing and Analysis (ISSTA) : Proceedings. Heimdahl, M. & Su, Z. (red.). Association for Computing Machinery, s. 34-44 11 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2011

    A Framework for Automated Testing of JavaScript Web Applications

    Artzi, S., Dolby, J., Jensen, S. H., Møller, A. & Tip, F., 2011, Proceeding of the 33rd International Conference on Software Engineering. Association for Computing Machinery, s. 571-580 10 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Modeling the HTML DOM and Browser API in Static Analysis of JavaScript Web Applications

    Jensen, S. H., Madsen, M. & Møller, A., 2011, Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering. ESEC/FSE '11 . Association for Computing Machinery, s. 59-69 11 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Tool-supported Refactoring for JavaScript

    Feldthaus, A., Millstein, T., Møller, A., Schäfer, M. & Tip, F., 2011, Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications . Association for Computing Machinery, s. 119-138 20 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2009

    JWIG: Yet Another Framework for Maintainable and Secure Web Applications

    Møller, A. & Schwarz, M. R., 2009, WEBIST 2009 - Proceedings of the Fifth International Conference on Web Information Systems and Technologies. Filipe, J. & Cordeiro, J. (red.). Institute for Systems and Technologies of Information, Control and Communication, s. 47-53 7 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2008

    Static Analysis for Event-Based XML Processing

    Møller, A., 2008, PLAN-X: Programming Language Technologies for XML: An ACM SIGPLAN Workshop colocated with POPL 2008. Universität Trier, s. 18-27 9 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2007

    Analyzing Ambiguity of Context-Free Grammars

    Brabrand, C., Giegerich, R. & Møller, A., 2007, Proc. 12th International Conference on Implementation and Application of Automata. 15 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • XML Graphs in Program Analysis

    Møller, A. & Schwartzbach, M. I., 2007, Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Ramalingam, G. & Visser, E. (red.). Association for Computing Machinery, s. 1-10 10 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning

  • 2006

    Static Analysis for Java Servlets and JSP

    Kirkegaard, C. & Møller, A., 2006, Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings. Yi, K. (red.). Springer, s. 336-352 17 s. (Lecture Notes in Computer Science, Bind 4134).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2005

    Dual Syntax for XML Languages

    Brabrand, C., Møller, A. & Schwartzbach, M. I., 2005, Database Programming Languages: 10th International Workshop, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers. Springer, s. 27-41 14 s. (Lecture Notes in Computer Science, Bind 3774).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • The Design Space of Type Checkers for XML Transformation Languages

    Møller, A. & Schwartzbach, M. I., 2005, Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings. Springer, s. 17-36 20 s. (Lecture Notes in Computer Science, Bind 3363).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning

  • 2004

    A Runtime System for XML Transformations in Java

    Christensen, A. S., Kirkegaard, C. & Møller, A., 2004, Database and XML Technologies: Second International XML Database Symposium, XSym 2004, Toronto, Canada, August 29-30, 2004. Proceedings. Bellahsene, Z., Milo, T., Rys, M., Suciu, D. & Unland, R. (red.). Springer, s. 143-157 15 s. (Lecture Notes in Computer Science, Bind 3186).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2003

    Precise Analysis of String Expressions

    Christensen, A. S., Møller, A. & Schwartzbach, M. I., 2003, Static Analysis: 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11-13, 2003 Proceedings. Springer, s. 1-18 18 s. (Lecture Notes in Computer Science, Bind 2694).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2002

    Static Analysis for Dynamic XML

    Christensen, A. S., Møller, A. & Schwartzbach, M. I., 2002, E-Proceeding of PLAN-X 2002. 13 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2001

    MONA Implementation Secrets

    Klarlund, N., Møller, A. & Schwartzbach, M. I., 2001, Implementation and Application of Automata: 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24-25, 2000 Revised Papers. Yu, S. & Paun, A. (red.). Springer, s. 182-194 13 s. (Lecture Notes in Computer Science, Bind 2088).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Static Validation of Dynamically Generated HTML

    Brabrand, C., Møller, A. & Schwartzbach, M. I., 2001, Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering. Association for Computing Machinery, s. 38-45 8 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • The Pointer Assertion Logic Engine

    Møller, A. & Schwartzbach, M. I., 2001, Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. Sofia, M. L. (red.). Association for Computing Machinery, Bind 36(5). s. 221-231 10 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2000

    Compile-Time Debugging of C Programs Working on Trees

    Elgaard, J., Møller, A. & Schwartzbach, M. I., 2000, Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings. Smolka, G. (red.). Springer, s. 119-134 16 s. (Lecture Notes in Computer Science, Bind 1782).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • DSD: A Schema Language for XML

    Klarlund, N., Møller, A. & Schwartzbach, M. I., 2000, Proceedings of the third workshop on Formal methods in software practice. Association for Computing Machinery, s. 101-111 11 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 1999

    A Runtime System for Interactive Web Services

    Brabrand, C., Møller, A., Sandholm, A. & Schwartzbach, M. I., 1999, Proceedings of the 8th International World Wide Web Conference. Elsevier

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review